М 54 Методика факультативных занятий в 7-8 классах. Избранные вопросы математики [Text] : пособие для учителей / сост.: И. Л. Никольская, В. В. Фирсов. - М. : Просвещение, 1981. - 160 с. - 0.25 р. Рубрики: Методика преподавания математики Кл.слова (ненормированные): факультатив -- вычислительные машины -- симметрия -- математическая логика -- бесконечные множества -- алгоритмы -- транспортные сети -- 7 класс -- 8 класс -- пособие для учителей Доп.точки доступа: Никольская, И.Л. \сост.\; Фирсов, В.В. \сост.\ Экземпляры всего: 15 Ч.з.1 (15) Свободны: Ч.з.1 (15) |
К 17 Калужнин, Л. А. Элементы теории множеств и математической логики в школьном курсе математики [Text] : пособие для учителей / Л. А. Калужнин. - М. : Просвещение, 1978. - 87 с. - 0.15 р. Рубрики: Методика преподавания математики Кл.слова (ненормированные): математическая логика -- теория множеств -- алгебра множеств -- предикаты -- кванторы -- высказывательные формы -- пособие для учителей Экземпляры всего: 10 Аб.2 (6), Ч.з.1 (4) Свободны: Аб.2 (6), Ч.з.1 (4) |
А 13 Абдрашитов, Б. М. Учитесь мыслить нестандартно [Text] : кн. для учащихся / Б. М. Абдрашитов, Т. М. Абдрашитов, В. Н. Шлихунов. - М. : Просвещение : Учеб. лит., 1996. - 126 с. : ил. - ISBN 5-09-006569-1 : 5.40 р. Рубрики: математика Кл.слова (ненормированные): логическое мышление -- математическая логика -- занимательные задачи -- головоломки -- книга для учащихся Доп.точки доступа: Абдрашитов, Т.М.; Шлихунов, В.Н. Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |
Л 13 Лавров, С. С. Программирование. Математические основы, средства, теория [Text] : учеб. пособие / С.С. Лавров. - Дюссельдорф; Киев ; М. ; СПб. : БхВ-Петербург, 2001. - 317 с. - ISBN 5-94157-069-4 : 88.00 р. Рубрики: Математическое программирование--языки программирования Кл.слова (ненормированные): математическая логика -- язык программирования -- теория множеств -- теория вычислимости -- учебное пособие для вузов Экземпляры всего: 5 Аб.2 (5) Свободны: Аб.2 (5) |
Ж 79 Жолков, С. Ю. Математика и информатика для гуманитариев [Текст] : учебник для студ. гуманит. спец. вузов / С.Ю. Жолков. - М. : Гардарики, 2002. - 531, [5] с. : ил. - ISBN 5-8297-0089-1 : 82.50 р. Рубрики: Математика--информатика Кл.слова (ненормированные): дискретная математика -- математическая логика -- алгоритмы -- компьютерные системы -- искусственный интеллект -- учебник для вузов Экземпляры всего: 26 Ч.з.1 (5), Аб.2 (21) Свободны: Ч.з.1 (5), Аб.2 (21) |
К 60 Колмогоров, Андрей Николаевич. Математическая логика [Текст] : учеб. пособие для студ. мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - М. : УРСС, 2004. - 238, [2] с. - (Классический университетский учебник). - ISBN 5-354-00389-X : 149.50 р. Рубрики: Математическая логика--теория множеств Кл.слова (ненормированные): математические языки -- логические законы -- теория алгоритмов -- теория доказательств -- математическая логика -- учебник для вузов Доп.точки доступа: Драгалин, А.Г.; МГУ им. М. В. Ломоносова Экземпляры всего: 4 Ч.з.1 (4) Свободны: Ч.з.1 (4) |
Е 80 Ершов, Ю. Л. Математическая логика [Text] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - СПб. [и др.] : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 169.50 р. Рубрики: Математическая логика Кл.слова (ненормированные): теория множеств -- алгебраические системы -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции -- математическая логика -- учебное пособие Доп.точки доступа: Палютин, Е.А. Экземпляры всего: 4 Ч.з.1 (4) Свободны: Ч.з.1 (4) |
М 34 Матросов В.Л. Избранные статьи и доклады [Text] / Матросов В.Л. - М. : Магистр, 1996. - 252 с. - 5.00 р. Рубрики: Высшая школа Кл.слова (ненормированные): университетское образование -- Московский педагогический государственный университет -- МПГУ -- педагогическое образование -- математическая логика -- теория алгоритмов -- научная -- сборник научных трудов Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |
И 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) |
М 34 Математическая логика [Text] : программа учеб. дисциплины для студ. БГПУ по направлению подготовки дипломированного спец. "Информатика с доп. спец." / сост. Днепровская О.А. - Благовещенск : Изд-во БГПУ, 2004. - 14 с. - 6.70 р. Рубрики: Высшая математика Кл.слова (ненормированные): математическая логика -- учебная программа для вузов Доп.точки доступа: Днепровская О.А. \сост.\ Экземпляры всего: 5 ИБО (1), Ч.з.1 (4) Свободны: ИБО (1), Ч.з.1 (4) |
М 34 Математическая логика [Text] : программа учеб. дисциплины для студ. БГПУ по направлению подготовки дипломированного спец. "Информатика с доп. спец." по спец. "Информатика и математика" / сост. О. А. Днепровская. - Благовещенск : Изд-во БГПУ, 2004. - 16 с. - 7.10 р. Рубрики: Высшая математика Кл.слова (ненормированные): математическая логика -- учебная программа для вузов Доп.точки доступа: Днепровская, О.А. \сост.\ Экземпляры всего: 5 ИБО (1), Ч.з.1 (4) Свободны: ИБО (1), Ч.з.1 (4) |
Ж 79 Жолков, С. Ю. Математика и информатика для гуманитариев [Text] : учебник для студ. вузов, обучающихся по гуманитарным спец. / С.Ю. Жолков. - 2-е изд., испр. и доп. - М. : Альфа-М : ИНФРА-М, 2005. - 527 с. - ISBN 5-98281-049-5 (Альфа-М). - ISBN 5-16-002380-1 (ИНФРА-М) : 150.00 р. Рубрики: Математика Кл.слова (ненормированные): линейная алгебра -- математический анализ -- математическая логика -- алгоритмы -- компьютерные системы -- искусственный интеллект -- учебник для вузов Экземпляры всего: 19 Ч.з.1 (5), Аб.2 (14) Свободны: Ч.з.1 (5), Аб.2 (14) |
Г 19 Ганичева, Антонина Валериановна. Математика для психологов [Текст] : учеб. пособие для студ. вузов, обучающихся по направлению и спец. психологии / А. В. Ганичева, В. П. Козлов . - М. : Аспект Пресс, 2005. - 238, [1] с. - ISBN 5-7567-0362-4 : 114.40 р. Рубрики: Математика Кл.слова (ненормированные): множества -- математическая логика -- линейная алгебра -- теория графов -- математический анализ -- теория вероятностей -- математическая статистика -- учебное пособие для вузов Доп.точки доступа: Козлов, Вячеслав Петрович Экземпляры всего: 20 Аб.3 (20) Свободны: Аб.3 (20) |
Г 80 Грес, Павел Власович. Математика для гуманитариев [Текст] : учеб. пособие для студ. вузов / П.В. Грес. - М. : Логос, 2006. - 156, [2] с. - (Учебник XXI века). - ISBN 5-98704-094-9 : 120.00 р. Рубрики: Высшая математика Кл.слова (ненормированные): дискретная математика -- математическая логика -- математический анализ -- дифференциальные уравнения -- дифференциальное исчисление -- интегральное исчисление -- теория вероятностей -- математическая статистика -- учебное пособие для вузов Экземпляры всего: 23 Ч.з.1 (5), Аб.2 (18) Свободны: Ч.з.1 (5), Аб.2 (18) |
О-74 Осипова, Виктория Аркадьевна. Основы дискретной математики [Текст] : учеб. пособие для студ. вузов / В. А. Осипова. - М. : ФОРУМ : ИНФРА-М, 2006. - 158, [1] с. - (Высшее образование). - ISBN 5-91134-016-Х : 107.90 р. Рубрики: Дискретная математика Кл.слова (ненормированные): дискретная математика -- множества -- отношения -- математическая логика -- комбинаторика -- теория графов -- учебное пособие для вузов Экземпляры всего: 3 Ч.з.1 (3) Свободны: Ч.з.1 (3) |
Л 13 Лавров, И. А. Задачи по теории множеств математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - М. : Наука, 1975. - 240 с. - 0.90 р. Рубрики: математика Кл.слова (ненормированные): теория множеств -- математическая логика -- теория алгоритмов Доп.точки доступа: Максимова, Л.Л. Экземпляры всего: 10 Ч.з.1 (10) Свободны: Ч.з.1 (10) |
Л 13 Лавров, И. А. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров. - 3-е изд. - М. : ФИЗМАТЛИТ, 1995. - 255 с. - ISBN 5-02-014844-Х : 30.75 р. Рубрики: математика Кл.слова (ненормированные): теория множеств -- математическая логика -- теория алгоритмов Доп.точки доступа: Максимова, Л.Л. Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |
С 81 Стойлова, Любовь Петровна. Математика [Текст] : учебник для студ. вузов / Л. П. Стойлова. - М. : Академия, 2007. - 431, [1] с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 978-5-7695-2758-6 : 462.00 р. Рубрики: Математика Кл.слова (ненормированные): математическая логика -- отношения -- операции -- натуральные числа -- геометрические фигуры -- учебник для вузов Экземпляры всего: 12 Аб.3 (12) Свободны: Аб.3 (12) |
И 26 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студ. вузов / В.И. Игошин. - 2-е изд., стер. - М. : Академия, 2008. - 446, [1] с. - (Высшее профессиональное образование). - ISBN 978-5-7695-4593-1 : 384.20 р., 397.00 р. Рубрики: Математическая логика Кл.слова (ненормированные): алгебра высказываний -- булевы функции -- исчисление высказываний -- программирование -- математическая логика -- учебное пособие для вузов Экземпляры всего: 12 Аб.2 (9), Ч.з.1 (3) Свободны: Аб.2 (9), Ч.з.1 (3) |