Показать сокращенную информацию
Математическая логика и теория алгоритмов
| Автор | Богульская, Нина Александровна | |
| Автор | Вепринцев, Дмитрий Владимирович | |
| Дата публикации | 2011 | |
| ISBN | 978-5-7638-2123-9 | |
| Описание | Учебное пособие. | |
| Описание | Доступ к полному тексту открыт из сети СФУ, вне сети доступ возможен для читателей Научной библиотеки СФУ или за плату. | |
| Аннотация | Изложены классические исчисления математической логики: исчисление высказываний и исчисление предикатов, а также основные понятия теории алгоритмов; особое внимание уделяется вопросам теории и приложений булевых функций. Приведены многочисленные примеры. | |
| Язык | rus | |
| Издатель | ИПК СФУ | |
| Права на использование | Для личного использования. | |
| Тема | логика математическая | |
| Тема | математическая логика | |
| Тема | алгебра логики | |
| Тема | алгоритмов теория | |
| Тема | теория алгоритмов | |
| Тема | исчисление предикатов | |
| Тема | исчисление высказываний | |
| Тема | булевы функции | |
| Тема | учебные пособия | |
| Название | Математическая логика и теория алгоритмов | |
| Тип | Book | |
| Коллективный автор | Сибирский федеральный университет | |
| Место издания | Красноярск | |
| Полный текст на другом сайте | https://bik.sfu-kras.ru/elib/view?id=BOOK1-%D0%91%D0%91%D0%9A22.12%2F%D0%91+748-105447 | |
| Шифр в ИРБИС | RU/НБ СФУ/BOOK1/ББК22.12/Б 748-105447 |
Файлы в этом документе
| Файл | Размер | Формат | Просмотр |
|---|