Элементарные рекурсивные функции
| প্রধান লেখক: | |
|---|---|
| ভাষা: | রুশ |
| প্রকাশিত: |
Москва, МЦНМО, 2003
|
| বিষয়গুলি: | |
| বিন্যাস: | গ্রন্থ |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=58786 |
অনুরূপ উপাদানগুলি
Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.
অনুযায়ী: Катленд Н. Найджел
প্রকাশিত: (Москва, Мир, 1983)
অনুযায়ী: Катленд Н. Найджел
প্রকাশিত: (Москва, Мир, 1983)
Замкнутые классы булевых функций
অনুযায়ী: Марченков С. С. Сергей Серафимович
প্রকাশিত: (Москва, Физматлит, 2000)
অনুযায়ী: Марченков С. С. Сергей Серафимович
প্রকাশিত: (Москва, Физматлит, 2000)
Алгоритмы и рекурсивные функции
অনুযায়ী: Мальцев А. И. Анатолий Иванович
প্রকাশিত: (Москва, Наука, 1965)
অনুযায়ী: Мальцев А. И. Анатолий Иванович
প্রকাশিত: (Москва, Наука, 1965)
Алгоритмы и рекурсивные функции
অনুযায়ী: Мальцев А. И. Анатолий Иванович
প্রকাশিত: (Москва, Наука, 1986)
অনুযায়ী: Мальцев А. И. Анатолий Иванович
প্রকাশিত: (Москва, Наука, 1986)
Введение в метаматематику: пер. с англ.
অনুযায়ী: Клини С. К. Стефен К.
প্রকাশিত: (Москва, Изд-во иностранной литературы, 1957)
অনুযায়ী: Клини С. К. Стефен К.
প্রকাশিত: (Москва, Изд-во иностранной литературы, 1957)
Основания интуиционистской математики с точки зрения теории рекурсивных функций: пер. с англ.
অনুযায়ী: Клини С. К. Стефен Коул
প্রকাশিত: (Москва, Наука, 1978)
অনুযায়ী: Клини С. К. Стефен Коул
প্রকাশিত: (Москва, Наука, 1978)
Математическая логика: учебное пособие
অনুযায়ী: Ершов Ю. Л. Юрий Леонидович
প্রকাশিত: (СПб., Лань, 2004)
অনুযায়ী: Ершов Ю. Л. Юрий Леонидович
প্রকাশিত: (СПб., Лань, 2004)
Математическая логика: учебное пособие для вузов
অনুযায়ী: Ершов Ю. Л. Юрий Леонидович
প্রকাশিত: (СПб., Лань, 2005)
অনুযায়ী: Ершов Ю. Л. Юрий Леонидович
প্রকাশিত: (СПб., Лань, 2005)
Алгоритмы и формальные системы: учебное пособие
অনুযায়ী: Лисовик Л. П. Леонид Петрович
প্রকাশিত: (Киев, Изд-во КГУ, 1981)
অনুযায়ী: Лисовик Л. П. Леонид Петрович
প্রকাশিত: (Киев, Изд-во КГУ, 1981)
Основы теории элементарных алгоритмов: учебное пособие
অনুযায়ী: Косовский Н. К. Николай Кириллович
প্রকাশিত: (Ленинград, Изд-во ЛГУ, 1987)
অনুযায়ী: Косовский Н. К. Николай Кириллович
প্রকাশিত: (Ленинград, Изд-во ЛГУ, 1987)
Булевы функции: [учебное пособие]
অনুযায়ী: Марченков С. С. Сергей Серафимович
প্রকাশিত: (Москва, Физматлит, 2002)
অনুযায়ী: Марченков С. С. Сергей Серафимович
প্রকাশিত: (Москва, Физматлит, 2002)
Основания математики. Логические исчисления и формализация арифметики.
অনুযায়ী: Гильберт Д. Давид
প্রকাশিত: (Москва, Наука, 1979)
অনুযায়ী: Гильберт Д. Давид
প্রকাশিত: (Москва, Наука, 1979)
Основания математики. Логические исчисления и формализация арифметики.
অনুযায়ী: Гильберт Д. Давид
প্রকাশিত: (Москва, Наука, 1982)
অনুযায়ী: Гильберт Д. Давид
প্রকাশিত: (Москва, Наука, 1982)
Основы дискретной математики: учебное пособие
অনুযায়ী: Галиев Ш. И. Шамиль Ибрагимович
প্রকাশিত: (Казань, [Б. и.], 1978)
অনুযায়ী: Галиев Ш. И. Шамиль Ибрагимович
প্রকাশিত: (Казань, [Б. и.], 1978)
Методы и средства вычислений с объектами. Аппликативные вычислительные системы
অনুযায়ী: Вольфенгаген В. Э. Вячеслав Эрнстович
প্রকাশিত: (Москва, JurInfoR Lrd, 2004)
অনুযায়ী: Вольфенгаген В. Э. Вячеслав Эрнстович
প্রকাশিত: (Москва, JurInfoR Lrd, 2004)
Математическая логика: учебное пособие
অনুযায়ী: Ершов Ю. Л. Юрий Леонидович
প্রকাশিত: (СПб., Лань, 2005)
অনুযায়ী: Ершов Ю. Л. Юрий Леонидович
প্রকাশিত: (СПб., Лань, 2005)
Основы теории алгоритмов и рекурсивных функций
অনুযায়ী: Людковский С. В.
প্রকাশিত: (Москва, РТУ МИРЭА, 2022)
অনুযায়ী: Людковский С. В.
প্রকাশিত: (Москва, РТУ МИРЭА, 2022)
Теория алгоритмов учебно-методическое пособие
অনুযায়ী: Куликов В. Г.
প্রকাশিত: (Москва, МИСИ – МГСУ, 2022)
অনুযায়ী: Куликов В. Г.
প্রকাশিত: (Москва, МИСИ – МГСУ, 2022)
Программирование в среде Visual Prolog учебное пособие
অনুযায়ী: Авдеенко Т. В.
প্রকাশিত: (Новосибирск, НГТУ, 2022)
অনুযায়ী: Авдеенко Т. В.
প্রকাশিত: (Новосибирск, НГТУ, 2022)
Математическая логика и теория алгоритмов учебное пособие
অনুযায়ী: Гамова А. Н.
প্রকাশিত: (Саратов, СГУ, 2020)
অনুযায়ী: Гамова А. Н.
প্রকাশিত: (Саратов, СГУ, 2020)
Основные элементарные функции: учебное пособие
অনুযায়ী: Сабитов К. Б. Камиль Басирович
প্রকাশিত: (Москва, Высшая школа, 2010)
অনুযায়ী: Сабитов К. Б. Камиль Басирович
প্রকাশিত: (Москва, Высшая школа, 2010)
Перечислимые множества: учебное пособие
অনুযায়ী: Дегтев А. Н. Александр Николаевич
প্রকাশিত: (Новосибирск, Изд-во НГУ, 1980)
অনুযায়ী: Дегтев А. Н. Александр Николаевич
প্রকাশিত: (Новосибирск, Изд-во НГУ, 1980)
Рекурсивные преобразователи информации: учебное пособие для вузов
অনুযায়ী: Анисимов А. В. Анатолий Васильевич
প্রকাশিত: (Киев, Вища школа, 1987)
অনুযায়ী: Анисимов А. В. Анатолий Васильевич
প্রকাশিত: (Киев, Вища школа, 1987)
Математическая логика и теория алгоритмов учебное пособие
অনুযায়ী: Михальченко Г. Е.
প্রকাশিত: (Красноярск, СФУ, 2018)
অনুযায়ী: Михальченко Г. Е.
প্রকাশিত: (Красноярск, СФУ, 2018)
Основы теории алгоритмов учебное пособие
অনুযায়ী: Ланских В. Г.
প্রকাশিত: (Киров, ВятГУ, 2017)
অনুযায়ী: Ланских В. Г.
প্রকাশিত: (Киров, ВятГУ, 2017)
Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
অনুযায়ী: Верещагин Н. К
প্রকাশিত: (Москва, МЦНМО, 1999)
অনুযায়ী: Верещагин Н. К
প্রকাশিত: (Москва, МЦНМО, 1999)
Логические и математические исчисления: учебное пособие
অনুযায়ী: Шиханович Ю. А. Юрий Александрович
প্রকাশিত: (Москва, Научный мир, 2011)
অনুযায়ী: Шиханович Ю. А. Юрий Александрович
প্রকাশিত: (Москва, Научный мир, 2011)
Сложность булевых функций
অনুযায়ী: Нигматуллин Р. Г. Рошаль Габдулхаевич
প্রকাশিত: (Москва, Наука, 1991)
অনুযায়ী: Нигматуллин Р. Г. Рошаль Габдулхаевич
প্রকাশিত: (Москва, Наука, 1991)
Математическая логика и теория алгоритмов: учебное пособие
অনুযায়ী: Набебин А. А. Алексей Александрович
প্রকাশিত: (СПб., Научный мир, 2008)
অনুযায়ী: Набебин А. А. Алексей Александрович
প্রকাশিত: (СПб., Научный мир, 2008)
Математика и семантика. Номинализм как интерпретация математики
অনুযায়ী: Рвачев Л. А. Леонид Алексеевич
প্রকাশিত: (Киев, Наукова думка, 1966)
অনুযায়ী: Рвачев Л. А. Леонид Алексеевич
প্রকাশিত: (Киев, Наукова думка, 1966)
Основы дискретной математики. Ч. 2 учебно-методическое пособие
অনুযায়ী: Гутова С. Г.
প্রকাশিত: (Кемерово, КемГУ, 2019)
অনুযায়ী: Гутова С. Г.
প্রকাশিত: (Кемерово, КемГУ, 2019)
Вычислимое и невычислимое
অনুযায়ী: Манин Ю. И. Юрий Иванович
প্রকাশিত: (Москва, Сов. радио, 1980)
অনুযায়ী: Манин Ю. И. Юрий Иванович
প্রকাশিত: (Москва, Сов. радио, 1980)
Введение в арифметическую теорию автоморфных функций: пер. с англ.
অনুযায়ী: Шимура Г. Горо
প্রকাশিত: (Москва, Мир, 1973)
অনুযায়ী: Шимура Г. Горо
প্রকাশিত: (Москва, Мир, 1973)
Теория алгоритмов: учебное пособие
অনুযায়ী: Кожевникова Г. П. Галина Павловна
প্রকাশিত: (Львов, Вища школа, 1978)
অনুযায়ী: Кожевникова Г. П. Галина Павловна
প্রকাশিত: (Львов, Вища школа, 1978)
Локальная теория степеней неразрешимости
অনুযায়ী: Арсланов М. М. Марат Мирзаевич
প্রকাশিত: (Казань, Изд-во Казанского ун-та, 1987)
অনুযায়ী: Арсланов М. М. Марат Мирзаевич
প্রকাশিত: (Казань, Изд-во Казанского ун-та, 1987)
Т. 1: Элементарные функции; Интегралы и ряды
প্রকাশিত: (2003)
প্রকাশিত: (2003)
Рекурсивно перечислимые множества и сводимости табличного типа
অনুযায়ী: Дегтев А. Н. Александр Николаевич
প্রকাশিত: (Москва, Наука, 1998)
অনুযায়ী: Дегтев А. Н. Александр Николаевич
প্রকাশিত: (Москва, Наука, 1998)
Элементарные функции. Формулы, таблицы, графики
অনুযায়ী: Рыбасенко В. Д. Василий Денисович
প্রকাশিত: (Москва, Наука, 1987)
অনুযায়ী: Рыбасенко В. Д. Василий Денисович
প্রকাশিত: (Москва, Наука, 1987)
Булевы функции: учебное пособие
অনুযায়ী: Быкова С. В. Светлана Васильевна
প্রকাশিত: (Томск, Изд-во ТГУ, 2010)
অনুযায়ী: Быкова С. В. Светлана Васильевна
প্রকাশিত: (Томск, Изд-во ТГУ, 2010)
Математика (алгебра и элементарные функции): учебное пособие
অনুযায়ী: Абрамович М. И. Михаил Ильич
প্রকাশিত: (Москва, Высшая школа, 1976)
অনুযায়ী: Абрамович М. И. Михаил Ильич
প্রকাশিত: (Москва, Высшая школа, 1976)