Теория моделей. Часть1 : учебно-методическое пособие
База данных: Каталог библиотеки СФУ (ББК22 Т 338)
Библиографическое описание: Теория моделей. Часть1 : учебно-методическое пособие / Сиб. федер. ун-т, Ин-т математики и фундамент. информатики ; сост. В. Р. Кияткин. - Электрон. текстовые дан. (pdf, 0,9 Мб). - Красноярск : СФУ, 2021 (2021-05-20). - 21 с. - Загл. с титул. экрана. - Изд. № 2021-13763 : Б. ц. - Текст : электронный.
Аннотация: В данном пособии основное внимание уделяется теории моделей языка логики предикатов первого порядка – классическая теория моделей, а так же строгому определению теории моделей для наиболее простого формального языка – языка логики высказываний.
Год издания: 2021
Редакторы, составители и др.: Кияткин Владимир Ростиславович (составитель)
Авторский коллектив: Сибирский федеральный университет, Институт математики и фундаментальной информатики (Красноярск)
Издательство: Сибирский федеральный университет, Красноярск
Количество страниц: 21 (в печатной версии), 21 (в электронной версии)
Количество экземпляров:
Издание имеется только в электронном виде
Ключевые слова: алгебры универсальные, моделей теория, исчисление высказываний, интерпретация, теорема гёделя, аксиоматические теории
Рубрики: Теория моделей / Учебно-методические пособия
Классификационные коды: УДК 510.67(07), ББК 22.14я73, ГРНТИ 27.35.23
Идентификаторы: полочный индекс ББК22 Т 338, шифр 510.67(07)/Т 338-301882592
Статистика выдачи: | 2021 | 2022 | 2023 | Всего |
Всего: | 4 | 4 | 8 | 16 |
Твёрдых копий: | 0 | 0 | 0 | 0 |
Электронных версий: | 4 | 4 | 8 | 16 |