Партнерка на США и Канаду по недвижимости, выплаты в крипто
- 30% recurring commission
- Выплаты в USDT
- Вывод каждую неделю
- Комиссия до 5 лет за каждого referral
№ | Наименование разделов и тем | Форма обучения | ||
АЗ | СР | |||
Л | ПЗ | |||
1 | Высказывания. Операции над ними. Формулы. Тавтологии-законы логики. Логическое следование. | 1 | 1 | 11 |
2 | Равносильность формул. Полная и неполная система логических связок. Двойственность в алгебре высказываний. Теорема двойственности. | 2 | 1 | 11 |
3 | Нормальные формы. Совершенные нормальные формы. Проблема разрешения в алгебре высказываний. | 1 | 1 | 11 |
4 | Применения алгебры высказываний | 1 | 9 | |
5 | Формальные теории. Выводимость. Теоремы. Выводимость из гипотез. Построения исчисления высказываний. Производные правила вывода. Теоремы исчисления высказываний. | 2 | 11 | |
6 | Теорема дедукции и ее следствия. | 1 | 9 | |
7 | Непротиворечивость и полнота исчисления высказываний. Независимость аксиом исчисления высказываний. | 1 | 11 | |
8 | Предикаты. Кванторы. Язык алгебры предикатов. Формулы алгебры предикатов. Интерпретация формул. Общезначимые формулы алгебры предикатов. | 1 | 1 | 13 |
9 | Предваренная нормальная форма. | 1 | 1 | 9 |
10 | Проблема разрешения в алгебре предикатов. | 1 | 1 | 5 |
11 | Теории первого порядка. Исчисление предикатов первого порядка. Непротиворечивость исчисления предикатов. | 1 | 9 | |
12 | Теорема дедукции в теориях первого порядка. | 1 | 9 | |
13 | Свойства теорий первого порядка. | 1 | 5 | |
14 | Геделевская нумерация выражения теории первого порядка. | 1 | 9 | |
15 | Формальная арифметика. Теоремы. | 1 | 9 | |
16 | Теорема Геделя о неполноте. | 1 | 5 | |
Всего часов | 18 | 6 | 146 |
Заочная форма обучения (3,5 года).
№ | Наименование разделов и тем | Форма обучения | ||
АЗ | СР | |||
Л | ПЗ | |||
1 | Высказывания. Операции над ними. Формулы. Тавтологии-законы логики. Логическое следование. | 1 | 1 | 10 |
2 | Равносильность формул. Полная и неполная система логических связок. Двойственность в алгебре высказываний. Теорема двойственности. | 1 | 1 | 10 |
3 | Нормальные формы. Совершенные нормальные формы. Проблема разрешения в алгебре высказываний. | 1 | 1 | 10 |
4 | Применения алгебры высказываний | 1 | 9 | |
5 | Формальные теории. Выводимость. Теоремы. Выводимость из гипотез. Построения исчисления высказываний. Производные правила вывода. Теоремы исчисления высказываний. | 1 | 1 | 10 |
6 | Теорема дедукции и ее следствия. | 1 | 9 | |
7 | Непротиворечивость и полнота исчисления высказываний. Независимость аксиом исчисления высказываний. | 11 | ||
8 | Предикаты. Кванторы. Язык алгебры предикатов. Формулы алгебры предикатов. Интерпретация формул. Общезначимые формулы алгебры предикатов. | 1 | 1 | 13 |
9 | Предваренная нормальная форма. | 1 | 1 | 9 |
10 | Проблема разрешения в алгебре предикатов. | 5 | ||
11 | Теории первого порядка. Исчисление предикатов первого порядка. Непротиворечивость исчисления предикатов. | 9 | ||
12 | Теорема дедукции в теориях первого порядка. | 9 | ||
13 | Свойства теорий первого порядка. | 5 | ||
14 | Геделевская нумерация выражения теории первого порядка. | 9 | ||
15 | Формальная арифметика. Теоремы. | 9 | ||
16 | Теорема Геделя о неполноте. | 5 | ||
Всего часов | 8 | 6 | 146 |
6. Содержание дисциплины.
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 |
