22.1г И26 Игошин, Владимир Иванович. Михаил Яковлевич Суслин:1894-1919 [Текст] / Игошин В.И. - М. : Наука, Гл. ред. физ.-мат. лит., 1996. - 156 с. - (Научно-библиографическая литература). - ISBN 5020151912 : 1-50 р. Рубрики: История математики Кл.слова (ненормированные): история математики -- Суслин М.Я. Экземпляры всего: 2 аб. (1), н.з. (1) Свободны: аб. (1), н.з. (1) |
22.12 И26 Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие: рек. Мин. обр. РФ / В. И. Игошин. - М. : Академия, 2005. - 304 с. - (Высшее проф. образование. Педагогические специальности). - Библиогр.: с. 301 . - ISBN 5-7695-1364-0 (в пер.) : 237.93 р. Рубрики: Математическая логика Кл.слова (ненормированные): алгебра высказываний -- булевы функции -- формализованное исчисление высказываний -- логика предикатов -- теория алгоритмов Экземпляры всего: 7 аб. (7), ч.з. Свободны: аб. (7) |
22.12 И26 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие: рек. Мин. обр. РФ / В. И. Игошин. - М. : Академия, 2004. - 448 с. - (Высшее проф. образование : педагогические специальности). - Библиогр.: с. 435. - ISBN 5-7695-1363-2 (в пер.) : 253.00 р., 2500002201361 р. Рубрики: Математическая логика--теория алгоритмов Кл.слова (ненормированные): математическая логика -- логика и интуиция -- алгебра высказываний -- логическое следствие, понятие, следствия -- булевы функции -- система аксиом -- логика предикатов -- логические операции -- рекурсивные функции -- теорема Гёделя -- язык ПРОЛОГ, характеристика -- искусственный интеллект, математическая логика Экземпляры всего: 7 аб. (7), ч.з. Свободны: аб. (7) |
22.12 И26 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие : доп. Мин. обр. РФ / В. И. Игошин. - 3-е изд., стер. - М. : Академия, 2008. - 448 с. - (Высшее проф. образование. Педагогические специальности). - Библиогр.: с. 435. - ISBN 978-5-7695-5200-7 (в пер.) : 427.62 р., 477.95 р. Рубрики: Математика Математическая логика Кл.слова (ненормированные): математическая логика -- логика и интуиция -- алгебра высказываний -- логическое следствие, понятие, свойства -- булевы функции -- система аксиом -- логика предикатов -- логические операции -- аксиоматические теории -- теория алгоритмов -- рекурсивные функции -- теорема Гёделя -- язык ПРОЛОГ, характеристика -- логическое программирование -- искусственный интеллект, математическая логика Экземпляры всего: 10 аб. (10) Свободны: аб. (10) |