| Автор | Вайнштейн, Юлия Владимировна | |
| Автор | Пенькова, Татьяна Геннадьевна | |
| Дата публикации | 2019 | |
| ISBN | 978-5-7638-4076-6 | |
| Описание | Учебное пособие. | |
| Описание | Доступ к полному тексту открыт из сети СФУ, вне сети доступ возможен для читателей Научной библиотеки СФУ или за плату. | |
| Аннотация | Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление». | |
| Язык | rus | |
| Издатель | СФУ | |
| Права на использование | Для личного использования. | |
| Тема | алгебра логики | |
| Тема | формулы алгебры логики | |
| Тема | исчисление высказываний | |
| Тема | исчисление предикатов | |
| Тема | формальные аксиоматические теории | |
| Тема | алгоритмов теория | |
| Тема | теория алгоритмов | |
| Тема | вычислительной сложности теория | |
| Тема | теория вычислительной сложности | |
| Тема | математическая логика | |
| Тема | логика предикатов | |
| Тема | машины Тьюринга | |
| Название | Математическая логика и теория алгоритмов | |
| Тип | Book | |
| УДК | 510.6(07) | |
| Коллективный автор | Сибирский федеральный университет | |
| Место издания | Красноярск | |
| Институт | Институт космических и информационных технологий | |
| Полный текст на другом сайте | https://bik.sfu-kras.ru/elib/view?id=BOOK1-%D0%91%D0%91%D0%9A22.12%2F%D0%92+145-035649 | |
| Шифр в ИРБИС | RU/НБ СФУ/BOOK1/ББК22.12/В 145-035649 | |
