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

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

Bibliografski detalji
Glavni autor:	Марченков С. С. Сергей Серафимович
Izdano:	Москва, МЦНМО, 2003
Teme:	математика арифметические предикаты функции по Сколему классы Гжегорчика машинное описание
Format:	Knjiga
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=58786

Slični predmeti

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

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

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

Основания интуиционистской математики с точки зрения теории рекурсивных функций пер. с англ.
od: Клини С. К. Стефен Коул
Izdano: (Москва, Наука, 1978)

Основы теории элементарных алгоритмов учебное пособие
od: Косовский Н. К. Николай Кириллович
Izdano: (Ленинград, Изд-во ЛГУ, 1987)

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

Методы и средства вычислений с объектами. Аппликативные вычислительные системы
od: Вольфенгаген В. Э. Вячеслав Эрнстович
Izdano: (Москва, JurInfoR Lrd, 2004)

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

Булевы функции [учебное пособие]
od: Марченков С. С. Сергей Серафимович
Izdano: (Москва, Физматлит, 2002)

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

Алгоритмы и формальные системы учебное пособие
od: Лисовик Л. П. Леонид Петрович
Izdano: (Киев, Изд-во КГУ, 1981)

Основы дискретной математики учебное пособие
od: Галиев Ш. И. Шамиль Ибрагимович
Izdano: (Казань, [Б. и.], 1978)

Теория алгоритмов учебно-методическое пособие
od: Куликов В. Г.
Izdano: (Москва, МИСИ – МГСУ, 2022)

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

Математическая логика и теория алгоритмов учебное пособие
od: Гамова А. Н.
Izdano: (Саратов, СГУ, 2020)

Программирование в среде Visual Prolog учебное пособие
od: Авдеенко Т. В.
Izdano: (Новосибирск, НГТУ, 2022)

Основы теории алгоритмов учебное пособие
od: Ланских В. Г.
Izdano: (Киров, ВятГУ, 2017)

Рекурсивные преобразователи информации учебное пособие для вузов
od: Анисимов А. В. Анатолий Васильевич
Izdano: (Киев, Вища школа, 1987)

Основные элементарные функции учебное пособие
od: Сабитов К. Б. Камиль Басирович
Izdano: (Москва, Высшая школа, 2010)

Логические и математические исчисления учебное пособие
od: Шиханович Ю. А. Юрий Александрович
Izdano: (Москва, Научный мир, 2011)

Математическая логика и теория алгоритмов учебное пособие
od: Михальченко Г. Е.
Izdano: (Красноярск, СФУ, 2018)

Перечислимые множества учебное пособие
od: Дегтев А. Н. Александр Николаевич
Izdano: (Новосибирск, Изд-во НГУ, 1980)

Сложность булевых функций
od: Нигматуллин Р. Г. Рошаль Габдулхаевич
Izdano: (Москва, Наука, 1991)

Основы дискретной математики. Ч. 2 учебно-методическое пособие
od: Гутова С. Г.
Izdano: (Кемерово, КемГУ, 2019)

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

Математическая логика и теория алгоритмов учебное пособие
od: Набебин А. А. Алексей Александрович
Izdano: (СПб., Научный мир, 2008)

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

Математика и семантика. Номинализм как интерпретация математики
od: Рвачев Л. А. Леонид Алексеевич
Izdano: (Киев, Наукова думка, 1966)

Теория алгоритмов учебное пособие
od: Кабанцова Л. Ю.
Izdano: (Воронеж, ВГУ, 2021)

Теория алгоритмов учебное пособие для вузов
od: Фалевич Б. Я. Борис Яковлевич
Izdano: (Москва, Машиностроение, 2004)

Реализация рекурсивного цифрового фильтра на основе штрафного p-сплайна
od: Кочегурова Е. А. Елена Алексеевна
Izdano: (2018)

Введение в арифметическую теорию автоморфных функций пер. с англ.
od: Шимура Г. Горо
Izdano: (Москва, Мир, 1973)

Теория алгебраических функций
od: Чеботарев Н. Г. Николай Григорьевич
Izdano: (Москва, Изд-во ЛКИ, 2008)

Булевы функции учебное пособие
od: Быкова С. В. Светлана Васильевна
Izdano: (Томск, Изд-во ТГУ, 2010)

Теория алгоритмов учебное пособие
od: Кожевникова Г. П. Галина Павловна
Izdano: (Львов, Вища школа, 1978)

Локальная теория степеней неразрешимости
od: Арсланов М. М. Марат Мирзаевич
Izdano: (Казань, Изд-во Казанского ун-та, 1987)

Теория рекурсии для программистов
od: Головешкин В. А. Василий Адамович
Izdano: (Москва, Физматлит, 2006)

Функциональные системы с операцией суперпозиции
od: Марченков С. С. Сергей Серафимович
Izdano: (Москва, Физматлит, 2004)

Дискретная математика в примерах и задачах учебное пособие
od: Тишин В. В. Владимир Викторович
Izdano: (Санкт-Петербург, БХВ-Петербург, 2008)

Элементы теории алгоритмов и формальных языков учебное пособие
od: Богатиков В. Н.
Izdano: (Тверь, ТвГТУ, 2023)