Відмінності між версіями «Графік навчання курсу "Навчальний курс "Математична логіка", ФМФ"»
Матеріал з Вікі ЦДУ
(→Тема 3. Числення висловлень) |
(→Змістовий модуль 2) |
||
Рядок 24: | Рядок 24: | ||
===Змістовий модуль 2=== | ===Змістовий модуль 2=== | ||
Навчальні теми змістового модуля 2. | Навчальні теми змістового модуля 2. | ||
+ | # Логіка предикатів | ||
+ | # Математичні теорії першого порядку | ||
+ | # Теорія алгоритмів | ||
==Варіант Календар== | ==Варіант Календар== |
Версія за 12:24, 9 жовтня 2015
Графік навчання
Зміст
Варіант Структура
Змістовий модуль 1
Навчальні теми змістового модуля 1
- Алгебра висловлень
- Булеві функції
- Числення висловлень
Змістовий модуль 2
Навчальні теми змістового модуля 2.
- Логіка предикатів
- Математичні теорії першого порядку
- Теорія алгоритмів
Варіант Календар
Тиждень 1
Навчальні теми для вивчення на 1-му тижні.
Тиждень 2
Навчальні теми для вивчення на 2-му тижні.
Тиждень 3
Навчальні теми для вивчення на 3-му тижні.
Тиждень 4
Навчальні теми для вивчення на 4-му тижні.