| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
|
|||
|
|
|||
|
Лекция 1. Модальные логики предикатов и их модели В. Б. Шехтман |
|||
|
Аннотация: 1. Модальные предикатные формулы. 2. Подстановки в словах, композиция подстановок. 3. Интуиционистское исчисление высказываний. Суперинтуиционистские логики высказываний. Модальные логики высказываний. 4. Выводимость из гипотез. Теорема дедукции. Схемы аксиом вместо правила подстановки. |
|||