Контрольные вопросы Предмет математической логики




Скачать 15.46 Kb.
НазваниеКонтрольные вопросы Предмет математической логики
Дата публикации28.05.2014
Размер15.46 Kb.
ТипКонтрольные вопросы
skachate.ru > Математика > Контрольные вопросы
Контрольные вопросы

  1. Предмет математической логики.

  2. Понятие множества. Способы задания множеств. Подмножества.

  3. Операции над множествами. Диаграммы Эйлера- Вена. Формула количества элементов в объединении двух конечных множеств, соответствующая формула для трех множеств.

  4. Бинарные отношения и их свойства. Соответствия между множествами. Диаграмма бинарного отношения.

  5. Рефлексивные, симметричные, транзитивные бинарные отношения.

  6. Отношение эквивалентности; теорема о разбиении множества на классы эквивалентности

  7. Высказывания и высказывательные формы. Отрицание высказываний.

  8. Конъюнкция и дизъюнкция. Союзы языка и логические операции (Язык и логика).

  9. Логические операции: импликанция, эквиваленция, сумма по модулю два, штрих Шеффера, стрелка Пирса.

  10. Формулы алгебры логики. Формализация предложений с помощью логики высказываний.

  11. Формулы логики высказываний. Нормальные формы формул.

  12. Законы логики

  13. Равносильные преобразования. Приведение формул к К.Н.Ф. и Д.Н.Ф.

Булевы функции. Свойства элементарных булевых функций.

  1. Нормальные формы. Совершенные дизъюнктивные (СДНФ) и совершенные конъюнктивные формы (СКНФ).

  2. Операция двоичного сложения. Многочлен Жегалкина.

  3. Функционально полные системы булевых функций. Важнейшие замкнутые классы.

  4. Алгоритмы проверки самодвойственности, линейности и монотонности функции. Теорема Поста.

  5. Важнейшие замкнутые классы. Алгоритмы проверки самодвойственности, линейности и монотонности функции.

  1. Предикаты и высказывательные формы. Множество истинности предиката. Равносильность и следование предикатов.

  2. Кванторы. Отрицание предложений с кванторами. Численные кванторы.

  1. Приведенные и нормальные формулы в логике предикатов.

  2. Вычислительные функции и алгоритмы.

  3. Теория рекурсивных функций.

  4. Нормальный алгоритм Маркова.

  5. Машина Тьюринга.

Похожие:

Контрольные вопросы Предмет математической логики iconОтличия человеческой логики от математической логики
В частности, Кант считал логику врожденным свойством человеческого мышления. На рубеже 19-го и 20-го веков Гуссерль и Фреге выступили...
Контрольные вопросы Предмет математической логики iconН. Пыжкова Уравнения математической физики
«Автоматизация технологических процессов и производств» заочной формы обучения. Оно содержит действующую программу курса «Уравнения...
Контрольные вопросы Предмет математической логики iconПрограмма курса тема Предмет логики и ее значение Место и роль логики...
Понятие логической формы. Основные формы мышления: понятие, cуждение, умозаключение. Характеристика логического закона. Понятие о...
Контрольные вопросы Предмет математической логики iconВопросы для подготовки к зачету
Проблемы традиционной формальной логики, ее предмет, основные понятия и значение
Контрольные вопросы Предмет математической логики iconМетодическая разработка состоит из двух частей: первая часть теория...
Вторая часть содержит четыре раздела, в которых излагаются вопросы по математической статистике, в частности, первичная обработка...
Контрольные вопросы Предмет математической логики iconЗаочное отделение, 1 курс, бакалавры
Предмет логики. Логика и язык. Становление и основные этапы развития логики. Значение культуры мышления для науки, практики и межличностного...
Контрольные вопросы Предмет математической логики iconПлан семинарского занятия предмет и значение логики
Бочаров В. А. Основы логики: учебник для вузов / В. А. Бочаров, В. И. Маркин; Моск гос ун-т им. М. В. Ломоносова. – М.: Форум: инфра-м,...
Контрольные вопросы Предмет математической логики iconВ книге анализируется предмет логики и природа научного метода, критикуются...
Коэн М., Нагель Э. Введение в логику и научный метод / Пер с англ. П. С. Куслия. М.: Социум, 2010. – 654 с
Контрольные вопросы Предмет математической логики iconКонтрольные вопросы
Понятие труда и его общественной организации. Предмет и метод отрасли трудового права
Контрольные вопросы Предмет математической логики iconМетодические указания и контрольные работы №1, 2 по курсу «Теория...
Методические указания и контрольные работы №1, 2 по курсу «Теория математической обработки геодезических измерений. Раздел II. Теория...

Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2014
контакты
skachate.ru
Главная страница