Электронный каталог

👓
eng|rus
Библиотека Московского Педагогического
Государственного Университета

Адрес: ул. М. Пироговская, д. 1, стр.1
Телефон: 8(499)255-27-57
Часы работы: с 10.00 до 18.00

Поиск :

  • Новые поступления
  • Простой поиск
  • Расширенный поиск

  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)

  • Учебная литература:
    • По дисциплинам
    • По образовательным программам
    • Список дисциплин

  • Статистика поисков
  • Электронная библиотека
  • База выпускных квалификационных работ
  • Электронные ресурсы
  • Помощь

Личный кабинет :


Электронный каталог: Книги в рубрике:

Рубрики
--> математика
----> математическая логика
------> алгоритмическая теория исчислений

Рубрика

Название:
 
алгоритмическая теория исчислений  
Название:
 
нормальные алгоритмы Маркова  
См. также:
22.127  
Название:
 
машина Тьюринга  
См. также:
22.127  
Название:
 
вычислимые функции  
См. также:
22.127  
Название:
 
сложные вычисления  
См. также:
22.127  
Название:
 
теория алгоритмов и вычислимых функций  
См. также:
22.127 кибернетические вопросы 22.181  

Печать списка

Связанные описания:

Отобрать для печати: страницу | инверсия | сброс | печать(0)
<< назад | 1 | 2 | 3 | 4 | 5 | 6 | вперед >>

Нет экз.
Электронный ресурс

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: учебное пособие для вузов
Лань, 2021 г.
ISBN 978-5-8114-8296-2

полный текст


На полку На полку


Нет экз.
Электронный ресурс

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: учебное пособие для вузов
Лань, 2022 г.
ISBN 978-5-507-44852-4

полный текст


На полку На полку


Экз. чит. зала
Книга
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует


На полку На полку


Экз. чит. зала
Книга
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует


На полку На полку


Экз. чит. зала
Книга
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 1995 г.
ISBN 5-02-014844-X


На полку На полку


Экз. чит. зала
Книга
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2004 г.
ISBN 5-9221-0026-2


На полку На полку


Экз. чит. зала
Книга
Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2002 г.
ISBN 5-9221-0026-2


На полку На полку


Доступно
 1 из 1
Книга
Горбатов, Вячеслав Афанасьевич
Задачник по математической логике: Учебное пособие
Серия: Каф. вычисл. математики
МЭИ, 1972 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 3
Книга
Игошин, Владимир Иванович
Задачник-практикум по математической логике: Учебное пособие для студентов-заочников физико-математических факультетов педагогических институтов
Просвещение, 1986 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Книга (аналит. описание)
Макаренков, Юрий Алексеевич
Из опыта работы спецсеминара по изучению алгоритмов на факультативных занятиях в средней школе
б.г.
ISBN отсутствует


На полку На полку


Доступно
 6 из 9
Книга
Матросов, Виктор Леонидович
Избранные статьи и доклады
Магистр, 1996 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Статья
Белоцерковская, Ирина Ефомовна
Изучение основ алгоритмизации на примере машины Тьюринга с применением игровой технологии
б.г.
ISBN отсутствует


На полку На полку


Электронный ресурс (аналит. описание)
Гончаров, Сергей Севостьянович
Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей ...
б.г.
ISBN отсутствует

полный текст


На полку На полку


Доступно
 3 из 31
Книга
Королев, Лев Николаевич
Информатика: Введ. в компьютер. науки: Учеб. для вузов
Высшая школа, 2003 г.
ISBN 5-06-004272-3


Заказать Заказать

На полку На полку


Доступно
 1 из 9
Книга
Матросов, Виктор Леонидович
Информатика: Учеб.-метод.комплект по специальности 030100
Серия: Педагогический университет
Флинта, Наука, 2002 г.
ISBN 5-89349-462-8, 5-02-002959-9


Заказать Заказать

На полку На полку


Доступно
 2 из 2
Книга

Исследования по теории алгоритмов и математической логике
Наука, 1979 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга

Исследования по теории алгоритмов и математической логике. Т. 1: Сборник работ
ВЦ АН СССР, 1973 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга

Исследования по теории алгоритмов и математической логике. Т. 2: Сборник работ
ВЦ АН СССР, 1976 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Книга (аналит. описание)
Мирзоев, Махмашариф Сайфович
Исследования понятия предикатов с помощью машины Тьюринга
б.г.
ISBN отсутствует


На полку На полку


Доступно
 1 из 3
Книга
Мозговой, Максим Владимирович
Классика программирования: алгоритмы, языки, автоматы, компиляторы: Практ. подход
Серия: Секреты мастерства
Наука и техника, 2006 г.
ISBN 5-94387-224-8


Заказать Заказать

На полку На полку


Экз. чит. зала
Электронный ресурс
Матросов, Виктор Леонидович
Классы рекурсивных функций по сложности вычислений аналитические характеристики сигнализирующих: Автореферат диссертации канд. физ.-мат. наук, Специальность 01.01.06 - математическая логика
1975 г.
ISBN отсутствует

полный текст


На полку На полку


Книга (аналит. описание)
Гросс, М.
Комбинаторные системы и машины Тьюринга: неразрешимые проблемы [Глава 6]
б.г.
ISBN отсутствует


На полку На полку


Электронный ресурс (аналит. описание)
Игошин, Владимир Иванович
Курс математической логики для будущих учителей математики и информатики с точки зрения теории ал...
б.г.
ISBN отсутствует

полный текст


На полку На полку


Доступно
 1 из 2
Книга
Абрамов, Сергей Алексеевич
Лекции о сложности алгоритмов: Учеб. пособие для вузов по специальности и направлению "Приклад. математика и информатика" и по направлению "Информ. технологии"
Серия: Современные лекционные курсы
МЦНМО, 2009 г.
ISBN 978-5-94057-433-0


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 1: Начала теории множеств
Серия: Современные лекционные курсы
МЦНМО, 2017 г.
ISBN 978-5-4439-0943-1


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 2: Языки исчисления
Серия: Современные лекционные курсы
МЦНМО, 2017 г.
ISBN 978-5-4439-0944-8


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 3: Вычислимые функции
Серия: Современные лекционные курсы
МЦНМО, 2012 г.
ISBN 978-5-4439-0014-8


Заказать Заказать

На полку На полку


Статья
Семенов, Алексей Львович
Логические теории одноместных функций на натуральном ряде
б.г.
ISBN отсутствует


На полку На полку


Экз. чит. зала
Книга
Стойлова, Любовь Петровна
Математика. Алгоритмы и их свойства: Методические рекомендации к самостоятельной работе над курсом математики, Для студентов факультета начальных классов педагогических институтов и педагогических ...
Academia, 1994 г.
ISBN отсутствует


На полку На полку


Экз. чит. зала
Книга
Колмогоров, Андрей Николаевич
Математическая логика: Доп. главы
МГУ, 1984 г.
ISBN отсутствует


На полку На полку

© Все права защищены ООО "Компания Либэр" , 2009 - 2026  v.20.203