Лекции по математической логике и теории алгоритмов: учебное пособие; Ч. 2; Языки и исчисления

Лекции по математической логике и теории алгоритмов: учебное пособие; Ч. 2; Языки и исчисления

Бібліографічні деталі
Автор:	Верещагин Н. К
Інші автори:	Шень А
Мова:	Російська
Опубліковано:	Москва, МЦНМО, 2000
Предмети:	математика математическая логика языки исчисления теории модели выразимость теоремы учебные пособия
Формат:	Книга
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=29592

Схожі ресурси

Выразимость в исчислениях высказываний
за авторством: Раца М. Ф. Мефодий Федорович
Опубліковано: (Кишинев, Штиинца, 1991)

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

Задачи по теории множеств, математической логике и теории алгоритмов
за авторством: Лавров И. А. Игорь Андреевич
Опубліковано: (Москва, Физматлит, 2006)

Задачи по теории множеств, математической логике и теории алгоритмов
за авторством: Лавров И. А. Игорь Андреевич
Опубліковано: (Наука, 1975)

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

Ч. 4 : Теория доказательств и конструктивная математика; Справочная книга по математической логике
Опубліковано: (1983)

Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
за авторством: Верещагин Н. К
Опубліковано: (Москва, МЦНМО, 1999)

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

Исследования по теории алгорифмов и математической логике: сборник
Опубліковано: (Москва, Наука, 1979)

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

Сборник задач по математической логике и теории алгоритмов Учебное пособие
за авторством: Игошин В. И. Владимир Иванович
Опубліковано: (Москва, ООО "КУРС", 2019)

Ч. 3 : Теория рекурсии; Справочная книга по математической логике
Опубліковано: (1982)

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

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

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: учебное пособие
Опубліковано: (СПб., Лань, 2008)

Ч. 1 : Теория моделей; Справочная книга по математической логике
Опубліковано: (1982)

Ламбда-исчисление. Его синтаксис и семантика: пер. с англ.
за авторством: Барендрегт Х. П. Хендрик Питер
Опубліковано: (Москва, Мир, 1985)

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

Введение в математическую логику
за авторством: Зюзьков В. М.
Опубліковано: (Санкт-Петербург, Лань, 2022)

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

Исследования по математической лингвистике, математической логике и информационным языкам: сборник статей
Опубліковано: (Москва, Наука, 1972)

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

О математической логике и философии математики. Начальные сведения об основаниях математики: пер. с англ.
за авторством: Ивс Г.
Опубліковано: (Москва, Знание, 1968)

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

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

Заметки по логике: пер. с англ.
за авторством: Линдон Р.
Опубліковано: (Москва, Мир, 1968)

Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
за авторством: Бабичева И. В.
Опубліковано: (Санкт-Петербург, Лань, 2024)

Математика для гуманитариев: учебное пособие
за авторством: Грес П. В. Павел Власович
Опубліковано: (Москва, Логос, 2003)

Автоматы, алгорифмы, языки: межвузовский тематический сборник
Опубліковано: (Калинин, Изд-во Калининского гос. ун-та, 1982)

Основания математики. Теория доказательств: пер. с нем.
за авторством: Гилберт Д. Давид
Опубліковано: (Москва, Наука, 1982)

Т. 1; Дифференциальное и интегральное исчисления
Опубліковано: (1974)

Т. 1; Дифференциальное и интегральное исчисления
Опубліковано: (1970)

Т. 1; Дифференциальное и интегральное исчисления
Опубліковано: (1974)

Т. 1; Дифференциальное и интегральное исчисления
Опубліковано: (1976)

Математика метаматематики: пер. с англ.
за авторством: Расева Е. Елена
Опубліковано: (Москва, Наука, 1972)

Т. 1; Дифференциальное и интегральное исчисления
Опубліковано: (1978)

Т. 1; Дифференциальное и интегральное исчисления
Опубліковано: (1964)

Т. 1; Дифференциальное и интегральное исчисления
Опубліковано: (1966)

Т. 1; Дифференциальное и интегральное исчисления
Опубліковано: (1976)

Т. 1; Дифференциальное и интегральное исчисления
Опубліковано: (1968)