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

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Гурова Л. М. Любовь Михайловна
Άλλοι συγγραφείς:	Зайцева Е. В. Елена Вячеславовна
Περίληψη:	Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики.Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».
Γλώσσα:	Ρωσικά
Έκδοση:	Москва, Изд-во МГГУ, 2006
Σειρά:	Высшее горное образование
Θέματα:	математическая логика алгоритмы теория учебные пособия множества высказывания классические исчисления предикаты логика задачи упражнения
Μορφή:	Βιβλίο
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=108430

Παρόμοια τεκμήρια

Введение в математическую логику пер. с англ.
από: Мендельсон Э. Эллиот
Έκδοση: (Москва, Наука, 1984)

Математическая логика учебное пособие для вузов
από: Ершов Ю. Л. Юрий Леонидович
Έκδοση: (СПб., Лань, 2005)

Математическая логика курс лекций учебное пособие
από: Тимофеева И. Л. Ирина Леонидовна
Έκδοση: (Москва, Университет, 2007)

Математическая логика учебное пособие
από: Ершов Ю. Л. Юрий Леонидович
Έκδοση: (СПб., Лань, 2005)

Математическая логика и теория алгоритмов учебное пособие
από: Шелупанов А. А. Александр Александрович
Έκδοση: (Томск, STT, 2001)

Математическая логика учебное пособие
από: Ершов Ю. Л. Юрий Леонидович
Έκδοση: (Москва, Наука, 1979)

Введение в математическую логику пер. с англ.
από: Мендельсон Э. Эллиот
Έκδοση: (Москва, Наука, 1976)

Математическая логика учебное пособие
από: Лавров И. А. Игорь Андреевич
Έκδοση: (Москва, Академия, 2006)

Элементы теории систем
από: Марасанов В. В. Владимир Васильевич
Έκδοση: (Кишинев, Штиинца, 1991)

Математическая логика и теория алгоритмов учебное пособие
από: Крупский В. Н. Владимир Николаевич
Έκδοση: (Москва, Академия, 2013)

Математическая логика и теория алгоритмов для программистов учебное пособие
από: Гринченков Д. В. Дмитрий Валерьевич
Έκδοση: (Москва, КноРус, 2010)

Лекции по математической логике учебное пособие
από: Мощенский В. А. Владимир Андреевич
Έκδοση: (Минск, Изд-во Белорусского гос. ун-та, 1973)

Математическая логика. Дискретные функции. Теория алгоритмов учебное пособие
από: Глухов М. М. Михаил Михайлович
Έκδοση: (СПб., Лань, 2012)

Математическая логика. Курс лекций. Задачник-практикум и решения учебное пособие
από: Лихтарников Л. М. Леонид Моисеевич
Έκδοση: (СПб., Лань, 2008)

Математическая логика и теория алгоритмов для программистов учебное пособие
από: Гринченков Д. В. Дмитрий Валерьевич
Έκδοση: (Москва, КноРус, 2013)

Математическая логика учебное пособие для вузов
από: Ершов Ю. Л. Юрий Леонидович
Έκδοση: (Москва, Физматлит, 2011)

Математическая логика учебно-методическое пособие по укрупненной группе специальностей и направлений подготовки 44.03.05 – педагогическое образование с двумя профилями подготовки (профили: «математика и физика», «математика и информатика»)
από: Друшляк А. И.
Έκδοση: (Севастополь, СевГУ, 2024)

Дискретная математика и математическая логика учебник
από: Аляев Ю. А. Юрий Александрович
Έκδοση: (Москва, Финансы и статистика, 2006)

Математическая логика пер. с англ.
από: Клини С. К. Стивен Коул
Έκδοση: (Москва, Едиториал УРСС, 2005)

Математическая логика учебное пособие
από: Эдельман С. Л. Самсон Львович
Έκδοση: (Москва, Высшая школа, 1975)

Математическая логика и теория алгоритмов учебное пособие
από: Игошин В. И. Владимир Иванович
Έκδοση: (Москва, Academia, 2004)

Элементы математической логики
από: Новиков П. С. Петр Сергеевич
Έκδοση: (Москва, Наука, 1973)

Дискретная математика учебник для вузов
από: Соболева Т. С. Татьяна Сергеевна
Έκδοση: (Москва, Академия, 2006)

Математическая логика. Задачник-практикум и решения курс лекций учебное пособие
από: Лихтарников Л. М. Леонид Моисеевич
Έκδοση: (СПб., Лань, 2009)

Математическая логика учебное пособие
από: Игошин В. И. Владимир Иванович
Έκδοση: (Москва, Инфра-М, 2019)

Математическая логика учебное пособие
από: Игошин В. И. Владимир Иванович
Έκδοση: (Москва, Инфра-М, 2012)

Математическая логика. Курс лекций и практических занятий учебное пособие
από: Шапорев С. Д.
Έκδοση: (СПб., БХВ-Петербург, 2005)

Математическая логика пер. с англ.
από: Клини С. К. Стефан Коул
Έκδοση: (Москва, Мир, 1973)

Математическая логика и теория алгоритмов учебник
από: Судоплатов С. В.
Έκδοση: (Москва, Инфра-М, 2008)

Математическая логика и теория алгоритмов учебное пособие
από: Михальченко Г. Е.
Έκδοση: (Красноярск, СФУ, 2018)

Логические и математические исчисления учебное пособие
από: Шиханович Ю. А. Юрий Александрович
Έκδοση: (Москва, Научный мир, 2011)

Математическая логика и теория алгоритмов учебное пособие
από: Набебин А. А. Алексей Александрович
Έκδοση: (СПб., Научный мир, 2008)

Дискретная математика. Краткий курс учебное пособие
από: Казанский А. А. Александр Анатольевич
Έκδοση: (Москва, Проспект, 2017)

Логика учебное пособие для вузов
από: Панькова Н. М. Наталья Михайловна
Έκδοση: (Томск, Изд-во ТПУ, 2009)

Применение ЭВМ для решения задач математической логики учебное пособие
από: Мелихов А. Н. Аскольд Николаевич
Έκδοση: (Таганрог, Изд-воТРТИ, 1988)

Элементы математической логики
από: Марков А. А. Андрей Андреевич
Έκδοση: (Москва, Изд-во МГУ, 1984)

Логика учебное пособие
από: Попов Ю. П. Юрий Петрович
Έκδοση: (Москва, КноРус, 2015)

Математическая логика пер. с англ.
από: Гудстейн Р. Л.
Έκδοση: (Москва, Изд-во иностранной литературы, 1961)

Логика. Экзаменационные ответы для студентов вузов учебное пособие
από: Светлов В. А. Виктор Александрович
Έκδοση: (СПб., Питер, 2008)

Дискретная математика учебник
από: Соболева Т. С. Татьяна Сергеевна
Έκδοση: (Москва, Академия, 2014)