Математическая логика. Курс лекций и практических занятий: учебное пособие

Математическая логика. Курс лекций и практических занятий: учебное пособие

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Шапорев С. Д.
اللغة:	الروسية
منشور في:	СПб., БХВ-Петербург, 2005
الموضوعات:	математическая логика алгебра высказывания исчисление предикаты алгоритмы ответы задачи решения практические занятия алгебра Буля закон двойственности карты Карно полиномы Жегалкина теорема дедукции алгоритм Квайна эквивалентные формулы дедуктивная эквивалентность скулемовские функции машины Тьюринга учебные пособия
التنسيق:	كتاب
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=88785

مواد مشابهة

Математическая логика и теория алгоритмов учебное пособие
حسب: Михальченко Г. Е.
منشور في: (Красноярск, СФУ, 2018)

Математическая логика. Курс лекций. Задачник-практикум и решения
حسب: Лихтарников Л. М.
منشور في: (Санкт-Петербург, Лань, 2022)

Основы дискретной математики. Ч. 2 учебно-методическое пособие
حسب: Гутова С. Г.
منشور في: (Кемерово, КемГУ, 2019)

Логические основы проектирования дискретных устройств
حسب: Закревский А. Д. Аркадий Дмитриевич
منشور في: (Москва, Физматлит, 2007)

Дискретная математика учебное пособие
حسب: Бекарева Н. Д.
منشور في: (Новосибирск, НГТУ, 2019)

Введение в дискретную математику методические указания для студентов по курсам «дискретная математика», «дискретная математика, математическая логика и алгоритмизация». для студентов направлений подготовки 080500 «бизнес-информатика» 090900 «информационная безопасность» 220400 «управление в технических системах» 230100 «информатика и вычислительная техника»
حسب: Бучацкая В. В.
منشور في: (Майкоп, АГУ, 2013)

Математическая логика учебно-методическое пособие по укрупненной группе специальностей и направлений подготовки 44.03.05 – педагогическое образование с двумя профилями подготовки (профили: «математика и физика», «математика и информатика»)
حسب: Друшляк А. И.
منشور في: (Севастополь, СевГУ, 2024)

Алгебра логики. Решение логических задач учебно-методическое пособие к выполнению самостоятельной работы
حسب: Ерошенко А. В.
منشور في: (Омск, ОмГУПС, 2022)

Применение алгебры логики для анализа и синтеза устройств релейного действия учеб. пособие
حسب: Фролова О. В.
منشور في: (Иваново, ИГЭУ, 2021)

Сборник задач по дискретной математике (для практических занятий в группах)
حسب: Шевелев Ю. П.
منشور في: (Санкт-Петербург, Лань, 2022)

Введение в математику и логику учебное пособие
حسب: Червенчук В. Д.
منشور في: (Омск, Омский ГАУ, 2005)

Математическая логика и теория алгоритмов учебное пособие
حسب: Ярахмедов Г. А.
منشور في: (Махачкала, ДГПУ, 2024)

Дискретные модели в информатике учебно-методическое пособие
حسب: Гаджиева З. Д.
منشور في: (Махачкала, ДГПУ, 2024)

Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
حسب: Лихтарников Л. М. Леонид Моисеевич
منشور في: (СПб., Лань, 2008)

Логика высказываний и булевы алгебры учебное пособие
حسب: Гринченков Д. В.
منشور في: (Новочеркасск, ЮРГПУ (НПИ), 2022)

Введение в метаматематику: пер. с англ.
حسب: Клини С. К. Стефен К.
منشور في: (Москва, Изд-во иностранной литературы, 1957)

Математическая логика: пер. с англ.
حسب: Клини С. К. Стивен Коул
منشور في: (Москва, Едиториал УРСС, 2005)

Основы математической обработки информации учебное пособие
حسب: Бондарь А. А.
منشور في: (Екатеринбург, УрГПУ, 2018)

Теория графов и математическая логика учебное пособие
حسب: Городов А. А.
منشور في: (Красноярск, СибГУ им. академика М. Ф. Решетнёва, 2023)

Булевы функции и их применение: курс лекций
حسب: Епишкина А. В.
منشور في: (Москва, НИЯУ МИФИ, 2020)

Основы теории алгоритмов учебное пособие
حسب: Ланских В. Г.
منشور في: (Киров, ВятГУ, 2017)

Математика. Основы дискретной математики учебное пособие
حسب: Зорькина Н. В.
منشور في: (Ульяновск, УИ ГА, 2019)

Математическая логика и теория алгоритмов: учебное пособие
حسب: Игошин В. И. Владимир Иванович
منشور في: (Москва, Academia, 2004)

Условные термы и их применение в алгебре и теории вычислений
حسب: Пинус А. Г. Александр Георгиевич
منشور في: (Новосибирск, Изд-во НГТУ, 2002)

Элементы цифровой схемотехники: учебное пособие
حسب: Сигорский В. П. Виталий Петрович
منشور في: (Киев, Изд-во КПИ, 1990)

Математическая логика и теория алгоритмов: учебное пособие
حسب: Набебин А. А. Алексей Александрович
منشور في: (СПб., Научный мир, 2008)

Функциональные системы в дискретной математике учебное пособие
حسب: Прокопенко Н. Ю.
منشور في: (Нижний Новгород, ННГАСУ, 2024)

Сборник задач по дискретной математике (для практических занятий в группах): учебное пособие
حسب: Шевелев Ю. П. Юрий Павлович
منشور في: (Санкт-Петербург, Лань, 2013)

Основы математической логики учебное пособие
حسب: Репницкий В. Б.
منشور في: (Екатеринбург, ЕАСИ, 2015)

Вычислительные инварианты в теории алгебраических систем: сборник научных статей
منشور في: (Новосибирск, Изд-во ВЦ СО АН СССР, 1987)

Множества. Логика. Аксиоматические теории: пер. с англ.
حسب: Столл Р. Р. Роберт Р.
منشور في: (Москва, Просвещение, 1968)

Математическая логика и теория алгоритмов учебно-методическое-пособие
حسب: Геут К. Л.
منشور في: (Екатеринбург, 2017)

Дискретная математика, математическая логика в «Вóльфрам Альфа» учебное пособие
حسب: Тюрин С. Ф.
منشور في: (Пермь, ПНИПУ, 2022)

Математическая логика и теория алгоритмов: учебное пособие
حسب: Гурова Л. М. Любовь Михайловна
منشور في: (Москва, Изд-во МГГУ, 2006)

Дискретная математика: учебник для вузов
حسب: Соболева Т. С. Татьяна Сергеевна
منشور في: (Москва, Академия, 2006)

Математическая логика: учебное пособие
حسب: Ершов Ю. Л. Юрий Леонидович
منشور في: (СПб., Лань, 2004)

Математическая логика и теория алгоритмов: учебное пособие
حسب: Крупский В. Н. Владимир Николаевич
منشور في: (Москва, Академия, 2013)

Математическая логика. Дискретные функции. Теория алгоритмов: учебное пособие
حسب: Глухов М. М. Михаил Михайлович
منشور في: (СПб., Лань, 2012)

Математическая логика: учебное пособие для вузов
حسب: Ершов Ю. Л. Юрий Леонидович
منشور في: (СПб., Лань, 2005)

Математическая логика: учебное пособие
حسب: Игошин В. И. Владимир Иванович
منشور في: (Москва, Инфра-М, 2012)