Математическая логика и теория алгоритмов: учебное пособие — Учебное пособие предназначено для студентов, изучающих дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика», обучающихся по специальностям «Информатика и вычислительная техника» и «Системы автоматизированного проектирования». Математическая логика является важнейшим элементом математического образования. Пособие ставит своей целью помочь студентам лучше усвоить теоретический и практический материал по курсу «Математическая логика и теория алгоритмов». Пособие посвящено изучению важных разделов математической логики (алгебры высказываний, логики предикатов) и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам. Это пособие содержит большое количество примеров, иллюстрирующих основные понятия указанных разделов математической логики и теории алгоритмов и утверждения, касающиеся этих понятий. Учебное пособие также может быть полезно для студентов других специальностей и преподавателей. Название: Математическая логика и теория алгоритмов: учебное пособие Автор: Агарева О. Ю., Селиванов Ю. В. Издательство: МАТИ Год: 2011 Страниц: 80 Формат: DJVU Размер: 14,07 МБ ISBN: 978-5-93271-611-3 Качество: Отличное Содержание: Введение 1. Алгебра (логика) высказываний 2. Логика предикатов 3. Теория алгоритмов Рекомендуемая литература Скачать Математическая логика и теория алгоритмов: учебное пособие Скачать с turbobit.net Скачать с katfile.com Скачать с file-upload.com