Тики. Предмет математической логики, ее роль в вопросах обоснования математики




Скачать 21.21 Kb.
НазваниеТики. Предмет математической логики, ее роль в вопросах обоснования математики
Дата конвертации07.08.2013
Размер21.21 Kb.
ТипВопросы к экзамену

Вопросы к экзамену


  1. Дедуктивный характер математики. Предмет математической логики, ее роль в вопросах обоснования математики.

  2. Булевы функции. Табличное задание булевых функций. Задание булевых функций целыми числами. Графическое представление булевых функций. Элементарные булевы функции. Формулы. Эквивалентные формулы. Полная система функций.

  3. Алгебра булевых функций. Принцип двойственности.

  4. Приложение алгебры высказываний к логико-математической практике. Прямая, обратная и противоположная теоремы. Принцип полной дизъюнкции. Необходимые и достаточные условия.

  5. ДНФ. Теорема о разложении функций по переменным. Алгоритм приведения к СДНФ.

  6. Теорема о представлении логической функции формулой. Алгоритм приведения к СКНФ.

  7. Эквивалентные преобразования. Приведение к ДНФ и СДНФ. Теорема о достаточности основных соотношений булевой алгебры для эквивалентных преобразований.

  8. Принцип двойственности. Функционально полные системы. Алгебра Жегалкина.

  9. Нахождение следствий из посылок. Нахождение посылок для данных следствий. Тавтологии – законы логики высказываний. Законы контрапозиции, исключенного третьего, двойного отрицания, приведение к абсурду и др.

  10. Применение булевых функций к анализу и синтезу дискретных устройств. Примеры (одноразрядный двоичный сумматор, автомат для продажи газированной воды).

  11. Контактные схемы. Задача минимизации. Алгоритм приведения к минимальной ДНФ.

  12. Методы математических доказательств. Правильные и неправильные рассуждения.

  13. Применение логики высказываний в химии (проблема химического синтеза).

  14. Формальные теории (как строится формальная теория). Вывод, доказательство, теорема, метатеорема. Исчисление высказываний.

  15. Примеры вывода в исчислении высказываний. Теорема дедукции. Теорема о полноте исчисления высказываний относительно алгебры высказываний.

  16. Свойства аксиоматических теорий: непротиворечивость, полнота, разрешимость, независимость системы аксиом. Свойства аксиоматической теории исчисления высказываний.

  17. Логика предикатов. Основные определения (тождественно истинный предикат, выполнимый предикат, опровержимый предикат, множество истинности предиката, равносильные предикаты, следствие). Операции над предикатами. (Связанные и свободные переменные). Зачем нужна логика предикатов?

  18. Формулы логики предикатов. Соглашения о снятии скобок. Ограниченные кванторы.

  19. Основные равносильности логики предикатов.

  20. Исчисление предикатов. Связь между общезначимостью и доказуемостью.

  21. Предваренные нормальные формы. Алгоритм приведения к ПНФ.

  22. Приложения логики предикатов к алгебре (уравнения, неравенства, системы и совокупности уравнений и неравенств).

  23. Математика и язык. Имя и смысл в школьной математике.

  24. Логическая структура школьного курса геометрии.

  25. Приложение логики к теории баз данных.

  26. Аксиоматическая теория «Исчисление предикатов» и ее свойства.

Добавить документ в свой блог или на сайт

Похожие:

Тики. Предмет математической логики, ее роль в вопросах обоснования математики iconТри программы обоснования математики
Проблема обоснования математики: что может служить достаточным основанием принятия истинности математических утверждений?
Тики. Предмет математической логики, ее роль в вопросах обоснования математики iconЛогический позитивизм
Нейрат, Г. Фейль, В. Дубислав и другие. Члены кружка вдохновлялись идеей обновления науки и философии, прочного эмпирического обоснования...
Тики. Предмет математической логики, ее роль в вопросах обоснования математики icon! 510. 2 (?) Общие вопросы логики и оснований математики
Предложение по дополнению в удк в части оснований математики, логики и теории множеств
Тики. Предмет математической логики, ее роль в вопросах обоснования математики iconЭлективный курс «Элементы теории множеств, логики, комбинаторики, математической статистики и теории вероятностей»
Поэтому знание основ теории множеств, логики и теории вероятностей даёт возможность учащимся определиться в профессиональной деятельности,...
Тики. Предмет математической логики, ее роль в вопросах обоснования математики iconНеделя математики 2 класс
Цели: 1 повысить интерес к изучению математики; 2 способствовать развитию логики мышления, пространственных представлений и воображения;...
Тики. Предмет математической логики, ее роль в вопросах обоснования математики iconПредмет и определение логики
Задачами курса наряду с теоретическим освоением основного содержания классической логики предполагает овладение практическими приемами...
Тики. Предмет математической логики, ее роль в вопросах обоснования математики iconПрикладная математика и кибернетика
Факультет прикладной математики и кибернетики, кафедра прикладной математики, кафедра исследования операций, кафедра теории вероятностей...
Тики. Предмет математической логики, ее роль в вопросах обоснования математики iconЛогинов А. С. Часть Дифференциальное исчисление
В разделе рассматриваются основные понятия теории множеств, определение множества действительных чисел. Приводится необходимая терминология...
Тики. Предмет математической логики, ее роль в вопросах обоснования математики iconТики во втором классе
С какой новой единицей измерения мы будем знакомиться сегодня на уроке математики?
Тики. Предмет математической логики, ее роль в вопросах обоснования математики iconПрограмма   29 мая Пленарное
Институт вычислительной математики и математической геофизики со ран, Новосибирск, Россия
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©kk.docdat.com 2013
обратиться к администрации
Библиотека
Главная страница