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

В12
И 269
Игошин, В. И.
    Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 3-е изд., стереотип. - Москва : Асаdemia, 2007. - 304 с. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 301 (22 назв.). - 2000 экз. - ISBN 5-7695-3728-0 (в пер.)

ГРНТИ

27.03.17

ББК В127я73

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

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

В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)

В12
Г 977
Гуц, Александр Константинович.
    Математическая логика и теория алгоритмов : [учебное пособие] / А. К. Гуц. - 2-е изд., доп. - Москва : Либроком, 2009. - 117 с. : ил. ; 22 см. - Библиогр.: с. 114-117 (59 назв.). - ISBN 978-5-397-00056-7 : 124.08 р.

ГРНТИ

27.03.17

ББК В127я73

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

Кл.слова (ненормированные):
Математическая логика -- алгориты
Держатели документа:
ГПНТБ России
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)

В12
И 268
Игошин, Владимир Иванович (1948-).
    Математическая логика и теория алгоритмов : учеб. пособие для студентов высших учебных заведений, обучающихся по специальности 050201 "Математика" / В. И. Игошин. - 4-е изд., стер. - Москва : Академия, 2010. - 448 с. : ил. ; 22 см. - (Высшее профессиональное образование. Педагогические специальности) (Учебное пособие). - Библиогр.: с. 435-442 и в подстроч. примеч. - 1000 экз. - ISBN 978-5-7695-7045-2 (в пер.) : 405.98 р.

ГРНТИ

27.03.19

ББК В127я73

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

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

Держатели документа:
ГПНТБ России
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)