Полное описание
6+
Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов / Н. К. Верещагин, А. Шень. - Москва : Изд-во МЦНМО, 20 - . - (Современные лекционные курсы). - Загл. обл. : Математическая логика и теория алгоритмов. - Авт. на обл. не указаны. - Текст : непосредственный.
Ч. 3(2012) : Вычислимые функции. - 4-е изд., испр. - 2012. - 158 с. - Библиогр.: с. 150-151 (12 назв.). - Предм. указ.: с.152-156. - 1000 экз. -
ISBN 978-5-4439-0014-8
Рубрики: Вычислимые функции
Доп. точки доступа: Шень, Александр
Экз-ры полностью 419d2bf280d5d3f4e09168d1059fc344 Нет сведений об экземплярах Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/59435/3(2012))
Шифр в сводном ЭК: 419d2bf280d5d3f4e09168d1059fc344
Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 2(2008) : Языки и исчисления, 2008. - 288 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2008) : Вычислимые функции, 2008. - 189 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2008) : Начала теории множеств, 2008. - 127 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2012) : Начала теории множеств, 2012. - 112 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2012) : Вычислимые функции, 2012. - 158 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 2 : Языки и исчисления, 2002. - 285 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3 : Вычислимые функции, 2002. - 189 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1 : Начала теории множеств, 2002. - 121 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 2(2012) : Языки и исчисления, 2012. - 240 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2020) : Начала теории множеств, 2020. - 112 с. - Текст : непосредственный. Шень, Александр. Программирование. Теоремы и задачи / А. Шень, 2021. - 319 с. - Текст (визуальный) : непосредственный. Лекции по дискретной математике / М. Н. Вялый, В. В. Подольский, А. А. Рубцов [и др.], 2021. - 494 с. - Текст (визуальный) : непосредственный. Успенский, Владимир Андреевич. Вводный курс математической логики : Учебное пособие / В. А. Успенский, 2007. - 128 с. (Введено оглавление). - Текст : электронный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2023) : Начала теории множеств, 2023. - 112 с. - Текст : непосредственный. Шень, Александр. Программирование. Теоремы и задачи / А. Шень, 2024. - 319 с. - Текст (визуальный) : непосредственный. Гельфанд, Израиль Моисеевич. Алгебра / И. М. Гельфанд, А. Шень, 2024. - 144 с. - Текст (визуальный) : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2024) : Начала теории множеств, 2024. - 112 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 2(2025) : Языки и исчисления, 2025. - 240 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 1(2025) : Начала теории множеств, 2025. - 112 с. - Текст : непосредственный. Шень, Александр. Игры и стратегии с точки зрения математики / А. Шень, 2025. - 56 с. - Текст (визуальный) : непосредственный. Показать все результаты Шубин М.А. Лекции об уравнениях математической физики / М. А. Шубин, 2003. - 302 с. - Текст : непосредственный. Болибрух А.А. Фуксовы дифференциальные уравнения и голоморфные расслоения / А. А. Болибрух, 2000. - 119 с. - Текст : непосредственный. Белавин А.А. Лекции по теоретической физике / А. А. Белавин, А. Г. Кулаков, Г. М. Тарнопольский, 2015. - 251 с. - Текст : непосредственный. Верещагин Н.К. Начала теории множеств / Н. К. Верещагин, А. Шень, 1999. - 127 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Горчинский С.О. Неразветвленная группа Брауэра и ее приложения : учебник / С. О. Горчинский, К. А. Шрамов, 2018. - 200 с. - Текст : непосредственный. Гусейн-Заде С.М. Диффенциальная геометрия : Лекции для студентов III курса, осенний семестр 1999-2000 уч.г. / С.М.Гусейн-Заде, 2001. - 74 с. - Текст : непосредственный. Белов Ю.А. Лекции по математической логике и теории алгоритмов : учеб. пособие / Ю. А. Белов, В. А. Соколов, 2012. - 138 с. - Текст : непосредственный. Лебедев В.В. Флуктуационные эффекты в макрофизике / В.В. Лебедев, 2004. - 253 с. - Текст : непосредственный. Хелемский А.Я. Лекции по функциональному анализу : Учебник / А.Я. Хелемский, 2004. - 552 с. - Текст : непосредственный. Хелемский А.Я. Лекции по функциональному анализу : учебник / А. Я. Хелемский, 2014. - 560 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 2(2008) : Языки и исчисления, 2008. - 288 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2008) : Вычислимые функции, 2008. - 189 с. - Текст : непосредственный. Показать все результаты Романов В.Ф. Математическая логика и теория алгоритмов / В. Ф. Романов, 2003. - 23 с. - Текст : непосредственный. Гурова Л.М. Математическая логика и теория алгоритмов / Л. М. Гурова, Л. М. Шурова, Е. В. Зайцева, 2006. - 262 с. (Введено оглавление). - Текст : электронный. Герасимов А.С. Курс математической логики и теории вычислимости : учеб. пособие / А. С. Герасимов, 2011. - 284 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2008) : Вычислимые функции, 2008. - 189 с. - Текст : непосредственный. Рябцева Н.Н. Математическая логика и теория алгоритмов : учеб. пособие / Н. Н. Рябцева, Е. И. Омельченко, 2016. - 114 с. - Текст : непосредственный. Ершов Ю.Л. Определимость и вычислимость / Ю.Л.Ершов, 1996. - 286 c. - Текст : непосредственный. Горюшкин, А. П. Математическая логика и теория алгоритмов : учеб. пособие : в 2-х ч. Ч. 1, 2014. - 164 с. - Текст : непосредственный. Ершов Ю.Л. Определимость и вычислимость / Ю.Л.Ершов, 2000. - 318 с. - Текст : непосредственный. Горюшкин, А. П. Математическая логика и теория алгоритмов : учеб. пособие : в 2 ч. Ч. 2, 2014. - 111 с. - Текст : непосредственный. Гринченков Д.В. Математическая логика и теория алгоритмов для программистов : Учеб. пособие / Д. В. Гринченков, С. И. Потоцкий, 2010. - 206 с. - Текст : электронный. Герасимов А.С. Курс математической логики и теории вычислимости : учеб. пособие / А. С. Герасимов, 2014. - 409 с. - Текст : непосредственный. Набебин А.А. Математическая логика и теория алгоритмов : Учеб. пособие / А. А. Набебин, Ю. П. Кораблин, 2008. - 343 с. - Текст : непосредственный. Герасимов А.С. Курс математической логики и теории вычислимости : Учеб. пособие / А. С. Герасимов, 2009. - 234 с. - Текст : непосредственный. Деменков Е.А. Верхние и нижние оценки на схемную сложность явно заданных булевых функций : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / Е. А. Деменков, 2013. - 10 с. - Текст : непосредственный. Корячко В.П. Математическая логика и теория алгоритмов : учеб. пособие / В. П. Корячко, А. В. Бакулев, М. А. Бакулева, 2012. - 135 с. - Текст : непосредственный. Borger E. Computability, complexity, logic / E.B@:orger, 1989. - XX, 592 p. 592 p. - Текст : непосредственный. Parallel Processing Letters. - Журнал выходит с 1991г. - Текст : электронный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2012) : Вычислимые функции, 2012. - 158 с. - Текст : непосредственный. Шапорев С.Д. Математическая логика и теория алгоритмов : Учеб. пособие для студентов вузов, обучающихся по спец. 220200 "Автоматизированные системы обработки информации и управления", 654600 "Информатика и вычислительная техника" / С.Д.Шапорев, 2004. - 227 с. - Текст : непосредственный. Витер Д.А. Примитивно рекурсивная реализуемость и конструктивная теория моделей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Д. А. Витер, 2002. - 12 с. - Текст : непосредственный. Показать все результаты Дегтев А.Н. Рекурсивно перечислимые множества и сводимости табличного типа / А. Н. Дегтев, 1998. - 176 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2008) : Вычислимые функции, 2008. - 189 с. - Текст : непосредственный. Марченков С.С. Элементарные рекурсивные функции / С.С.Марченков, 2003. - 112 с. - Текст : непосредственный. Волков С.А. Конечные базисы по суперпозиции в классах элементарных рекурсивных функций : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / С. А. Волков, 2009. - 16 с. - Текст : непосредственный. Марченков С.С. Классы элементарных рекурсивных функций / С. С. Марченков, 2017. - 136 с. - Текст : электронный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2012) : Вычислимые функции, 2012. - 158 с. - Текст : непосредственный. Соар Р.И. Вычислимо перечислимые множества и степени. Изучение вычислимых функций и вычислимо перечислимых множеств / Р.И.Соар;Пер.с англ.под ред.М.М.Арсланова, 2000. - 576 с. - Текст : непосредственный. Корольков Ю.Д. Вычислимые семейства общерекурсивных функций : Учеб. пособие / Ю.Д.Корольков, 1992. - 70 с. - Текст : непосредственный. Марченков С.С. Рекурсивные функции / С. С. Марченков, 2007. - 62 с. - Текст : непосредственный. Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3 : Вычислимые функции, 2002. - 189 с. - Текст : непосредственный. Марченков, Сергей Серафимович. Избранные главы дискретной математики : булева функция, конечный автомат, машина Тьюринга, рекурсивная функция: [учебное пособие] / С. С. Марченков, 2023. - 186 с. - Текст (визуальный) : непосредственный. Глотина, Ирина Михайловна. Математическая логика и теория алгоритмов : учебное пособие / И. М. Глотина, 2025. - 163 с. - Текст (визуальный) : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
