Полное описание

Вайнштейн, Юлия Владимировна. Математическая логика и теория алгоритмов : учебное пособие / Ю.В. Вайнштейн ; Сибирский федеральный университет. - Красноярск : Сибирский федеральный университет, 2019. - 110 с. - URL: https://znanium.com/catalog/document?id=379866 (дата обращения: 12.04.2023) . - Режим доступа: ЭБС ZNANIUM. - ISBN 978-5-7638-4076-6. - Текст : электронный.
Содержание:

	УДК
	510

	ББК
	22.1

	РУБ
	09.03.04
	09.03.02
	27.03.03

Рубрики:
Физико-математические науки

Кл.слова (ненормированные): АЛГЕБРА -- АЛГОРИТМ -- ЛОГИЧЕСКАЯ ФУНКЦИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ФОРМАЛЬНАЯ ТЕОРИЯ
Аннотация: Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии» 27.03.03 «Системный анализ и управление».
Доп. точки доступа:
Пенькова, Татьяна Геннадьевна
Вайнштейн, Виталий Исаакович
Сибирский федеральный университет

Электронная библиотечная система ZNANIUM

Держатели документа:
ЭБС Znanium : 127282, г. Москва, ул. Полярная, д.31В, стр.1 (Шифр в БД-источнике (ZNANIUM): RU\infra-m\znanium\bibl\1816597)

Шифр в сводном ЭК: bcd7fa5aef8eb5ea4de4b6a518f52f22

Просмотр издания ЭБС ZNANIUM