Авторизация
 

Базы данных


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

Вид поиска
Основная база библиотеки
База данных нормативных документов
Персоналии ученых-профессоров ТУСУРа
Календарь знаменательных дат
Электронные книги ЛитРес
ЭБС «Лань»
ЭБС «Юрайт»
Область поиска
 Найдено в других БД:Основная база библиотеки (5)
Формат представления найденных документов:
полный для рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=вычислимость<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.
Зюзьков, Валентин Михайлович. Введение в математическую логику [Электр.ресурс] : учебное пособие. - СПб. : Лань , 2018 on-line ( экз. )
2.
Машины Тьюринга и рекурсивные функции : научное издание. - М. : Мир , 1972. - 264 с. ( 2 экз. )
3.
 Искусственный интеллект и принятие решений. - Журнал, 2016г. N 1 (Введено оглавление) ( 1 экз. )
4.
Клини, Стивен Коул. Математическая логика : Пер. англ.. - М. : КомКнига . - М. : УРСС , 20072007. - 480[2] с. ( 20 экз. )
5.
Вычислительные системы [] : Сборник научных трудов / Российская Академия наук. Сибирское отделение, Институт математики. 156 : Структурные алгоритмические свойства вычислимости. - Новосибирск , 1996. - 153 с. ( 1 экз. )
 
Стандартный
Расширенный
Профи
По словарю
Статистика
за 16.07.2024
Число запросов 69366
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)