Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта
Вопросы и ответы на экзамен по математической логике
Фильтр по заголовку     Количество строк:  
№ Заголовок материала
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 Синтаксис и семантика языка логики  предикатов.
27 Интерпретация языка логики предикатов. 
28 Логическое следование и логическая эквивалентность.
29 Опровержение методом резолюций.
30 Композиции машин Тьюринга
31 Тезис Черча. Алгоритмически неразрешимые проблемы.
32 Задача о разрешимости диофантова уравнения
33 Рекурсивные функции
34 Алгоритмически неразрешимые проблемы.
35 Меры сложности алгоритмов. Классы задач Р, ЕХР и NP. NP полные задачи
36 Понятие алгоритмической системы.
37 Общие свойства алгоритмов.
38 Способы задания алгоритмов
39 Формализация понятия алгоритма. Универсальные  модели алгоритмов.
40 Рекурсивные функции.
41 МАШИНА ТЬЮРИНГА.
42 Область использования машины Тьюринга
43 Тезис Черча. Алгоритмически неразрешимые проблемы.
44 Меры сложности алгоритмов. Классы задач P и NP.
45 Понятие сложности вычислений.  NP- полные задачи.
46 Логические представления
47 История развитая математической логики
48 Логика  высказываний.  Основные понятия и определения.
49 Предикаты и кванторы