Математическая логика и теория алгоритмов : учебное пособие
База данных: Каталог библиотеки СФУ (ББК22 В 145)
Библиографическое описание: Вайнштейн, Юлия Владимировна. Математическая логика и теория алгоритмов : учебное пособие / Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн ; Сиб. федер. ун-т, Ин-т космич. и информ. технологий. - Красноярск : СФУ, 2019. - 109 с. : ил., табл. - Библиогр.: с. 108-109. - 100 экз. - ISBN 978-5-7638-4076-6 : 228.00 р. - Изд. № 2019-7596. - Текст : непосредственный + Текст : электронный.
Аннотация: Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
Год издания: 2019
Авторский коллектив: Сибирский федеральный университет, Институт космических и информационных технологий (Красноярск)
Издательство: Сибирский федеральный университет, Красноярск
Количество страниц: 109
Количество экземпляров:
Всего свободно 9 из 10 экземпляров.
- Абонемент научной литературы (пр. Свободный, 79, 3 этаж, холл): свободно 2 из 2 экземпляров
- Абонемент учебной литературы (пр. Свободный, 79, 3 этаж, холл): свободно 0 из 1 экземпляров
- Абонемент учебной литературы (пр. Свободный, 79, к. Б1-14): свободно 7 из 7 экземпляров
Ключевые слова: алгебра логики, формулы алгебры логики, исчисление высказываний, исчисление предикатов, формальные аксиоматические теории, алгоритмов теория, теория алгоритмов, вычислительной сложности теория, теория вычислительной сложности, математическая логика, логика предикатов, машины Тьюринга
Рубрики: Математическая логика / Учебники и пособия,
Алгоритмы / Учебники и пособия
Алгоритмы / Учебники и пособия
Классификационные коды: УДК 510.6(07), ББК 22.122я73, ГРНТИ 27.03.19 27.03.17
ISBN: 978-5-7638-4076-6
Идентификаторы: полочный индекс ББК22 В 145, шифр ББК22.12/В 145-035649
Статистика выдачи: | 2019 | 2020 | 2021 | 2022 | 2023 | Всего |
Всего: | 2 | 4 | 9 | 12 | 6 | 33 |
Твёрдых копий: | 2 | 0 | 1 | 2 | 2 | 7 |
Электронных версий: | 0 | 4 | 8 | 10 | 4 | 26 |