Показать сокращенную информацию
Теория моделей. Часть1
| Дата публикации | 2021 | |
| Библиографическое описание | Теория моделей. Часть1 : учебно-методическое пособие / Сиб. федер. ун-т, Ин-т математики и фундамент. информатики, 2021. - 21 с. - Текст : электронный. | |
| Описание | Учебно-методическое пособие. | |
| Описание | Доступ к полному тексту открыт из сети СФУ, вне сети доступ возможен для читателей Научной библиотеки СФУ или за плату. | |
| Аннотация | В данном пособии основное внимание уделяется теории моделей языка логики предикатов первого порядка – классическая теория моделей, а так же строгому определению теории моделей для наиболее простого формального языка – языка логики высказываний. | |
| Язык | rus | |
| Издатель | СФУ | |
| Права на использование | Для личного использования. | |
| Тема | АЛГЕБРЫ УНИВЕРСАЛЬНЫЕ | |
| Тема | МОДЕЛЕЙ ТЕОРИЯ | |
| Тема | ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ | |
| Тема | ИНТЕРПРЕТАЦИЯ | |
| Тема | ТЕОРЕМА ГЁДЕЛЯ | |
| Тема | АКСИОМАТИЧЕСКИЕ ТЕОРИИ | |
| Название | Теория моделей. Часть1 | |
| Тип | Book | |
| УДК | 510.67(07) | |
| Коллективный автор | Сибирский федеральный университет | |
| Место издания | Красноярск | |
| Институт | Институт математики и фундаментальной информатики | |
| Полный текст на другом сайте | https://bik.sfu-kras.ru/elib/view?id=BOOK1-510.67%2807%29%2F%D0%A2+338-301882592 | |
| Шифр в ИРБИС | RU/НБ СФУ/BOOK1/510.67(07)/Т 338-301882592 | |
| Составитель | Кияткин, Владимир Ростиславович |
Файлы в этом документе
| Файл | Размер | Формат | Просмотр |
|---|---|---|---|
|
В этом документе нет ни одного файла. |
|||