Конструктивные модели

Конструктивные модели

Bibliographic Details
Main Author:	Гончаров С. С. Сергей Савостьянович
Other Authors:	Ершов Ю. Л. Юрий Леонидович
Language:	Russian
Published:	Новосибирск, Научная книга, 1999
Series:	Сибирская школа алгебры и логики
Subjects:	математика математическая логика конструктивные модели рекурсивные модели множества Сигма-определимость вычислимость
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=25496

Similar Items

Определимость и вычислимость
by: Ершов Ю. Л. Юрий Леонидович
Published: (Москва, Экономика, 2000)

Конструктивные множества и их приложения пер. с англ. [монография]
by: Мостовский А. Анджей
Published: (Москва, Мир, 1973)

Вып. 161 : Обобщенная вычислимость и определимость
Published: (1998)

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

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

Конструктивные методы обучения сигма-пи нейронных сетей
by: Шибзухов З. М. Заир Мухадинович
Published: (Москва, Наука, 2006)

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

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

Вычислимое и невычислимое
by: Манин Ю. И. Юрий Иванович
Published: (Москва, Сов. радио, 1980)

Основы теории алгоритмов и рекурсивных функций
by: Людковский С. В.
Published: (Москва, РТУ МИРЭА, 2022)

Лекции по математической логике и теории алгоритмов
by: Верещагин Н. К
Published: (Москва, МЦНМО, 1999)

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

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

Вычислимость. Введение в теорию рекурсивных функций пер. с англ.
by: Катленд Н. Найджел
Published: (Москва, Мир, 1983)

Программирование. Математические основы, средства, теория: учебное пособие
by: Лавров С. С. Святослав Сергеевич
Published: (СПб., БХВ-Петербург, 2001)

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

Нелинейные сигма-модели в квантовой теории поля и теории струн
by: Кетов С. В. Сергей Владимирович
Published: (Новосибирск, Наука, 1992)

Вычислимо перечислимые множества и степени: пер. с англ.
by: Соар Р. И. Роберт И.
Published: (Казань, Казанское математическое общество, 2000)

Алгоритмы и рекурсивные функции
by: Мальцев А. И. Анатолий Иванович
Published: (Москва, Наука, 1986)

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

Ч. 1 : Теория моделей
Published: (1982)

Рекурсивно перечислимые множества и степени неразрешимости
by: Арсланов М. М. Марат Мирзаевич
Published: (Казань, Изд-во Казанского ун-та, 1986)

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

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

Теория алгоритмов учебное пособие для вузов
by: Игошин В. И. Владимир Иванович
Published: (Москва, Инфра-М, 2015)

Теория алгоритмов: учебник
by: Матрос Д. Ш. Дмитрий Шаевич
Published: (Москва, БИНОМ. Лаборатория знаний, 2008)

Вып. 11
Published: (2002)

Граф-схемы и алгоритмы: учебное пособие
by: Блох А. Ш. Абрам Шлемович
Published: (Минск, Вышэйшая школа, 1987)

Т. 1: Общие разделы
Published: (1999)

Методы реализации рекурсивной модели данных
by: Соколова В. В. Вероника Валерьевна
Published: (2009)

Дискретная математика для инженера
by: Кузнецов О. П.
Published: (Санкт-Петербург, Лань, 2022)

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

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

Mathematik: Mit 524 Bildern und 414 Beispielen
by: Hilbert Alfred Von Dr
Published: (Leipzig, Fachbuchverlag, 1989)

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

Ч. 1
Published: (2000)

Основания теории множеств: пер. с англ.
by: Френкель А. А. Абрахам А.
Published: (Москва, Мир, 1966)

Степени неразрешимости пер. с англ.
by: Шенфилд Дж. Джозеф
Published: (Москва, Наука, 1977)

Проблемы разрешимости и конструктивные модели
by: Ершов Е. Л. Юрий Леонидович
Published: (Москва, Наука, 1980)

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