С 81 Столяр, А. А. Логические проблемы преподавания математики [Text] : учеб. пособие для мат. фак. пед. ин-тов / А. А. Столяр. - Минск : Высш. шк., 1965. - 253 с. - 0.70 р. Рубрики: Методика преподавания математики Кл.слова (ненормированные): логический язык математики -- методика преподавания -- аксиоматический метод -- обучение математике -- учебное пособие для вузов Экземпляры всего: 9 Аб.2 (5), Ч.з.1 (4) Свободны: Аб.2 (5), Ч.з.1 (4) |
М 54 Методика обучения геометрии [Text] : учеб. пособие для студ. вузов / под ред. В. А. Гусева. - М. : Академия, 2004. - 366 с. : ил. - (Высшее профессиональное образование). - ISBN 5-7695-0769-1 : 227.90 р. Рубрики: Методика преподавания геометрии Кл.слова (ненормированные): история развития школьной геометрии -- фузионизм -- обучение геометрии -- аксиоматический метод -- пособие для учителя -- учебное пособие для вузов Доп.точки доступа: Гусев, В.А. \ред.\ Экземпляры всего: 107 Ч.з.1 (5), Аб.2 (59), Аб.3 (43) Свободны: Ч.з.1 (5), Аб.2 (59), Аб.3 (43) |
И 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) |
Л 43 Лекции по дискретной математике [Текст] / Ю. В. Капитонова [и др.]. - СПб. : БХВ-Петербург, 2004. - 614 с. - ISBN 5-94157-546-7 : 179.00 р. Рубрики: Дискретная математика Кл.слова (ненормированные): дискретная математика -- алгебра -- множества -- комбинаторика -- теория алгоритмов -- математическая логика -- теория графов -- теория автоматов -- информационные технологии -- компьютерные технологии -- аксиоматический метод -- учебник для вузов Доп.точки доступа: Капитонова, Ю.В.; Кривой, С.Л.; Летичевский, А.А.; Луцкий, Г.М. Экземпляры всего: 16 Ч.з.1 (5), Аб.2 (11) Свободны: Ч.з.1 (5), Аб.2 (11) |