x 1.00
Скачать видео

Лекция 1. Аксиоматика. Логические формулы

  1. 00:103 вопроса которыми занимается математическая логика.
  2. 00:46Предметы логики. Две основные задачи теории алгоритмов.
  3. 03:27История логики. Булева алгебра, алгебра отношений Де Моргана, кванторы и логика предикатов.
  4. 07:06Аксиоматические теории. Теория множеств, Парадокс Рассела. Аксиоматика ZFC. Программа Гильберта.
  5. 14:18Определение полноты и непротиворечивости теории. Отождествление финитных рассуждений с доказательствами в арифметике Пеано.
  6. 16:09Аксиоматика Гильберта и результаты Геделя. Континуум гипотеза.
  7. 22:32Проблема перебора. P=NP? И текущие результаты по ней.
  8. 24:01Тема логика высказываний.
  9. 25:15Введение (определение) элементарных высказываний.
  10. 27:04Логика предикатов. Логические связки.
  11. 28:00Определение пропозициональных формул.
  12. 31:52Лемма об однозначном определении формулы.