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

vtls000281708
510(075.8) Л 656
Лихтарников, Леонид Моисеевич.
    Математическая логика. Курс лекций. Задачник - практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Изд. 3-е, испр. - Санкт-Петербург : Лань, 2008. - 276 с. : табл., ил. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 273. - Сер. указ. на обор. тит. л. . - ISBN 9785811400829

УДК	510.6(075.8)

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

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

Экземпляры всего: 1
Абонемент 402 (1)
Свободны: Абонемент 402 (1)