|
|
Межкафедральный семинар МФТИ по дискретной математике
21 октября 2015 г., г. Долгопрудный, МФТИ, Корпус Прикладной Математики, 115
|
 |
|
 |
|
|
|
Интерпретации моделей и логических теорий
Л. Д. Беклемишев |
| Количество просмотров: |
| Эта страница: | 312 |
|
Аннотация:
Понятие интерпретации играет важную роль логике, но редко входит в традиционные курсы.
Теория Т интерпретируется в U, если существует перевод выражений языка Т на язык U, сохраняющий теоремы.
В докладе мы разберем несколько известных примеров интерпретаций и рассмотрим ситуации, когда интерпретация невозможна.
|
|
Обратная связь: