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

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта
Ответы на вопросы по математической логике
   Количество строк:  
№ Заголовок материала
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 Законы алгебры логики
36 Правила вывода
37 Правила подстановки
38 Правила введения и удаления логических связок
39 Правила заключения
40 Метод дедуктивного вывода
41 Принцип резолюции
42 Алгоритм вывода по принципу резолюции
43 Проблемы в исчислении высказываний
44 Описание высказываний на языке PROLOG
45 Логика предикатов
46 Алгебра предикатов
47 Логические операции
48 Правила записи сложных формул
49 Законы алгебры предикатов
50 Предваренная нормальная форма
51 Алгоритм приведения формулы к виду ПНФ
52 Сколемовская стандартная форма
53 Алгоритм Сколема
54 Исчисление предикатов
55 Интерпретация формул
56 Правила вывода
57 Правила подстановки
58 Правила введения и удаления кванторов
59 Правила заключения
60 Метод дедуктивного вывода
61 Принцип резолюции
62 Проблемы в исчислении предикатов
63 Логическое программирование
 

Случайная новость