Курс лекцій "Автоматичний пошук натурального виводу"
КАФЕДРА ЛОГІКИ
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
КИЇВСЬКОГО НАЦІОНАЛЬНОГО УНІВЕРСИТЕТУ
імені ТАРАСА ШЕВЧЕНКА
і
КАФЕДРА ЛОГІКИ
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
МОСКОВСЬКОГО ДЕРЖАВНОГО УНІВЕРСИТЕТУ
імені М.В. ЛОМОНОСОВА
24 – 28 грудня 2014 г.
проводить курси лекцій
Автоматичний пошук натурального виводу
при участі
кандидата філософських наук
Шангіна Василя Олеговича
(МДУ імені М.В. Ломоносова)
Програма
Понеділок, 24.02.2014
Ауд. 326
|
Час |
Подія |
|
11.00 – 12.20 |
Натуральний вивід: історія та сучасність – 1 |
|
12.20 – 12.40 |
Перерва |
|
12.40 – 14.00 |
Натуральний вивід: історія та сучасність – 2 |
Вівторок, 25.02.2014
Ауд. 326
|
Час |
Подія |
|
11.00 – 12.20 |
Автоматичний пошук натурального виводу: історія та сучасність - 1 |
|
12.20 – 12.40 |
Перерва |
|
12.40 – 14.00 |
Автоматичний пошук натурального виводу: історія та сучасність - 2 |
Середа, 26.02.2014
Ауд. 326
|
Час |
Подія |
|
11.00 – 12.20 |
Алгоритм пошуку натурального виводу в класичній логіці висловлювань -1 |
|
12.20 – 12.40 |
Перерва |
|
12.40 – 14.00 |
Алгоритм пошуку натурального виводу в класичній логіці висловлювань -2 |
Четвер, 27.02.2014
Ауд. 326
|
Час |
Подія |
|
11.00 – 12.20 |
Практика |
|
12.20 – 12.40 |
Перерва |
|
12.40 – 14.00 |
Метатеоретичні властивості алгоритму. Кінцевість, несуперечливість, повнота -1 |
П’ятниця, 28.02.2014
Ауд. 326
|
Час |
Подія |
|
9.00 – 10.20 |
Метатеоретичні властивості алгоритму. Кінцевість, несуперечливість, повнота -2 |
|
10.20 – 10.40 |
Перерва |
|
10.40 – 12.00 |
Питання складності системи натурального виводу та алгоритму пошуку виводу в ній. |
|
12.00 – 13.00 |
Перерва |
|
13.20 – 14.00 |
Залік |
