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

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

Bibliografiset tiedot
Päätekijä:	Ершов Ю. Л. Юрий Леонидович
Muut tekijät:	Палютин Е. Н. Евгений Андреевич
Kieli:	venäjä
Julkaistu:	СПб., Лань, 2004
Painos:	3-е изд. стер.
Aiheet:	математическая логика учебные пособия исчисления высказывания множества теория алгебраические системы истинность предикаты модели доказательства алгоритмы рекурсивные функции
Aineistotyyppi:	Kirja
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=67756

Samankaltaisia teoksia

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

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

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

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

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

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

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

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

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

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

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

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

Логические и математические исчисления: учебное пособие
Tekijä: Шиханович Ю. А. Юрий Александрович
Julkaistu: (Москва, Научный мир, 2011)

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

Элементы теории систем
Tekijä: Марасанов В. В. Владимир Васильевич
Julkaistu: (Кишинев, Штиинца, 1991)

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

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

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

Основания математики. Логические исчисления и формализация арифметики.
Tekijä: Гильберт Д. Давид
Julkaistu: (Москва, Наука, 1979)

Основания математики. Логические исчисления и формализация арифметики.
Tekijä: Гильберт Д. Давид
Julkaistu: (Москва, Наука, 1982)

Симметрическая конструктивная логика
Tekijä: Заславский И. Д. Игорь Дмитриевич
Julkaistu: (Ереван, Изд-во АН Армянской ССР, 1978)

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

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

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

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

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

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

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

Логика: Практический курс; учебник для вузов
Tekijä: Рузавин Г. И.
Julkaistu: (Москва, ЮНИТИ-ДАНА, 2002)

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

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

Рекурсивно перечислимые множества и сводимости табличного типа
Tekijä: Дегтев А. Н. Александр Николаевич
Julkaistu: (Москва, Наука, 1998)

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

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

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

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

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

Логика: учебник
Tekijä: Ивин А. А. Александр Архипович
Julkaistu: (Москва, ФАИР-ПРЕСС, 1999)

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

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