• ВХОД

    •  

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

    Глотина, Ирина Михайловна. Математическая логика и теория алгоритмов : учебное пособие / И. М. Глотина ; Министерство науки и высшего образования Российской Федерации, Пермский государственный аграрно-технологический университет имени Д. Н. Прянишникова. - Пермь : ПрокростЪ, 2025. - 163 с. : ил., табл. - Библиогр.: с. 160-163. - 30 экз. - ISBN 978-5-94279-669-3. - Текст (визуальный) : непосредственный.
    ГРНТИ УДК
    27.03.19510.6
    27.03.45510.57

    Рубрики:
    Математическая логика
    Вычислимые функции

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

    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д11-25/39318)

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



    Заказ фрагмента документа ₽