Личный кабинет
265 записей
Математическая логика и алгебра : сб. ст. / ред. Адян С. И. ; РАН. - М. : Наука : МАИК "Наука/Интерпериодика", 2003. - 207 с. - (Труды / Математический институт им. В. А. Стеклова ; т. 242). - Библиогр. в конце ст. - ISBN 5-02-032604-6 .
1 экз.
Косовский Н. К.
Элементы математической логики и её приложения к теории субрекурсивных алгоритмов : учебное пособие / Косовский Н. К. - Л. : Изд-во Ленинградского университета, 1981. - 191 с. - Библиогр.:с. 190 .
Элементы математической логики и её приложения к теории субрекурсивных алгоритмов : учебное пособие / Косовский Н. К. - Л. : Изд-во Ленинградского университета, 1981. - 191 с. - Библиогр.:
2 экз.
Плоткин Б. И.
Универсальная алгебра, алгебраическая логика и базы данных / Плоткин Б. И. - М. : Наука, 1991. - 446 с. - Библиогр.:с. 435-442 . - ISBN 5-02-014635-8 .
Универсальная алгебра, алгебраическая логика и базы данных / Плоткин Б. И. - М. : Наука, 1991. - 446 с. - Библиогр.:
2 экз.
Игошин В. И.
Математическая логика и теория алгоритмов : учеб. пособие для вузов / Игошин В. И. - М. : Академия, 2004. - 446 с. : ил. - (Высшее профессиональное образование: Педагогика). - Библиогр.:с. 435-442 . - ISBN 5-7695-1363-2 .
Математическая логика и теория алгоритмов : учеб. пособие для вузов / Игошин В. И. - М. : Академия, 2004. - 446 с. : ил. - (Высшее профессиональное образование: Педагогика). - Библиогр.:
2 экз.
Логика и комбинаторика / сост. Егоров А. А. - М. : Бюро Квантум, 2002. - 126 с. - (Приложение к журналу "Квант" ; № 5/2002). - ISBN 5-85843-040-6 .
1 экз.
Лыскова В. Ю.
Логика в информатике : методическое пособие / Лыскова В. Ю. - 2-е изд. - М. : Лаборатория Базовых Знаний, 2006. - 155 с. - Библиогр.в конце кн. - ISBN 5-93208-187-2 .
Логика в информатике : методическое пособие / Лыскова В. Ю. - 2-е изд. - М. : Лаборатория Базовых Знаний, 2006. - 155 с. - Библиогр.
3 экз.
Коваленко С. И.
Решение задач математической логики с использованием элементарной алгебры / Коваленко С. И. - М. : Физматлит, 2004. - 79 с. - Библиогр.:c. 58 . - ISBN 5-94052-069-5 .
Решение задач математической логики с использованием элементарной алгебры / Коваленко С. И. - М. : Физматлит, 2004. - 79 с. - Библиогр.:
7 экз.
Попов С. В.
Логическое моделирование / Попов С. В. - М. : Тровант, 2006. - 256 с. - Библиогр.:с. 254-255 . - ISBN 5-89513-049-6 .
Логическое моделирование / Попов С. В. - М. : Тровант, 2006. - 256 с. - Библиогр.:
1 экз.
Аляев Ю. А., Тюрин С. Ф.
Дискретная математика и математическая логика : учебник для вузов / Аляев Ю. А., Тюрин С. Ф. - М. : Финансы и статистика, 2006. - 364 с. : ил. - Библиогр.:с. 355-357 . - ISBN 5-279-03045-7 .
Дискретная математика и математическая логика : учебник для вузов / Аляев Ю. А., Тюрин С. Ф. - М. : Финансы и статистика, 2006. - 364 с. : ил. - Библиогр.:
7 экз.
Игошин В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / Игошин В. И. - 2-е изд., стер. - М. : Академия, 2006. - 302 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.:с. 301 . - ISBN 5-7695-2914-8 .
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / Игошин В. И. - 2-е изд., стер. - М. : Академия, 2006. - 302 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.:
2 экз.
