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

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

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Верещагин Н. К
Այլ հեղինակներ:	Шень А
Լեզու:	ռուսերեն
Հրապարակվել է:	Москва, МЦНМО, 2000
Խորագրեր:	математика математическая логика языки исчисления теории модели выразимость теоремы учебные пособия
Ձևաչափ:	Գիրք
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=29592

Նմանատիպ նյութեր

Выразимость в исчислениях высказываний
‌: Раца М. Ф. Мефодий Федорович
Հրապարակվել է: (Кишинев, Штиинца, 1991)

Задачи по теории множеств, математической логике и теории алгоритмов
‌: Лавров И. А. Игорь Андреевич
Հրապարակվել է: (Москва, Наука, 1984)

Задачи по теории множеств, математической логике и теории алгоритмов
‌: Лавров И. А. Игорь Андреевич
Հրապարակվել է: (Москва, Физматлит, 2006)

Ч. 4 : Теория доказательств и конструктивная математика; Справочная книга по математической логике
Հրապարակվել է: (1983)

Задачи по теории множеств, математической логике и теории алгоритмов
‌: Лавров И. А. Игорь Андреевич
Հրապարակվել է: (Москва, Физматлит, 2002)

Задачи по теории множеств, математической логике и теории алгоритмов
‌: Лавров И. А. Игорь Андреевич
Հրապարակվել է: (Наука, 1975)

Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
‌: Верещагин Н. К
Հրապարակվել է: (Москва, МЦНМО, 1999)

Лекции по математической логике: учебное пособие
‌: Мощенский В. А. Владимир Андреевич
Հրապարակվել է: (Минск, Изд-во Белорусского гос. ун-та, 1973)

Проектно-ориентированное обучение математической логике учебно-методическое пособие
‌: Сангалова М. Е.
Հրապարակվել է: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2013)

Исследования по теории алгорифмов и математической логике: сборник
Հրապարակվել է: (Москва, Наука, 1979)

Ч. 3 : Теория рекурсии; Справочная книга по математической логике
Հրապարակվել է: (1982)

Основания математики. Логические исчисления и формализация арифметики.
‌: Гильберт Д. Давид
Հրապարակվել է: (Москва, Наука, 1979)

Основания математики. Логические исчисления и формализация арифметики.
‌: Гильберт Д. Давид
Հրապարակվել է: (Москва, Наука, 1982)

Сборник задач по математической логике и теории алгоритмов Учебное пособие
‌: Игошин В. И. Владимир Иванович
Հրապարակվել է: (Москва, ООО "КУРС", 2019)

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: учебное пособие
Հրապարակվել է: (СПб., Лань, 2008)

Введение в математическую логику
‌: Зюзьков В. М.
Հրապարակվել է: (Санкт-Петербург, Лань, 2022)

Математическая логика и теория алгоритмов: учебное пособие
‌: Шелупанов А. А. Александр Александрович
Հրապարակվել է: (Томск, STT, 2001)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
‌: Игошин В. И. Владимир Иванович
Հրապարակվել է: (Москва, Академия, 2005)

Ч. 1 : Теория моделей; Справочная книга по математической логике
Հրապարակվել է: (1982)

Математическая логика и теория алгоритмов: учебное пособие
‌: Гурова Л. М. Любовь Михайловна
Հրապարակվել է: (Москва, Изд-во МГГУ, 2006)

Ламбда-исчисление. Его синтаксис и семантика: пер. с англ.
‌: Барендрегт Х. П. Хендрик Питер
Հրապարակվել է: (Москва, Мир, 1985)

Исследования по математической лингвистике, математической логике и информационным языкам: сборник статей
Հրապարակվել է: (Москва, Наука, 1972)

Логические и математические исчисления: учебное пособие
‌: Шиханович Ю. А. Юрий Александрович
Հրապարակվել է: (Москва, Научный мир, 2011)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
‌: Игошин В. И. Владимир Иванович
Հրապարակվել է: (Москва, Академия, 2006)

О математической логике и философии математики. Начальные сведения об основаниях математики: пер. с англ.
‌: Ивс Г.
Հրապարակվել է: (Москва, Знание, 1968)

Математика для гуманитариев: учебное пособие
‌: Грес П. В. Павел Власович
Հրապարակվել է: (Москва, Логос, 2003)

Т. 1; Дифференциальное и интегральное исчисления
Հրապարակվել է: (1974)

Т. 1; Дифференциальное и интегральное исчисления
Հրապարակվել է: (1970)

Т. 1; Дифференциальное и интегральное исчисления
Հրապարակվել է: (1976)

Т. 1; Дифференциальное и интегральное исчисления
Հրապարակվել է: (1974)

Заметки по логике: пер. с англ.
‌: Линдон Р.
Հրապարակվել է: (Москва, Мир, 1968)

Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
‌: Бабичева И. В.
Հրապարակվել է: (Санкт-Петербург, Лань, 2024)

Т. 1; Дифференциальное и интегральное исчисления
Հրապարակվել է: (1964)

Т. 1; Дифференциальное и интегральное исчисления
Հրապարակվել է: (1968)

Т. 1; Дифференциальное и интегральное исчисления
Հրապարակվել է: (1966)

Т. 1; Дифференциальное и интегральное исчисления
Հրապարակվել է: (1978)

Т. 1; Дифференциальное и интегральное исчисления
Հրապարակվել է: (1970)

Т. 1; Дифференциальное и интегральное исчисления
Հրապարակվել է: (1976)

Основания математики. Теория доказательств: пер. с нем.
‌: Гилберт Д. Давид
Հրապարակվել է: (Москва, Наука, 1982)

Автоматы, алгорифмы, языки: межвузовский тематический сборник
Հրապարակվել է: (Калинин, Изд-во Калининского гос. ун-та, 1982)