Теория алгоритмов и математическая логика
Розділ 1 Класична математична логіка
Тема 7
Епістемічна логіка
7.3. Формальна мова епістемічної логіки
Запитання для самоперевірки
Запитання для самоперевірки:
Нова сторінка
Задачі для самостійного розв’язування
Епістемічна логіка
© 2014 СумГУ
created with
Lectur'ED
beta