Изменение пароля

Пользователь	anonymous
Текущий пароль *
Новый пароль *
Подтверждение *

Национальный цифровой ресурс

Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 684511)

⁵¹⁰

Фундаментальные и общие проблемы математики. Основания математики, математическая логика

← назад

^510.5Теория множеств. Конструктивная математика (18)

^510.6Теория алгоритмов и вычисляемые функции. Математическая логика (64)

P А Б В Д З И К Л М Н О П Р С Т У Ф Х Ч Э

Результаты поиска

Нашлось результатов: 153

Свободный доступ

Ограниченный доступ

151

Логика и формы научного мышления

Автор: Ходыкин

Издательство СГАУ

Логика и формы научного мышления. Используемые программы: Adobe Acrobat. Труды сотрудников СГАУ (электрон. версия)

Предпросмотр: Логика и формы научного мышления.pdf (0,2 Мб)

152

Функции и графики

Автор: Осипов

Издательство СГАУ

Функции и графики. Используемые программы: Adobe Acrobat. Труды сотрудников СГАУ (электрон. версия)

Предпросмотр: Функции и графики.pdf (0,2 Мб)

153

Теория алгоритмов. Основные подходы к формализации алгоритма

Автор: Безусова Татьяна Алексеевна

РИО ФГБОУ ВПО «СГПИ»

В пособии рассмотрены различные подходы к формализации понятия алгоритм: машина Тьюринга, алгоритмы Маркова, рекурсивные функции. Пособие ориентировано на студентов 3-4 курсов математических факультетов педагогических вузов, обучающихся по специальности 050201 «Математика и информатика» и 050202 «Информатика и математика».

Предпросмотр: Теория алгоритмов. Основные подходы к формализации алгоритма.pdf (0,6 Мб)


	Как пользоваться каталогом