База данных: Каталог ЭБС IPR SMART
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
Вайнштейн, Ю. В.
Математическая логика и теория алгоритмов : учебное пособие / Вайнштейн Ю. В. - Красноярск : Сибирский федеральный университет, 2019. - 110 с. - ISBN 978-5-7638-4076-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгебра -- алгоритм -- логическая функция -- математическая логика -- формальная теория
Аннотация: Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
Доп.точки доступа:
Пенькова, Т. Г.
Вайнштейн, В. И.
Вайнштейн, Ю. В.
Математическая логика и теория алгоритмов : учебное пособие / Вайнштейн Ю. В. - Красноярск : Сибирский федеральный университет, 2019. - 110 с. - ISBN 978-5-7638-4076-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра -- алгоритм -- логическая функция -- математическая логика -- формальная теория
Аннотация: Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
Доп.точки доступа:
Пенькова, Т. Г.
Вайнштейн, В. И.
Страница 1, Результатов: 1