Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
------> алгоритмическая теория исчислений
Печать списка
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
Доступно
2 из 3
Доступно
6 из 9
Доступно
3 из 31
Доступно
1 из 9
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 3
Экз. чит. зала
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Доступно
2 из 8
Экз. чит. зала
--> математика
----> математическая логика
------> алгоритмическая теория исчислений
Рубрика
- Название:
- алгоритмическая теория исчислений
- Название:
- нормальные алгоритмы Маркова
- См. также:
- 22.127
- Название:
- машина Тьюринга
- См. также:
- 22.127
- Название:
- вычислимые функции
- См. также:
- 22.127
- Название:
- сложные вычисления
- См. также:
- 22.127
- Название:
- теория алгоритмов и вычислимых функций
- См. также:
- 22.127 кибернетические вопросы 22.181
Печать списка
Связанные описания:
Экз. чит. зала
Книга
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует
Экз. чит. зала
Книга
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
Экз. чит. зала
Книга
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 1995 г.
ISBN 5-02-014844-X
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 1995 г.
ISBN 5-02-014844-X
Экз. чит. зала
Книга
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2004 г.
ISBN 5-9221-0026-2
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2004 г.
ISBN 5-9221-0026-2
Экз. чит. зала
Книга
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2002 г.
ISBN 5-9221-0026-2
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2002 г.
ISBN 5-9221-0026-2
Доступно
1 из 1
Книга
Горбатов, Вячеслав Афанасьевич
Задачник по математической логике: Учебное пособие
ISBN отсутствует
Горбатов, Вячеслав Афанасьевич
Задачник по математической логике: Учебное пособие
Серия: Каф. вычисл. математики
МЭИ, 1972 г.ISBN отсутствует
Доступно
2 из 3
Книга
Игошин, Владимир Иванович
Задачник-практикум по математической логике: Учебное пособие для студентов-заочников физико-математических факультетов педагогических институтов
Просвещение, 1986 г.
ISBN отсутствует
Игошин, Владимир Иванович
Задачник-практикум по математической логике: Учебное пособие для студентов-заочников физико-математических факультетов педагогических институтов
Просвещение, 1986 г.
ISBN отсутствует
Книга (аналит. описание)
Макаренков, Юрий Алексеевич
Из опыта работы спецсеминара по изучению алгоритмов на факультативных занятиях в средней школе
б.г.
ISBN отсутствует
Макаренков, Юрий Алексеевич
Из опыта работы спецсеминара по изучению алгоритмов на факультативных занятиях в средней школе
б.г.
ISBN отсутствует
Доступно
6 из 9
Электронный ресурс (аналит. описание)
Гончаров, Сергей Севостьянович
Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей ...
б.г.
ISBN отсутствует
Гончаров, Сергей Севостьянович
Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей ...
б.г.
ISBN отсутствует
Доступно
3 из 31
Книга
Королев, Лев Николаевич
Информатика: Введ. в компьютер. науки: Учеб. для вузов
Высшая школа, 2003 г.
ISBN 5-06-004272-3
Королев, Лев Николаевич
Информатика: Введ. в компьютер. науки: Учеб. для вузов
Высшая школа, 2003 г.
ISBN 5-06-004272-3
Доступно
1 из 9
Книга
Матросов, Виктор Леонидович
Информатика: Учеб.-метод.комплект по специальности 030100
ISBN 5-89349-462-8, 5-02-002959-9
Матросов, Виктор Леонидович
Информатика: Учеб.-метод.комплект по специальности 030100
Серия: Педагогический университет
Флинта, Наука, 2002 г.ISBN 5-89349-462-8, 5-02-002959-9
Доступно
2 из 2
Доступно
1 из 1
Книга
Исследования по теории алгоритмов и математической логике. Т. 1: Сборник работ
ВЦ АН СССР, 1973 г.
ISBN отсутствует
Исследования по теории алгоритмов и математической логике. Т. 1: Сборник работ
ВЦ АН СССР, 1973 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Исследования по теории алгоритмов и математической логике. Т. 2: Сборник работ
ВЦ АН СССР, 1976 г.
ISBN отсутствует
Исследования по теории алгоритмов и математической логике. Т. 2: Сборник работ
ВЦ АН СССР, 1976 г.
ISBN отсутствует
Книга (аналит. описание)
Мирзоев, Махмашариф Сайфович
Исследования понятия предикатов с помощью машины Тьюринга
б.г.
ISBN отсутствует
Мирзоев, Махмашариф Сайфович
Исследования понятия предикатов с помощью машины Тьюринга
б.г.
ISBN отсутствует
Доступно
1 из 3
Книга
Мозговой, Максим Владимирович
Классика программирования: алгоритмы, языки, автоматы, компиляторы: Практ. подход
ISBN 5-94387-224-8
Мозговой, Максим Владимирович
Классика программирования: алгоритмы, языки, автоматы, компиляторы: Практ. подход
Серия: Секреты мастерства
Наука и техника, 2006 г.ISBN 5-94387-224-8
Экз. чит. зала
Книга (аналит. описание)
Гросс, М.
Комбинаторные системы и машины Тьюринга: неразрешимые проблемы [Глава 6]
б.г.
ISBN отсутствует
Гросс, М.
Комбинаторные системы и машины Тьюринга: неразрешимые проблемы [Глава 6]
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Игошин, Владимир Иванович
Курс математической логики для будущих учителей математики и информатики с точки зрения теории ал...
б.г.
ISBN отсутствует
Игошин, Владимир Иванович
Курс математической логики для будущих учителей математики и информатики с точки зрения теории ал...
б.г.
ISBN отсутствует
Доступно
1 из 2
Доступно
1 из 1
Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 1: Начала теории множеств
ISBN 978-5-4439-0943-1
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 1: Начала теории множеств
Серия: Современные лекционные курсы
МЦНМО, 2017 г.ISBN 978-5-4439-0943-1
Доступно
1 из 1
Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 2: Языки исчисления
ISBN 978-5-4439-0944-8
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 2: Языки исчисления
Серия: Современные лекционные курсы
МЦНМО, 2017 г.ISBN 978-5-4439-0944-8
Доступно
1 из 1
Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 3: Вычислимые функции
ISBN 978-5-4439-0014-8
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 3: Вычислимые функции
Серия: Современные лекционные курсы
МЦНМО, 2012 г.ISBN 978-5-4439-0014-8
Статья
Семенов, Алексей Львович
Логические теории одноместных функций на натуральном ряде
б.г.
ISBN отсутствует
Семенов, Алексей Львович
Логические теории одноместных функций на натуральном ряде
б.г.
ISBN отсутствует
Экз. чит. зала
Экз. чит. зала
Доступно
2 из 8
Книга
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для мат. спец. вузов]
Наука, 1987 г.
ISBN отсутствует
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для мат. спец. вузов]
Наука, 1987 г.
ISBN отсутствует
Экз. чит. зала
Книга
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для вузов]
Наука, 1979 г.
ISBN отсутствует
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для вузов]
Наука, 1979 г.
ISBN отсутствует