Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов

Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов

Chi tiết về thư mục
Tác giả khác:	Козмидиади В. А. (редактор), Мучник А. А.
Ngôn ngữ:	Tiếng Nga
Được phát hành:	Москва, Мир, 1970
Loạt:	Библиотека "Кибернетического сборника"
Những chủ đề:	математическая логика алгоритмы функции классификация машины Тьюринга вычисления
Định dạng:	Sách
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=195335

Những quyển sách tương tự

Алгоритмы и рекурсивные функции
Bằng: Мальцев А. И. Анатолий Иванович
Được phát hành: (Москва, Наука, 1986)

Математическая логика и теория алгоритмов: учебное пособие
Bằng: Крупский В. Н. Владимир Николаевич
Được phát hành: (Москва, Академия, 2013)

Теория алгоритмов: учебное пособие для вузов
Bằng: Игошин В. И. Владимир Иванович
Được phát hành: (Москва, Инфра-М, 2015)

Практикум по теории алгоритмов учебное пособие для вузов
Bằng: Тихомирова А. Н.
Được phát hành: (Москва, НИЯУ МИФИ, 2011)

Математическая логика и теория алгоритмов: учебное пособие
Bằng: Набебин А. А. Алексей Александрович
Được phát hành: (СПб., Научный мир, 2008)

Сложностные проблемы математической логики: сборник научных трудов
Được phát hành: (Калинин, [Б. и.], 1985)

Алгоритмы и рекурсивные функции
Bằng: Мальцев А. И. Анатолий Иванович
Được phát hành: (Москва, Наука, 1965)

Вводный курс математической логики: учебное пособие
Bằng: Успенский В. А. Владимир Андреевич
Được phát hành: (Москва, Изд-во МГУ, 1991)

Теория алгоритмов: учебник
Bằng: Матрос Д. Ш. Дмитрий Шаевич
Được phát hành: (Москва, БИНОМ. Лаборатория знаний, 2008)

Теория алгоритмов: учебное пособие
Bằng: Кожевникова Г. П. Галина Павловна
Được phát hành: (Львов, Вища школа, 1978)

Теория алгоритмов: учебное пособие для вузов
Bằng: Фалевич Б. Я. Борис Яковлевич
Được phát hành: (Москва, Машиностроение, 2004)

Теория алгоритмов учебное пособие
Bằng: Кабанцова Л. Ю.
Được phát hành: (Воронеж, ВГУ, 2021)

Математическая логика и теория алгоритмов учебно-методическое-пособие
Bằng: Геут К. Л.
Được phát hành: (Екатеринбург, 2017)

Теория алгоритмов учебно-методическое пособие
Bằng: Волобуева С. А.
Được phát hành: (Воронеж, ВГУ, 2021)

Введение в дискретную математику и логику учебное пособие
Bằng: Червенчук В. Д.
Được phát hành: (Омск, Омский ГАУ, 2011)

Математическая логика и теория алгоритмов учебное пособие
Bằng: Михальченко Г. Е.
Được phát hành: (Красноярск, СФУ, 2018)

Теория алгоритмов учебно-методическое пособие
Bằng: Куликов В. Г.
Được phát hành: (Москва, МИСИ – МГСУ, 2022)

Теория автоматов: учебник
Bằng: Карпов Ю. Г. Юрий Глебович
Được phát hành: (СПб., Питер, 2003)

Введение в метаматематику: пер. с англ.
Bằng: Клини С. К. Стефен К.
Được phát hành: (Москва, Изд-во иностранной литературы, 1957)

Теория алгоритмов. Введение в сложность вычислений учебник для вузов
Bằng: Крупский В. Н. Владимир Николаевич
Được phát hành: (Москва, Юрайт, 2026)

Теория алгоритмов. Введение в сложность вычислений учебник для вузов
Bằng: Крупский В. Н. Владимир Николаевич
Được phát hành: (Москва, Юрайт, 2025)

Теория алгоритмов и вычислений учебное пособие для вузов
Bằng: Гашков С. Б.
Được phát hành: (Санкт-Петербург, Лань, 2023)

Теория автоматов: учебник для вузов
Bằng: Карпов Ю. Г. Юрий Глебович
Được phát hành: (СПб., Питер, 2002)

Теория алгоритмов. Введение в сложность вычислений учебное пособие для вузов
Bằng: Крупский В. Н. Владимир Николаевич
Được phát hành: (Москва, Юрайт, 2024)

Теория алгоритмов. Введение в сложность вычислений учебное пособие для вузов
Bằng: Крупский В. Н. Владимир Николаевич
Được phát hành: (Москва, Юрайт, 2023)

Теория алгоритмов. Введение в сложность вычислений учебное пособие для вузов
Bằng: Крупский В. Н. Владимир Николаевич
Được phát hành: (Москва, Юрайт, 2022)

Математическая логика и теория алгоритмов: учебное пособие
Bằng: Игошин В. И. Владимир Иванович
Được phát hành: (Москва, Academia, 2004)

Математическая логика и алгебра: Сборник статей
Được phát hành: (Москва, Наука, 2003)

Математическая логика. Курс лекций и практических занятий: учебное пособие
Bằng: Шапорев С. Д.
Được phát hành: (СПб., БХВ-Петербург, 2005)

Число и мысль; Вып. 8 (Математики измеряют сложность)
Bằng: Юдин Д. Б. Давид Борисович
Được phát hành: (Москва, Знание, 1985)

Математическая логика и теория алгоритмов учебное пособие
Bằng: Неклюдова В. Л.
Được phát hành: (Новосибирск, СГУГиТ, 2022)

Сложность булевых функций
Bằng: Нигматуллин Р. Г. Рошаль Габдулхаевич
Được phát hành: (Москва, Наука, 1991)

Дискретная математика: прикладные задачи и сложность алгоритмов учебник и практикум для вузов
Bằng: Андреев А. Е. Александр Егорович
Được phát hành: (Москва, Юрайт, 2023)

Дискретная математика: прикладные задачи и сложность алгоритмов учебник и практикум для вузов
Bằng: Андреев А. Е. Александр Егорович
Được phát hành: (Москва, Юрайт, 2025)

Дискретная математика: прикладные задачи и сложность алгоритмов учебник и практикум для вузов
Bằng: Андреев А. Е. Александр Егорович
Được phát hành: (Москва, Юрайт, 2022)

Дискретная математика: прикладные задачи и сложность алгоритмов учебник и практикум для вузов
Bằng: Андреев А. Е. Александр Егорович
Được phát hành: (Москва, Юрайт, 2024)

Дискретная математика: прикладные задачи и сложность алгоритмов учебник и практикум для вузов
Bằng: Андреев А. Е. Александр Егорович
Được phát hành: (Москва, Юрайт, 2026)

Алгоритмы и формальные системы: учебное пособие
Bằng: Лисовик Л. П. Леонид Петрович
Được phát hành: (Киев, Изд-во КГУ, 1981)

Математическая логика и теория алгоритмов: учебное пособие
Bằng: Игошин В. И. Владимир Иванович
Được phát hành: (Москва, Академия, 2008)

Теория алгоритмов в задачах информационной безопасности: Конспект лекций учебное пособие
Bằng: Епишкина А. В.
Được phát hành: (Москва, НИЯУ МИФИ, 2022)