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

В12
Г 866
Гринченков, Дмитрий Валерьевич.
    Математическая логика и теория алгоритмов для программистов : учебное пособие / Д. В. Гринченков, С. И. Потоцкий. - Москва : КноРус, 2010. - 206 с. : ил. ; 22 см. - Библиогр.: с. 205-206. - 3000 экз. - ISBN 978-5-406-00120-2 (в пер.) : 155.22 р.

ГРНТИ

27.03

ББК В127я73-1

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

Кл.слова (ненормированные):
Математическая логика
Аннотация: Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.
Держатели документа:
ГПНТБ России
Доп.точки доступа:
Потоцкий, Сергей Иванович

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

В12
К 845
Крупский, Владимир Николаевич.
    Теория алгоритмов : учебное пособие / В. Н. Крупский, В. Е. Плиско. - Москва : Академия, 2009. - 207 с. : ил. ; 22 см. - (Университетский учебник) (Серия "Прикладная математика и информатика"). - Библиогр.: с. 203. - Предм. указ.: с. 204. - 2500 экз. - ISBN 978-5-7695-5293-9 (в пер.) : 368.17 р.

ГРНТИ

27.03.17

ББК В127я73-1

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

Кл.слова (ненормированные):
Алгоритмы
Держатели документа:
ГПНТБ России
Доп.точки доступа:
Плиско, Валерий Егорович

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