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

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

Xehetasun bibliografikoak
Egile nagusia:	Верещагин Н. К
Beste egile batzuk:	Шень А
Hizkuntza:	errusiera
Argitaratua:	Москва, МЦНМО, 2000
Gaiak:	математика математическая логика языки исчисления теории модели выразимость теоремы учебные пособия
Formatua:	Liburua
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=29592

Antzeko izenburuak

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Т. 1; Дифференциальное и интегральное исчисления
Argitaratua: (1974)

Т. 1; Дифференциальное и интегральное исчисления
Argitaratua: (1970)

Т. 1; Дифференциальное и интегральное исчисления
Argitaratua: (1976)

Т. 1; Дифференциальное и интегральное исчисления
Argitaratua: (1974)

Заметки по логике: пер. с англ.
nork: Линдон Р.
Argitaratua: (Москва, Мир, 1968)

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

Т. 1; Дифференциальное и интегральное исчисления
Argitaratua: (1964)

Т. 1; Дифференциальное и интегральное исчисления
Argitaratua: (1968)

Т. 1; Дифференциальное и интегральное исчисления
Argitaratua: (1966)

Т. 1; Дифференциальное и интегральное исчисления
Argitaratua: (1978)

Т. 1; Дифференциальное и интегральное исчисления
Argitaratua: (1970)

Т. 1; Дифференциальное и интегральное исчисления
Argitaratua: (1976)

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

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