На сайт университета

Базы данных

Основная база библиотеки ФГБОУ ВО "ГУМРФ имени адмирала С.О. Макарова" - результаты поиска

Вид поиска
Основная база библиотеки ФГБОУ ВО "ГУМРФ имени адмирала С.О. Макарова"
Сборники научных трудов; Материалы конференций.
Периодические издания (газеты, журналы)
Фонд редкой книги; Морское наследие
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=математическая логика<.>)
Общее количество найденных документов : 17
Показаны документы с 1 по 10
 1-10    11-17 
1.

Ястребов М. Ю. Введение в математическую логику/М. Ю. Ястребов. - 2002
2.

Успенский В. А. Вводный курс математической логики/В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2004
3.

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов/М. М. Глухов [и др.]. - 2008
4.

Лавров И. А. Задачи по теории множеств, математической логике и теории алгоритмов/И. А. Лавров, Л. Л. Максимова. - 2003
5.

Бахтияров К. И. Логика с точки зрения информатики./К. И. Бахтияров. - 2002
6.

Петров Ю.А. Логические проблемы абстракций бесконечности и осуществимости/Ю.А. Петров. - 2004
7.

Логические системы управления электропривода/А. В. Саушев [и др.]. - 2021
8.

Кобелева А. С. Математика. Введение в математическую логику/А. С. Кобелева. - 2007
9.

Нырков А. П. Математическая логика (Алгебра высказываний)/А. П. Нырков, Е. В. Морозова. - 2006
10.

Лихтарников Л.М. Математическая логика. /Л. М. Лихтарников, Т. Г. Сукачева. - 2008
 1-10    11-17 
 
Стандартный
Расширенный
Профессиональный
По словарю
УДК-навигатор
Инструкция по видам поиска
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)

Яндекс.Метрика