Лекции по математической логике: учебное пособие

Лекции по математической логике: учебное пособие

Podrobná bibliografie
Hlavní autor:	Мощенский В. А. Владимир Андреевич
Jazyk:	ruština
Vydáno:	Минск, Изд-во Белорусского гос. ун-та, 1973
Témata:	математика математическая логика логика высказываний предикаты алгоритмы учебные пособия высказывания исчисление
Médium:	Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=36710

Podobné jednotky

Элементы математической логики
Autor: Новиков П. С. Петр Сергеевич
Vydáno: (Москва, Наука, 1973)

Элементы математической логики
Autor: Марков А. А. Андрей Андреевич
Vydáno: (Москва, Изд-во МГУ, 1984)

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

Введение в математическую логику: пер. с англ.
Autor: Мендельсон Э. Эллиот
Vydáno: (Москва, Наука, 1976)

Введение в математическую логику: пер. с англ.
Autor: Мендельсон Э. Эллиот
Vydáno: (Москва, Наука, 1984)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
Autor: Игошин В. И. Владимир Иванович
Vydáno: (Москва, Академия, 2006)

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

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

Применение ЭВМ для решения задач математической логики: учебное пособие
Autor: Мелихов А. Н. Аскольд Николаевич
Vydáno: (Таганрог, Изд-воТРТИ, 1988)

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

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

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

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
Autor: Игошин В. И. Владимир Иванович
Vydáno: (Москва, Академия, 2005)

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

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

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

Математическая логика. Курс лекций и практических занятий: учебное пособие
Autor: Шапорев С. Д.
Vydáno: (СПб., БХВ-Петербург, 2005)

Математическая логика: учебное пособие
Autor: Ершов Ю. Л. Юрий Леонидович
Vydáno: (Москва, Наука, 1979)

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

Математическая логика: учебное пособие для вузов
Autor: Ершов Ю. Л. Юрий Леонидович
Vydáno: (Москва, Физматлит, 2011)

Математическая логика и теория алгоритмов: учебное пособие
Autor: Шелупанов А. А. Александр Александрович
Vydáno: (Томск, STT, 2001)

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

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

Дискретная математика: учебник для вузов
Autor: Соболева Т. С. Татьяна Сергеевна
Vydáno: (Москва, Академия, 2006)

Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учебное пособие для вузов
Autor: Косовский Н. К. Николай Кириллович
Vydáno: (Ленинград, Изд-во Ленинградского ун-та, 1981)

Задачи по теории множеств, математической логике и теории алгоритмов
Autor: Лавров И. А. Игорь Андреевич
Vydáno: (Москва, Физматлит, 2002)

Задачи по теории множеств, математической логике и теории алгоритмов
Autor: Лавров И. А. Игорь Андреевич
Vydáno: (Наука, 1975)

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

Задачи по теории множеств, математической логике и теории алгоритмов
Autor: Лавров И. А. Игорь Андреевич
Vydáno: (Москва, Наука, 1984)

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

Элементы математического анализа. (Множества и операции над ними. Элементы математической логики): учебное пособие
Autor: Комов Н. П. Николай Павлович
Vydáno: (Ярославль, Изд-во ЯГПИ, 1987)

Математическая логика и теория алгоритмов
Autor: Гурова Л. М.
Vydáno: (Москва, Горная книга, 2006)

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

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

Курс математической логики и теории вычислимости: учебное пособие для вузов
Autor: Герасимов А. С. Александр Сергеевич
Vydáno: (Санкт-Петербург, Лань, 2014)

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

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

Логика: учебное пособие
Autor: Попов Ю. П. Юрий Петрович
Vydáno: (Москва, КноРус, 2015)

Основы дискретной математики: учебное пособие
Autor: Галиев Ш. И. Шамиль Ибрагимович
Vydáno: (Казань, [Б. и.], 1978)

Проектно-ориентированное обучение математической логике учебно-методическое пособие
Autor: Сангалова М. Е.
Vydáno: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2013)