Личный кабинет
83 записи
Марченков С. С.
Булевы функции / Марченков С. С. - М. : Физматлит, 2002. - 68 с. - (Популярные лекции по математике). -ISBN 5-9221-0253-2 .
Булевы функции / Марченков С. С. - М. : Физматлит, 2002. - 68 с. - (Популярные лекции по математике). -
Читать онлайн
4 экз.
Марченков С. С.
Замкнутые классы булевых функций / Марченков С. С. - М. : Физматлит, 2000. - 126 с. - Библиогр.:с. 119-121 . - ISBN 5-9221-0066-1 .
Замкнутые классы булевых функций / Марченков С. С. - М. : Физматлит, 2000. - 126 с. - Библиогр.:
2 экз.
Марченков С. С.
Замкнутые классы булевых функций / Марченков С. С. - 2-е изд., испр. - М. : Физматлит, 2001. - 126 с. - Библиогр.:с. 119-121 . - ISBN 5-9221-0132-3 .
Замкнутые классы булевых функций / Марченков С. С. - 2-е изд., испр. - М. : Физматлит, 2001. - 126 с. - Библиогр.:
5 экз.
Математическая логика : учебное пособие педагогических институтов / Латотин Л. А., Макаренков Ю. А., Николаева В. В., Столяр А. А. ; общ. ред. Столяр А. А. - Минск : Вышэйшая школа, 1991. - 269 с. : ил. - Библиогр.: с. 260 . - ISBN 5-339-00342-6 .
1 экз.
Математическая логика и алгебра : сб. ст. / ред. Адян С. И. ; РАН. - М. : Наука : МАИК "Наука/Интерпериодика", 2003. - 207 с. - (Труды / Математический институт им. В. А. Стеклова ; т. 242). - Библиогр. в конце ст. - ISBN 5-02-032604-6 .
1 экз.
Математическая логика и алгоритмические проблемы : сборник статей / Академия наук СССР, Сибирское отделение ; отв. ред. Ершов Ю. Л. - Новосибирск : Наука, Сибирское отделение, 1989. - 184 с. - (Труды / Институт математики ; т. 12). - Библиогр. в конце статей . - ISBN 5-02-028623-0 .
1 экз.
Мендельсон Э.
Введение в математическую логику / Мендельсон Э. ; пер. с англ. Кабаков Ф. А. ; ред. пер. Адян С. И. - М., 1971. - 320 с. : ил. - Библиогр.:с. 296-309 .
Введение в математическую логику / Мендельсон Э. ; пер. с англ. Кабаков Ф. А. ; ред. пер. Адян С. И. - М., 1971. - 320 с. : ил. - Библиогр.:
2 экз.
Метакидес Г., Нероуд А.
Принципы логики и логического программирования : [учебное пособие] / Метакидес Г., Нероуд А. ; пер. с англ. Захаров В. А., Селезнева С. Н., Спануполо В. В. ; ред. пер. Садовничий В. А., Захаров В. А. - М. : Факториал, 1998. - 288 с. : ил. - Библиогр.:с. 275-278 . - ISBN 5-88688-037-2 .
Принципы логики и логического программирования : [учебное пособие] / Метакидес Г., Нероуд А. ; пер. с англ. Захаров В. А., Селезнева С. Н., Спануполо В. В. ; ред. пер. Садовничий В. А., Захаров В. А. - М. : Факториал, 1998. - 288 с. : ил. - Библиогр.:
1 экз.
Набебин А. А.
Логика и Пролог в дискретной математике / Набебин А. А. - М. : Изд-во МЭИ, 1996. - 450 с. : ил. - Библиогр.:с. 435-440 . - ISBN 5-7046-0162-6 .
Логика и Пролог в дискретной математике / Набебин А. А. - М. : Изд-во МЭИ, 1996. - 450 с. : ил. - Библиогр.:
1 экз.
Наголкин А. Н.
Алгебра логики в золотом сечении: Еще один шаг в область нечетких логик и компьютерного интеллекта / Наголкин А. Н. - М. : МАКС Пресс, 2006. - 180 с. - Библиогр.в конце книги . - ISBN 5-317-01731-9 .
Алгебра логики в золотом сечении: Еще один шаг в область нечетких логик и компьютерного интеллекта / Наголкин А. Н. - М. : МАКС Пресс, 2006. - 180 с. - Библиогр.
4 экз.
