Регистрация




Ссылка на сайт:
Вопросы по математической логике для зачета 1 курс, 1 семестр, прикладная математика

Вопросы по математической логике для зачета

1 курс, 1 семестр, прикладная математика

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

2  Понятие высказывания. Логические операции над высказываниями.

3  Понятие формулы алгебры логики. Равносильные формулы алгебры логики.

4  Алгебра Буля.

5  Функции алгебры логики.

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

7  ДНФ и СДНФ.

8  КНФ и СКНФ.

9  Проблема разрешимости.

10  Приложения алгебры логики. РКС и логические задачи.

11  Понятие предиката.

12  Операции над предикатами: логические и кванторные.

13  Понятие формулы логики предикатов. Значение формулы логики предикатов.

14  Равносильные формулы логики предикатов.

15  Предваренная нормальная форма.

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

17  Приложения логики предикатов к математике. Необходимые и достаточные условия. Доказательство методом от противного.



Пожаловаться

Материал из рубрики: Математика
5
рейтинг рассчитывается на оценке от 1 до 5