Авторизация
 

Базы данных


Основная база библиотеки - результаты поиска

Вид поиска
Основная база библиотеки
База данных нормативных документов
Персоналии ученых-профессоров ТУСУРа
Календарь знаменательных дат
Электронные книги ЛитРес
ЭБС «Лань»
ЭБС «Юрайт»
Область поиска
Формат представления найденных документов:
полный для рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=ДОКАЗУЕМОСТЬ<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
Лихтарников, Леонид Моисеевич. Математическая логика. Курс лекций. Задачник-практикум и решения [Электр.ресурс] : учебное пособие. - СПб. : Лань , 2021 on-line ( экз. )
2.
Иванов, Владимир Михайлович. Интеллектуальные системы [Электр.ресурс] : учебное пособие для вузов. - М. : Юрайт , 2020 on-line ( экз. )
3.
Любецкий, Василий Александрович. Элементарная математика с точки зрения высшей. Основные понятия [Электр.ресурс] : учебное пособие. - М. : Юрайт , 2019 on-line ( экз. )
 
Стандартный
Расширенный
Профи
По словарю
Статистика
за 18.06.2024
Число запросов 27618
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)