Эмблема Домашняя страница   Документы и списки   Создать   Параметры узла   Справка   
Рисунок строки названия для страницы веб-частей
Рекомендации...

Быстрый запуск
Основы информатики и математики
Icon Рекомендации
Icon Работа с текстовой информацией
Icon Практикум по офисным технологиям
Документы
Icon 2003-2004 учебный год
Icon Публикации
Рисунки
Списки
Обсуждения
Icon Общие вопросы
Опросы
Icon

В. В. Борисенко, В. С. Люцарев, А. А. Михалев, А. В. Михалев, Е. В. Панкратьев, А. М. Чеповский, В. Г. Чирский

Преподавание информатики и математических основ информатики для непрофильных специальностей классических университетов

M.: Интернет-университет информационных технологий  - 2005.
ISBN 5-9556-0037-X

Редактор — профессор механико-математического факультета МГУ, д.ф.-м.н. А.В. Михалев
Руководитель проекта — декан химического факультета МГУ, академик РАН В.В. Лунин
Рекомендации по преподаванию информатики включают требования к совокупности знаний по информатике и её математическим основам для непрофильных специальностей классических университетов, вариант программы курса информатики и путеводители по литературе. Разработка велась с учетом практики преподавания на химическом факультете в рамках междисциплинарного научного проекта МГУ им. М.В. Ломоносова. Проект поддержан корпорацией Microsoft.

Полный текст (PDF)

Ниже приведен список литературы, сгруппированный по секциям совокупности знаний.


 Содержание
MT1Множества, отношения, функции.
MT2Алгоритмы, сложность и структуры данных.
MT3Вычислительная математика и численные методы.
MT4Математическая логика и теория доказательств.
MT5Графы и деревья.
MT6Автоматы.
MT7Элементы теории формальных языков и грамматик.
MT8Элементы теории алгебраических структур.
MT9Комбинаторика.
CL1Базовые представления об ЭВМ и программном обеспечении.
CL2Локальные технологии
CL3Распределенные технологии
CL4История информатики и социальные вопросы.
P1Основы программирования.
P2Архитектура и организация ЭВМ.
P3Операционные системы.
P4Низкоуровневое программирование.
P5Императивное программирование.
P6Функциональное программирование.
P7Объектно-ориентированное программирование.
P8Языки разметки.
IT1Языки программирования.
IT2Информационные системы.
IT3Сети и телекоммуникации.
IT4Компьютерная графика и визуализация.
IT5Интеллектуальные системы.
IT6Программная инженерия.
IT7Компьютерная алгебра и символьные вычисления.
IT8Теоретическое программирование.

MT1: Множества, отношения, функции.

 Темы
MT1.1iЯзык наивной теории множеств. Множества и отображения (функции).
MT1.2iАксиоматика Цермело-Френкеля. Натуральные числа, аксиомы Пеано.
MT1.ЗМножества и классы, аксиоматика Гёделя-Бернайса-Неймана.
MT1.4iОтношения. Композиция отношений. Отношения эквивалентности и порядка.
MT1.5ibaУпорядоченные множества.
MT1.6ibaБулевы алгебры.
 Литература
Акимов О.Е. Дискретная математика. Логика, группы, графы. - М.: Лаборатория Базовых Знаний, 2000.
Александров П.С. Введение в теорию множеств и общую топологию. - М.: Наука, 1977.
Андерсон Д. Дискретная математика и комбинаторика. - М.: Вильямс, 2003.
Беран Л. Упорядоченные множества. - М.: Наука, 1981.
Биркгоф Г. Теория решеток. - М.: Наука, 1984.
Богомолов А.М., Салий В.Н. Алгебраические основы теории дискретных систем. - М.: Наука, 1997.
Бурбаки Н. Теория множеств. - М.: Мир, 1965.
Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств. - М.: ИЛ, 1963.
Верещагин Н.К., Шень А. Начала теории множеств. - М.: МЦНМО, 2002.
Владимиров Д.А. Булевы алгебры. - М.: Наука, 1969.
Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. - М.: Наука, 1979.
Гончаров С.С. Счетные булевы алгебры. - Новосибирск: Наука, 1988.
Горбатов В.А. Основы дискретной математики. - М.: ВШ, 1986.
Горбатов В.А. Фундаментальные основы дискретной математики. - М.: Наука, 2000.
Джонстон П.Т. Теория топосов. - М.: Наука, 1986.
Ерусалимский Я.М. Дискретная математика. - М.: Вузовская книга, 1998.
Ильин В.А., Куркина А.В. Высшая математика. - М.: Проспект, 2002.
Калман Р., Фалб П., Арбиб М. Очерки по математической теории систем. - М.: Мир, 1971.
Кон П. Универсальная алгебра. - М.: Мир, 1968.
Копытов В.М. Решеточно упорядоченные группы. - М.: Наука, 1984.
Куратовский К., Мостовский А. Теория множеств. - М.: Мир, 1970.
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. - М.: Физматлит, 2001.
Ларин С.В. Числовые системы. - М.: Академия, 2001.
Мальцев А.И. Алгебраические системы. - М.: Наука, 1970.
Мишина А.П., Проскуряков И.В. Высшая алгебра. - М.: Физматлит, 1962.
Мостовский А. Конструктивные множества и их приложения. - М.: Мир, 1973.
Непейвода Н.Н. Прикладная логика. - Новосибирск: Изд-во НГУ, 2000.
Нечаев В.И. Числовые системы. - М.: Просвещение, 1975.
Пинус А.Г. Основы универсальной алгебры. - Новосибирск: НГТУ, 2000.
Робинсон А. Введение в теорию моделей и метаматематику алгебры. - М.: Наука, 1967.
Романовский И.В. Дискретный анализ. - СПб.: Невский диалект, 1999.
Садовничий В.А. Теория операторов. - М.: ВШ, 1999.
Сикорский Р. Булевы алгебры. - М.: Мир, 1969.
Скорняков Л.А. Элементы теории структур. - М.: Наука, 1982.
Скорняков Л.А. (ред.). Общая алгебра. Т. 1, 2. - М.: Наука, 1990, 1991.
Смирнов В.И. Курс высшей математики. Т. I-V. М.: Физматгиз, 1958-1959.
Стол Р.Р. Множества. Логика. Аксиоматические теории. - М.: Просвещение, 1968.
Феферман С. Числовые системы. Основание алгебры и анализа. - М.: Наука, 1971.
Фукс Л. Частично упорядоченные алгебраические системы. - М.: Мир, 1965.
Яблонский С.В. Введение в дискретную математику. - М.: Наука, 1986.
Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. - М.: Наука, 1966.
Dedekind R. What are Numbers and What Should They Be? - RIM, Orona, Maine, 1995.
Gratzer G. Universal Algebra. - Springer-Verlag, New York, 1979.
Kaplansky I. Set Theory and Metric Spaces. - Chelsea, New York, 1977.
Mazzola G., Milmeister G., Weissmann J. Comprehensive Mathematics for Computer Scientists 1. - Springer-Verlag, 2004.
Michaels J.G., Rosen K.H. Applications of Discrete Mathematics. - McGraw-Hill, New York, 1992.
Monk J.D., Bonnet R., Editors. Handbook of Boolean Algebras. - North Holland, Amsterdam, 1989.