И 26 Игошин, В. И. Математическая логика и теория алгоритмов [Text] : учеб. пособие для студ. вузов / В.И. Игошин. - М. : Академия, 2004. - 446, [1] с. - (Высшее профессиональное образование). - ISBN 5-7695-1363-2 : 206.60 р. Рубрики: Высшая математика Кл.слова (ненормированные): математическая логика -- алгоритмы -- теория алгоритмов -- алгебра -- булевы функции -- формализованные исчесления -- предикаты -- логика предикатов -- аксиоматический метод -- информатика -- компьютеры -- искусственный интеллект -- учебное пособие для вузов Экземпляры всего: 84 Ч.з.1 (5), Аб.2 (59), Аб.3 (20) Свободны: Ч.з.1 (5), Аб.2 (59), Аб.3 (20) |
З-47 Зегет, В. Элементарная логика [Текст] / В. Зегет; пер. И. М. Морозовой; под ред. Е.Б. Кузиной. - М. : Высш. шк., 1985. - 255, [1] с. - 0.90 р. Рубрики: Логика Кл.слова (ненормированные): логика, мышление, язык -- логика высказываний -- логика предикатов -- основные понятия теории определения -- теории редуктивных умозаключений Доп.точки доступа: Морозова, И.М. \пер.\; Кузина, Е.Б. \ред.\ Экземпляры всего: 1 Аб.2 (1) Свободны: Аб.2 (1) |
И 26 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для физ.-мат. спец. пед. ин-тов / В. И. Игошин. - Саратов : Изд-во Сарат. ун-та, 1991. - 255, [1] с. - Библиогр.: с. 250-252. - ISBN 5-292-00259-3 : 3.00 р. Рубрики: Математическая логика Кл.слова (ненормированные): учебное пособие для вузов -- алгебра высказываний -- булевы функции -- логика предикатов -- аксиоматические теории -- теория алгоритмов Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |
Б 86 Бочаров, Вячеслав Александрович. Основы логики [Текст] : учеб. для студ. вузов / В. А. Бочаров, В. И. Маркин ; МГУ им. М.В. Ломоносова. - М. : ИД "Форум" : ИНФРА-М, 2008. - 333 с. - (Классический университетский учебник : осн. в 2002 г.). - ISBN 978-5-8199-0169-4 : 134.90 р. Рубрики: Логика Кл.слова (ненормированные): логика высказываний -- логика предикатов -- доказательства -- силлогистика -- понятия -- определения -- индукция -- дедукция -- рассуждения -- учебник для вузов Доп.точки доступа: Маркин, Владимир Ильич; МГУ им. М.В. Ломоносова Экземпляры всего: 2 Ч.з.1 (2) Свободны: Ч.з.1 (2) |