1. Главная
  2. Ресурсы
  3. Библиотечный поиск

Математическая логика и теория алгоритмов : учебное пособие

Полный текстЗабронировать
База данных: Каталог библиотеки СФУ (ББК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 экземпляров