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

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

Dades bibliogràfiques
Autor principal:	Ершов Ю. Л. Юрий Леонидович
Altres autors:	Палютин Е. А. Евгений Андреевич
Idioma:	rus
Publicat:	Москва, Наука, 1979
Matèries:	математика математическая логика множества предикаты модели доказательства алгоритмы теория учебные пособия
Format:	Llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=36671

Ítems similars

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

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

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

Математическая логика: учебное пособие
per: Ершов Юрий Леонидович
Publicat: (Москва, Наука, 1987)

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

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

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

Математическая логика: дополнительные главы: учебное пособие
per: Колмогоров А. Н. Андрей Николаевич
Publicat: (Москва, Изд-во МГУ, 1984)

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

Математическая логика: учебное пособие
per: Колмогоров А.Н. Андрей Николаевич
Publicat: (Москва, УРСС, 2005)

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

Математическая логика: пер. с англ.
per: Клини С. К. Стефан Коул
Publicat: (Москва, Мир, 1973)

Математическая логика и теория алгоритмов для программистов: учебное пособие
per: Гринченков Д. В. Дмитрий Валерьевич
Publicat: (Москва, КноРус, 2010)

Математическая логика и теория алгоритмов для программистов: учебное пособие
per: Гринченков Д. В. Дмитрий Валерьевич
Publicat: (Москва, КноРус, 2013)

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

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

Дискретная математика: учебник
per: Соболева Т. С. Татьяна Сергеевна
Publicat: (Москва, Академия, 2014)

Прикладная дискретная математика. Логика. Графы. Автоматы. Алгоритмы. Кодирование: [учебное пособие]
per: Гданский Н. И. Николай Иванович
Publicat: (Москва, Вузовская книга, 2011)

Лекции по математической логике: учебное пособие
per: Мощенский В. А. Владимир Андреевич
Publicat: (Минск, Изд-во Белорусского гос. ун-та, 1973)

Дискретная математика: учебник для вузов
per: Соболева Т. С. Татьяна Сергеевна
Publicat: (Москва, Академия, 2014)

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

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

Вводный курс математической логики
per: Успенский В. А. Владимир Андреевич
Publicat: (Москва, Физматлит, 2007)

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

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

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

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

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

Логика: [учебник]
per: Солодухин О. А. Олег Анатольевич
Publicat: (Ростов-на-Дону, Феникс, 2000)

Математическая теория логического вывода: сборник переводов
Publicat: (Москва, Наука, 1967)

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

Математическая логика
per: Гладкий А. В. Алексей Всеволодович
Publicat: (Москва, Изд-во Российского ГГУ, 1998)

Математическая логика и теория алгоритмов
Publicat: (Новосибирск, Наука, 1982)

Дискретная математика: учебник
per: Спирина М. С. Марина Савельевна
Publicat: (Москва, Академия, 2007)

Дискретная математика: учебник
per: Спирина М. С. Марина Савельевна
Publicat: (Москва, Академия, 2006)

Математическая логика: пер. с англ.
per: Гудстейн Р. Л.
Publicat: (Москва, Изд-во иностранной литературы, 1961)

Математический интуиционизм. Введение в теорию доказательств
per: Драгалин А. Г. Альберт Григорьевич
Publicat: (Москва, Наука, 1979)

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

Дискретная математика. Математика для менеджера в примерах и упражнениях: учебное пособие
per: Москинова Г. И. Галина Ивановна
Publicat: (Москва, Логос, 2007)

Математическая логика и теория алгоритмов: учебное пособие
per: Игошин В. И. Владимир Иванович
Publicat: (Москва, Академия, 2008)