Поиск по Электронному каталогу Книги

В12
И 269
Игошин, Владимир Иванович.
    Математическая логика : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 050201.65 - Математика / В. И. Игошин. - Москва : ИНФРА-М, 2012. - 399 с. : табл. ; 22 см + 1 эл. опт. диск (CD-ROM). - (Высшее образование). - Библиогр.: с. 389-392. - 1000 экз. - ISBN 978-5-16-005204-5 (в пер.) : 260.91 р.
Фактическая дата выхода в свет : 2011

ГРНТИ

27.03.19

ББК В12я73

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

Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- логика предикатов -- аксиоматические теории
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)

В12
Г 554
Глухов, Михаил Михайлович.
    Математическая логика. Дискретные функции. Теории алгоритмов : учебное пособие для студентов вузов, обучающихся по направлению подготовки (специальности) 090301 - "Компьютерная безопасность" и 090303 - "Информационная безопасность автоматизированных систем" / М.М. Глухов, А.Б. Шишков. - Москва ; Санкт-Петербург ; Краснодар : Лань, 2012. - 405 с. ; 21 см. - Вар. загл. : Дискретные функции. - Вар. загл. : Теория алгоритмов. - Библиогр.: с. 398-401. - ISBN 978-5-8114-1344-7 (в пер.) : 669.90 р., 335.28 р.

ГРНТИ

27.03.19

ББК В12я73

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

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

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

Кл.слова (ненормированные):
математическая логика -- дискретные функции -- теория алгоритмов -- алгебра высказываний -- алгебра предикатов
Доп.точки доступа:
Шишков, Алексей Борисович

Экземпляры всего: 2
ОЧЗ (1), КХ (1)
Свободны: ОЧЗ (1), КХ (1)