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

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

Dettagli Bibliografici
Autore principale:	Шапорев С. Д.
Pubblicazione:	СПб., БХВ-Петербург, 2005
Soggetti:	математическая логика алгебра высказывания исчисление предикаты алгоритмы ответы задачи решения практические занятия алгебра Буля закон двойственности карты Карно полиномы Жегалкина теорема дедукции алгоритм Квайна эквивалентные формулы дедуктивная эквивалентность скулемовские функции машины Тьюринга учебные пособия
Natura:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=88785

Documenti analoghi

Математическая логика и теория алгоритмов учебное пособие
di: Михальченко Г. Е.
Pubblicazione: (Красноярск, СФУ, 2018)

Математическая логика. Курс лекций. Задачник-практикум и решения
di: Лихтарников Л. М.
Pubblicazione: (Санкт-Петербург, Лань, 2022)

Основы дискретной математики. Ч. 2 учебно-методическое пособие
di: Гутова С. Г.
Pubblicazione: (Кемерово, КемГУ, 2019)

Логические основы проектирования дискретных устройств
di: Закревский А. Д. Аркадий Дмитриевич
Pubblicazione: (Москва, Физматлит, 2007)

Математическая логика учебно-методическое пособие по укрупненной группе специальностей и направлений подготовки 44.03.05 – педагогическое образование с двумя профилями подготовки (профили: «математика и физика», «математика и информатика»)
di: Друшляк А. И.
Pubblicazione: (Севастополь, СевГУ, 2024)

Дискретная математика учебное пособие
di: Бекарева Н. Д.
Pubblicazione: (Новосибирск, НГТУ, 2019)

Введение в дискретную математику методические указания для студентов по курсам «дискретная математика», «дискретная математика, математическая логика и алгоритмизация». для студентов направлений подготовки 080500 «бизнес-информатика» 090900 «информационная безопасность» 220400 «управление в технических системах» 230100 «информатика и вычислительная техника»
di: Бучацкая В. В.
Pubblicazione: (Майкоп, АГУ, 2013)

Математическая логика и теория алгоритмов учебное пособие
di: Ярахмедов Г. А.
Pubblicazione: (Махачкала, ДГПУ, 2024)

Алгебра логики. Решение логических задач учебно-методическое пособие к выполнению самостоятельной работы
di: Ерошенко А. В.
Pubblicazione: (Омск, ОмГУПС, 2022)

Применение алгебры логики для анализа и синтеза устройств релейного действия учеб. пособие
di: Фролова О. В.
Pubblicazione: (Иваново, ИГЭУ, 2021)

Введение в математику и логику учебное пособие
di: Червенчук В. Д.
Pubblicazione: (Омск, Омский ГАУ, 2005)

Математическая логика пер. с англ.
di: Клини С. К. Стивен Коул
Pubblicazione: (Москва, Едиториал УРСС, 2005)

Математическая логика. Курс лекций. Задачник-практикум и решения учебное пособие
di: Лихтарников Л. М. Леонид Моисеевич
Pubblicazione: (СПб., Лань, 2008)

Дискретные модели в информатике учебно-методическое пособие
di: Гаджиева З. Д.
Pubblicazione: (Махачкала, ДГПУ, 2024)

Теория графов и математическая логика учебное пособие
di: Городов А. А.
Pubblicazione: (Красноярск, СибГУ им. академика М. Ф. Решетнёва, 2023)

Сборник задач по дискретной математике (для практических занятий в группах)
di: Шевелев Ю. П.
Pubblicazione: (Санкт-Петербург, Лань, 2022)

Логика. Экзаменационные ответы для студентов вузов учебное пособие
di: Светлов В. А. Виктор Александрович
Pubblicazione: (СПб., Питер, 2008)

Математическая логика и теория алгоритмов учебное пособие
di: Игошин В. И. Владимир Иванович
Pubblicazione: (Москва, Academia, 2004)

Математическая логика и теория алгоритмов учебное пособие
di: Набебин А. А. Алексей Александрович
Pubblicazione: (СПб., Научный мир, 2008)

Основы математической обработки информации учебное пособие
di: Бондарь А. А.
Pubblicazione: (Екатеринбург, УрГПУ, 2018)

Введение в метаматематику пер. с англ.
di: Клини С. К. Стефен К.
Pubblicazione: (Москва, Изд-во иностранной литературы, 1957)

Логика высказываний и булевы алгебры учебное пособие
di: Гринченков Д. В.
Pubblicazione: (Новочеркасск, ЮРГПУ (НПИ), 2022)

Математическая логика учебное пособие
di: Игошин В. И. Владимир Иванович
Pubblicazione: (Москва, Инфра-М, 2012)

Математическая логика учебное пособие
di: Игошин В. И. Владимир Иванович
Pubblicazione: (Москва, Инфра-М, 2019)

Математическая логика учебное пособие для вузов
di: Ершов Ю. Л. Юрий Леонидович
Pubblicazione: (СПб., Лань, 2005)

Математическая логика и теория алгоритмов учебное пособие
di: Гурова Л. М. Любовь Михайловна
Pubblicazione: (Москва, Изд-во МГГУ, 2006)

Математическая логика учебное пособие
di: Ершов Ю. Л. Юрий Леонидович
Pubblicazione: (СПб., Лань, 2005)

Математическая логика курс лекций учебное пособие
di: Тимофеева И. Л. Ирина Леонидовна
Pubblicazione: (Москва, Университет, 2007)

Математическая логика и теория алгоритмов учебно-методическое-пособие
di: Геут К. Л.
Pubblicazione: (Екатеринбург, 2017)

Булевы функции и их применение: курс лекций
di: Епишкина А. В.
Pubblicazione: (Москва, НИЯУ МИФИ, 2020)

Основы теории алгоритмов учебное пособие
di: Ланских В. Г.
Pubblicazione: (Киров, ВятГУ, 2017)

Математическая логика и теория алгоритмов учебное пособие
di: Крупский В. Н. Владимир Николаевич
Pubblicazione: (Москва, Академия, 2013)

Дискретная математика и математическая логика учебник
di: Аляев Ю. А. Юрий Александрович
Pubblicazione: (Москва, Финансы и статистика, 2006)

Дискретная математика, математическая логика в «Вóльфрам Альфа» учебное пособие
di: Тюрин С. Ф.
Pubblicazione: (Пермь, ПНИПУ, 2022)

Математическая логика. Дискретные функции. Теория алгоритмов учебное пособие
di: Глухов М. М. Михаил Михайлович
Pubblicazione: (СПб., Лань, 2012)

Математическая логика учебное пособие
di: Лавров И. А. Игорь Андреевич
Pubblicazione: (Москва, Академия, 2006)

Математическая логика. Задачник-практикум и решения курс лекций учебное пособие
di: Лихтарников Л. М. Леонид Моисеевич
Pubblicazione: (СПб., Лань, 2009)

Математика. Основы дискретной математики учебное пособие
di: Зорькина Н. В.
Pubblicazione: (Ульяновск, УИ ГА, 2019)

Математическая логика и теория алгоритмов учебное пособие
di: Гамова А. Н.
Pubblicazione: (Саратов, СГУ, 2020)

Условные термы и их применение в алгебре и теории вычислений
di: Пинус А. Г. Александр Георгиевич
Pubblicazione: (Новосибирск, Изд-во НГТУ, 2002)