Теория моделей. Часть1
Скачать файл:
Полный текст на другом сайтеURI (для ссылок/цитирований):
Составитель:
Кияткин, Владимир Ростиславович
Коллективный автор:
Сибирский федеральный университет
Институт математики и фундаментальной информатики
Дата:
2021Библиографическое описание:
Теория моделей. Часть1 : учебно-методическое пособие / Сиб. федер. ун-т, Ин-т математики и фундамент. информатики, 2021. - 21 с. - Текст : электронный.Учебно-методическое пособие.
Доступ к полному тексту открыт из сети СФУ, вне сети доступ возможен для читателей Научной библиотеки СФУ или за плату.
Аннотация:
В данном пособии основное внимание уделяется теории моделей языка логики предикатов первого порядка – классическая теория моделей, а так же строгому определению теории моделей для наиболее простого формального языка – языка логики высказываний.
Права на использование:
Для личного использования.