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

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

書目詳細資料
主要作者:	Гончаров С. С. Сергей Савостьянович
其他作者:	Ершов Ю. Л. Юрий Леонидович
語言:	俄语
出版:	Новосибирск, Научная книга, 1999
叢編:	Сибирская школа алгебры и логики
主題:	математика математическая логика конструктивные модели рекурсивные модели множества Сигма-определимость вычислимость
格式:	圖書
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=25496

相似書籍

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Вып. 11
出版: (2002)

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

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

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

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

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

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

Mathematik: Mit 524 Bildern und 414 Beispielen
由: Hilbert Alfred Von Dr
出版: (Leipzig, Fachbuchverlag, 1989)

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

Ч. 1
出版: (2000)

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

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

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

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