Тюменская областная научная библиотека

Базы данных

Патентная и нормативно-техническая документация- результаты поиска

Вид поиска

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

Патентная и нормативно-техническая документация

Краеведение

Журналы. Газеты. Статьи

КОЛЛЕКЦИИ

Область поиска

Найдено в других БД:

Электронный каталог книг (4)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>A=Набебин, Алексей Александрович$<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

Вид документа : Однотомное издание
Шифр издания : 22.17/Н 13
Автор(ы) : Набебин, Алексей Александрович
Заглавие : Логика и пролог в дискретной математике
Выходные данные : Москва: МЭИ, 1996
Колич.характеристики :452 с.
ISBN, Цена 5-7046-0162-6:
ГРНТИ : 27.29.25
ББК : 22.17
Экземпляры :КХ (С 4)(1)
Свободны : КХ (С 4)(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 22.12/Н 13
Автор(ы) : Набебин, Алексей Александрович, Кораблин, Юрий Прокофьевич
Заглавие : Математическая логика и теория алгоритмов : учебное пособие для студентов, обучающихся по направлению "Информатика и вычислительная техника" специальности "Программное обеспечение вычислительной техники и автоматизированных систем", а также специальности "Информационные системы и технологии"
Выходные данные : Москва: Научый мир, 2008
Колич.характеристики :343 с.: ил., табл.; 22 см
Примечания : Библиогр.: с. 334
ISBN, Цена 978-5-91522-001-9:
ГРНТИ : 27
ББК : 22.12я73
Предметные рубрики: Математическая логика
Теория алгоритмов-- Математика
Экземпляры :КХ (С 4)(1)
Свободны : КХ (С 4)(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 22.17/Н 13
Автор(ы) : Набебин, Алексей Александрович
Заглавие : Сборник заданий по дискретной математике : учеб. пособие
Выходные данные : Москва: Научный мир, 2009
Колич.характеристики :280 с.: ил.
Примечания : Библиогр.: с. 273
ISBN, Цена 978-5-91522-072-9:
ГРНТИ : 27.45
ББК : 22.174я73
Предметные рубрики: Дискретная математика
Экземпляры :КХ (С 5)(1)
Свободны : КХ (С 5)(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 22/А 18
Автор(ы) : Авдошин, Сергей Михайлович, Набебин, Алексей Александрович
Заглавие : Дискретная математика. Формально-логические системы и языки
Выходные данные : Москва: ДМК Пресс, 2018
Колич.характеристики :389 с.: ил., портр.; 22 см
Разночтения заглавия :Вар. загл.: Формально-логические системы и языки
Примечания : Библиогр.: с. 383-385 (54 назв.). - Сведения об авт. на 4-й с. обл.
ISBN, Цена 978-5-97060-622-3:
ГРНТИ : 27.41.41
ББК : 22.18. LBC/M
Предметные рубрики: Дискретная математика
Аннотация: Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины "Дискретная математика" на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт.
Экземпляры :КХ (С 6)(1)
Свободны : КХ (С 6)(1)
Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)