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