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

Базы данных

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

Вид поиска

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

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

Краеведение

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

КОЛЛЕКЦИИ

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

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

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

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

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

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

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

   22.17
   Н 13

    Набебин, Алексей Александрович.
    Логика и пролог в дискретной математике / А. А. Набебин. - Москва : МЭИ, 1996. - 452 с. - ISBN 5-7046-0162-6 : Б. ц.

ГРНТИ

27.29.25

ББК 22.17

Держатели документа:
Тюменская ОНБ
Экземпляры всего: 1
КХ (С 4) (1)
Свободны: КХ (С 4) (1)
Найти похожие

   22.12
   Н 13

    Набебин, Алексей Александрович.
    Математическая логика и теория алгоритмов : учебное пособие для студентов, обучающихся по направлению "Информатика и вычислительная техника" специальности "Программное обеспечение вычислительной техники и автоматизированных систем", а также специальности "Информационные системы и технологии" / А. А. Набебин, Ю. П. Кораблин. - Москва : Научый мир, 2008. - 343 с. : ил., табл. ; 22 см. - Библиогр.: с. 334. - ISBN 978-5-91522-001-9 : 310.09 р.

ГРНТИ

ББК 22.12я73

Рубрики:
Математическая логика -- Учебные издания для высших учебных заведений
Теория алгоритмов -- Математика -- Учебные издания для высших учебных заведений

Кл.слова (ненормированные): Основания математики -- Теория алгоритмов -- Математическая логика

Держатели документа:
Тюменская ОНБ

Доп. точки доступа:
Кораблин, Юрий Прокофьевич

Экземпляры всего: 1
КХ (С 4) (1)
Свободны: КХ (С 4) (1)
Найти похожие

   22.17
   Н 13

    Набебин, Алексей Александрович.
    Сборник заданий по дискретной математике : учеб. пособие / А. А. Набебин. - Москва : Научный мир, 2009. - 280 с. : ил. - Библиогр.: с. 273. - ISBN 978-5-91522-072-9 : 215.90 р.

ГРНТИ

27.45

ББК 22.174я73

Рубрики:
Дискретная математика -- Учебные издания для высших учебных заведений

Держатели документа:
Тюменская ОНБ
Экземпляры всего: 1
КХ (С 5) (1)
Свободны: КХ (С 5) (1)
Найти похожие

   22
   А 18

    Авдошин, Сергей Михайлович.
    Дискретная математика. Формально-логические системы и языки / С. М. Авдошин, А. А. Набебин. - Москва : ДМК Пресс, 2018. - 389 с. : ил., портр. ; 22 см. - Вар. загл. : Формально-логические системы и языки. - Сведения об авт. на 4-й с. обл. - Библиогр.: с. 383-385 (54 назв.). - 200 экз.. - ISBN 978-5-97060-622-3 : 749.00 р.

ГРНТИ

27.41.41

ББК 22.18

Рубрики:
Дискретная математика

Аннотация: Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины "Дискретная математика" на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт.

Держатели документа:
Тюменская ОНБ : ул. Орджоникидзе, 59

Доп. точки доступа:
Набебин, Алексей Александрович

Экземпляры всего: 1
КХ (С 6) (1)
Свободны: КХ (С 6) (1)
Найти похожие

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

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