Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
------> алгоритмическая теория исчислений
Печать списка
Доступно
2 из 8
Экз. чит. зала
Доступно
7 из 8
Экз. чит. зала
Доступно
4 из 7
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Доступно
3 из 3
Экз. чит. зала
Экз. чит. зала
Нет экз.
Нет экз.
Доступно
1 из 2
Доступно
2 из 56
Нет экз.
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
2 из 3
Доступно
1 из 1
Доступно
4 из 6
Доступно
1 из 1
--> математика
----> математическая логика
------> алгоритмическая теория исчислений
Рубрика
- Название:
- алгоритмическая теория исчислений
- Название:
- нормальные алгоритмы Маркова
- См. также:
- 22.127
- Название:
- машина Тьюринга
- См. также:
- 22.127
- Название:
- вычислимые функции
- См. также:
- 22.127
- Название:
- сложные вычисления
- См. также:
- 22.127
- Название:
- теория алгоритмов и вычислимых функций
- См. также:
- 22.127 кибернетические вопросы 22.181
Печать списка
Связанные описания:
Доступно
2 из 8
Книга
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для мат. спец. вузов]
Наука, 1987 г.
ISBN отсутствует
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для мат. спец. вузов]
Наука, 1987 г.
ISBN отсутствует
Заказать 
На полку Экз. чит. зала
Книга
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для вузов]
Наука, 1979 г.
ISBN отсутствует
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для вузов]
Наука, 1979 г.
ISBN отсутствует
Доступно
7 из 8
Книга
Гладкий, Алексей Всеволодович
Математическая логика: [Учеб. пособие для ун-тов и пед. ин-тов]
РГГУ, 1998 г.
ISBN 5-7281-0025-2
Гладкий, Алексей Всеволодович
Математическая логика: [Учеб. пособие для ун-тов и пед. ин-тов]
РГГУ, 1998 г.
ISBN 5-7281-0025-2
Экз. чит. зала
Книга
Ершов, Юрий Леонидович
Математическая логика: Учеб. пособие
Лань, Краснодар, 2004 г.
ISBN 5-8114-0533-2
Ершов, Юрий Леонидович
Математическая логика: Учеб. пособие
Лань, Краснодар, 2004 г.
ISBN 5-8114-0533-2
Доступно
4 из 7
Книга
Колмогоров, Андрей Николаевич
Математическая логика: учебное пособие для математических специальностей вузов
УРСС, 2004 г.
ISBN 5-354-00389-X
Колмогоров, Андрей Николаевич
Математическая логика: учебное пособие для математических специальностей вузов
УРСС, 2004 г.
ISBN 5-354-00389-X
Доступно
1 из 1
Книга
Игошин, Владимир Иванович
Математическая логика в системе подготовки учителей математики: Моногр.
СЛОВО, 2002 г.
ISBN 5-85571-037-8
Игошин, Владимир Иванович
Математическая логика в системе подготовки учителей математики: Моногр.
СЛОВО, 2002 г.
ISBN 5-85571-037-8
Экз. чит. зала
Книга
Математическая логика и алгебра: Сб. ст.
Наука, МАИК Наука/Интерпериодика, 2003 г.
ISBN 5-02-032604-6
Математическая логика и алгебра: Сб. ст.
Наука, МАИК Наука/Интерпериодика, 2003 г.
ISBN 5-02-032604-6
Экз. чит. зала
Книга
Игошин, Владимир Иванович
Математическая логика и теория алгоритмов: Учеб.пособие для студентов физ.-мат. специальностей пед. ин-тов
Изд-во Саратовского ун-та, 1991 г.
ISBN 5-292-00259-3
Игошин, Владимир Иванович
Математическая логика и теория алгоритмов: Учеб.пособие для студентов физ.-мат. специальностей пед. ин-тов
Изд-во Саратовского ун-та, 1991 г.
ISBN 5-292-00259-3
Доступно
3 из 3
Экз. чит. зала
Книга
Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов: Учеб. по направлениям 654600 Информатика и вычислит.техника и др.
ISBN 5-16-001975-8, 5-7782-0458-2
Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов: Учеб. по направлениям 654600 Информатика и вычислит.техника и др.
Серия: Высшее образование, Высшее образование
ИНФРА-М, Изд-во НГТУ, 2004 г.ISBN 5-16-001975-8, 5-7782-0458-2
Экз. чит. зала
Книга
Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов: учебник и практикум для академического бакалавриата
ISBN 978-5-9916-8277-0
Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов: учебник и практикум для академического бакалавриата
Серия: Бакалавр. Академический курс
Юрайт, 2016 г.ISBN 978-5-9916-8277-0
Нет экз.
Электронный ресурс
Вайнштейн, Юлия Владимировна
Математическая логика и теория алгоритмов: Учебное пособие
СФУ, 2019 г.
ISBN 978-5-7638-4076-6
Вайнштейн, Юлия Владимировна
Математическая логика и теория алгоритмов: Учебное пособие
СФУ, 2019 г.
ISBN 978-5-7638-4076-6
Нет экз.
Электронный ресурс
Михальченко, Галина Ефимовна
Математическая логика и теория алгоритмов: Учебное пособие
СФУ, 2018 г.
ISBN 978-5-7638-3932-6
Михальченко, Галина Ефимовна
Математическая логика и теория алгоритмов: Учебное пособие
СФУ, 2018 г.
ISBN 978-5-7638-3932-6
Доступно
1 из 2
Книга
Игошин, Владимир Иванович
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности "Математика"
Academia, 2010 г.
ISBN 978-5-7695-7045-2
Игошин, Владимир Иванович
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности "Математика"
Academia, 2010 г.
ISBN 978-5-7695-7045-2
Доступно
2 из 56
Книга
Игошин, Владимир Иванович
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности 032100 "Математика"
Academia, 2004 г.
ISBN 5-7695-1363-2
Игошин, Владимир Иванович
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности 032100 "Математика"
Academia, 2004 г.
ISBN 5-7695-1363-2
Нет экз.
Электронный ресурс
Геут, Кристина Леонидовна
Математическая логика и теория алгоритмов: Учебно-методическое-пособие
УрГУПС, 2017 г.
ISBN отсутствует
Геут, Кристина Леонидовна
Математическая логика и теория алгоритмов: Учебно-методическое-пособие
УрГУПС, 2017 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Математическая логика и теория алгоритмов. Для специальности "Математика": Программы пед. вузов
РИЦ Альфа, 2001 г.
ISBN отсутствует
Математическая логика и теория алгоритмов. Для специальности "Математика": Программы пед. вузов
РИЦ Альфа, 2001 г.
ISBN отсутствует
Экз. чит. зала
Книга
Пентус, Анна Евгеньевна
Математическая теория формальных языков : [Учеб. пособие]
Интернет-Университет информационных технологий, Бином. Лаборатория знаний, 2006 г.
ISBN 5-94774-512-7
Пентус, Анна Евгеньевна
Математическая теория формальных языков : [Учеб. пособие]
Интернет-Университет информационных технологий, Бином. Лаборатория знаний, 2006 г.
ISBN 5-94774-512-7
Доступно
1 из 1
Книга
Математические методы построения и анализа алгоритмов: Сборник трудов
Наука. Ленингр. отд-ние, 1990 г.
ISBN 5-02-024464-3
Математические методы построения и анализа алгоритмов: Сборник трудов
Наука. Ленингр. отд-ние, 1990 г.
ISBN 5-02-024464-3
Доступно
2 из 3
Книга
Андреева, Елена Владимировна
Математические основы информатики: Учеб. пособие для электив. курсов по информатике для 10-11 кл. общеобразоват. учреждений
ISBN 978-5-94774-658-7
Андреева, Елена Владимировна
Математические основы информатики: Учеб. пособие для электив. курсов по информатике для 10-11 кл. общеобразоват. учреждений
Серия: Элективный курс. Математика
Бином. Лаборатория знаний, 2007 г.ISBN 978-5-94774-658-7
Доступно
1 из 1
Книга
Фалина, Ирина Николаевна
Машина Тьюринга: Теоретический минимум, методические материалы, задачи
Чистые пруды, 2009 г.
ISBN 978-5-9667-0612-8
Фалина, Ирина Николаевна
Машина Тьюринга: Теоретический минимум, методические материалы, задачи
Чистые пруды, 2009 г.
ISBN 978-5-9667-0612-8
Доступно
4 из 6
Книга (аналит. описание)
Семочкин, Александр Николаевич
Некоторые комбинаторные характеристики задач распознавания с дополнительной информацией монотонности
б.г.
ISBN отсутствует
Семочкин, Александр Николаевич
Некоторые комбинаторные характеристики задач распознавания с дополнительной информацией монотонности
б.г.
ISBN отсутствует
Книга (аналит. описание)
Цинман, Леонид Львович
Некоторые примеры и теоремы из теории рекурсивных функций
б.г.
ISBN отсутствует
Цинман, Леонид Львович
Некоторые примеры и теоремы из теории рекурсивных функций
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Сарапас, Владимир Викторович
О классификации элементов временных рядов
б.г.
ISBN отсутствует
Сарапас, Владимир Викторович
О классификации элементов временных рядов
б.г.
ISBN отсутствует
Книга (аналит. описание)
Сарапас, Владимир Викторович
О классификации элементов временных рядов
б.г.
ISBN отсутствует
Сарапас, Владимир Викторович
О классификации элементов временных рядов
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Макаренков, Юрий Алексеевич
О методических особенностях преподавания курсов теории алгоритмов и математической логики в педвузе
б.г.
ISBN отсутствует
Макаренков, Юрий Алексеевич
О методических особенностях преподавания курсов теории алгоритмов и математической логики в педвузе
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Стукачев, Алексей Ильич
О свойствах sSigma-сводимости
б.г.
ISBN отсутствует
Стукачев, Алексей Ильич
О свойствах sSigma-сводимости
б.г.
ISBN отсутствует
Доступно
1 из 1
Книга (аналит. описание)
Макаренков, Юрий Алексеевич
Об интуитивном понятии алгоритма в курсах теории алгоритмов и математической логики
б.г.
ISBN отсутствует
Макаренков, Юрий Алексеевич
Об интуитивном понятии алгоритма в курсах теории алгоритмов и математической логики
б.г.
ISBN отсутствует