519/К265

    Карпов, Юрий Глебович.
    Теория автоматов [Текст] : учеб.для вузов / Ю.Г. Карпов. - СПб. : Питер, 2003. - 206 с. : ил. - (Учеб.для вузов). - Библиогр.: с.204-206 (39 назв.) . - ISBN 5-318-00537-3 : 750 тг.
ГРНТИ
УДК
Рубрики: Теория автоматов--учебники
Кл.слова (ненормированные):
Булевы функции -- Теорема Поста -- Математическая логика -- Автоматные языки -- Машины Тьюринга

Держатели документа:
Республиканская научно-техническая библиотека Казахстана
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)

   51(07)
   И 268


    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие для вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2010. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-7045-2 : 3830.00 тг.
ГРНТИ
УДК
Рубрики: Математическая логика--Учебники и учебные пособия
   Алгоритмов теория --Учебники и учебные пособия

Кл.слова (ненормированные):
алгебра высказываний -- тавтолигии -- логическое следование формул -- логико-математическая практика -- прямая теорема -- обратная теорема -- закон контрапозиции -- булевые функции -- релейно-контактные схемы -- система аксиом -- логика предикатов -- аксиоматические теории -- теории первого порядка -- машины Тьюринга -- рекурсивные функции -- нормальные алгоритмы Маркова -- разрешимость множеств -- перечислимость множеств -- логическое программирование -- информатика -- искусственный интеллект -- компьютеры

Держатели документа:
Восточно-Казахстанский филиал РНТБ Казахстана
Экземпляры всего: 1
05-ОБ (1)
Свободны: 05-ОБ (1)