Элементарные рекурсивные функции

Элементарные рекурсивные функции

Chi tiết về thư mục
Tác giả chính:	Марченков С. С. Сергей Серафимович
Ngôn ngữ:	Tiếng Nga
Được phát hành:	Москва, МЦНМО, 2003
Những chủ đề:	Рекурсивные функции математика арифметические предикаты функции по Сколему классы Гжегорчика машинное описание
Định dạng:	Sách
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=58786

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

Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.
Bằng: Катленд Н. Найджел
Được phát hành: (Москва, Мир, 1983)

Замкнутые классы булевых функций
Bằng: Марченков С. С. Сергей Серафимович
Được phát hành: (Москва, Физматлит, 2000)

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

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

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

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

Основания интуиционистской математики с точки зрения теории рекурсивных функций: пер. с англ.
Bằng: Клини С. К. Стефен Коул
Được phát hành: (Москва, Наука, 1978)

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

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

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

Методы и средства вычислений с объектами. Аппликативные вычислительные системы
Bằng: Вольфенгаген В. Э. Вячеслав Эрнстович
Được phát hành: (Москва, JurInfoR Lrd, 2004)

Основания математики. Логические исчисления и формализация арифметики.
Bằng: Гильберт Д. Давид
Được phát hành: (Москва, Наука, 1979)

Основания математики. Логические исчисления и формализация арифметики.
Bằng: Гильберт Д. Давид
Được phát hành: (Москва, Наука, 1982)

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

Булевы функции: [учебное пособие]
Bằng: Марченков С. С. Сергей Серафимович
Được phát hành: (Москва, Физматлит, 2002)

Основы теории алгоритмов и рекурсивных функций
Bằng: Людковский С. В.
Được phát hành: (Москва, РТУ МИРЭА, 2022)

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

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

Основы дискретной математики: учебное пособие
Bằng: Галиев Ш. И. Шамиль Ибрагимович
Được phát hành: (Казань, [Б. и.], 1978)

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

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

Программирование в среде Visual Prolog учебное пособие
Bằng: Авдеенко Т. В.
Được phát hành: (Новосибирск, НГТУ, 2022)

Основные элементарные функции: учебное пособие
Bằng: Сабитов К. Б. Камиль Басирович
Được phát hành: (Москва, Высшая школа, 2010)

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

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

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

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

Рекурсивные преобразователи информации: учебное пособие для вузов
Bằng: Анисимов А. В. Анатолий Васильевич
Được phát hành: (Киев, Вища школа, 1987)

Основы дискретной математики. Ч. 2 учебно-методическое пособие
Bằng: Гутова С. Г.
Được phát hành: (Кемерово, КемГУ, 2019)

Вычислимое и невычислимое
Bằng: Манин Ю. И. Юрий Иванович
Được phát hành: (Москва, Сов. радио, 1980)

Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
Bằng: Верещагин Н. К
Được phát hành: (Москва, МЦНМО, 1999)

Начала математического анализа. Числа и множества чисел. Последовательности и их пределы. Пределы и непрерывность функций. Дифференциальное исчисление функций одной переменной учебное пособие для вузов
Bằng: Шведенко С. В.
Được phát hành: (Москва, НИЯУ МИФИ, 2011)

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

Т. 1: Элементарные функции; Интегралы и ряды
Được phát hành: (2003)

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

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

Реализация рекурсивного цифрового фильтра на основе штрафного p-сплайна; Компьютерная оптика; Т. 42, № 6
Bằng: Кочегурова Е. А. Елена Алексеевна
Được phát hành: (2018)

О развитии за последние сто лет некоторых основных теорий математического анализа: Три лекции в Clark-University (Ворчестер С.-Ам. С. Ш.) 5, 6 и 7 июля 1899 года; Лекция 1-я. О развитии некоторых математических понятий и, в частности, идеи функции в течение последнего столетия; Лекция 2-я. Некоторые общие взгляды на теорию дифференциальных уравнений; Лекция 3-я. О теории аналитических функций и о некоторых классах функций
Bằng: Пикар Э. Эмиль
Được phát hành: (Харьков, Типография и Литография М. Зильберберг и С-вья, 1912)

Введение в арифметическую теорию автоморфных функций: пер. с англ.
Bằng: Шимура Г. Горо
Được phát hành: (Москва, Мир, 1973)

Теория алгебраических функций
Bằng: Чеботарев Н. Г. Николай Григорьевич
Được phát hành: (Москва, Изд-во ЛКИ, 2008)