• ВХОД

    •  

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

    Вайнштейн, Юлия Владимировна. Математическая логика и теория алгоритмов : Учебное пособие / Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн. - Красноярск : Сибирский федеральный университет, 2019. - 110 с. - ISBN 978-5-7638-4076-6 : Б. ц.

    УДК
    510
    ББК
    221
    РУБ
    09.03.04
    09.03.02
    27.03.03

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

    Аннотация: Изложены темы традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний логика и исчисление предикатов формальные аксиоматические теории теория алгоритмов и теория вычислительной сложности.
    Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии» 27.03.03 «Системный анализ и управление».
    Доп. точки доступа:
    Пенькова, Татьяна Геннадьевна
    Вайнштейн, Виталий Исаакович
    Сибирский федеральный университет
    Экз-ры полностью RU\infra-m\znanium\bibl\1816597
    Нет сведений об экземплярах
    Электронная библиотечная система ZNANIUM
    https://znanium.com/cover/1816/1816597.jpg
    Кол-во выдач 0
    История корректировок



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