lekcii5 (522349), страница 2
Текст из файла (страница 2)
д.), знание которых всегда сопровождается некоторой долей неопределенности. Но информатика и математика две разные науки. Разница между ниъли заключается в предмете и подходе математика обычно имеет дело с теоремами, бесконечными процессаъли и статическими соотношениями, а информатика с алгоритмами, конечными конструкциями и динамическими соотношениями 1Ц. Как гласит программистский фольклор, математика делает то что можно так, как нужно, а ипфорълатика то что нужно так, как можно ~19~.
Структура курса На 1 курсе предусмотрены следующие формы занятий: лекции (144 часа), .практические (64 часа) и лабораторные (144 часа) занятия, консультации по курсовым проектам и ра; ботам (80 часов на, группу), самостоятельная работа (180 часов). Контрольные ълероприятия: зачеты с оценкой по лабораторным работам и заданиям курсовых проектов (вк.почни входной контроль знаний), за леты по курсовым проектам и работам (с оценкой), экзамен (письменньлй; во 2-оъл семестре с отладкой программ на ЭВМ).
Кроме того, проводятся олимпиады, тестирование знаний, коллоквиумы и репетиционные экзамены, автоматизированное, индивидуальное и дистанционное обучение. На, лекциях излагается теоретический материал: основные понятия, .теоремы, алгоритмы. Проводимые с помощью мультимедийной компьютерной проекционной аппаратуры лекционные демонстрации предусматривают показ работы алгоритмов и программ и другую иллюстративную полдержку курса. Лабораторные работы посвящены практическому освоению вычислительных ма; шин, систем программного обеспе тения., конкретных методов и приемов программирования, осуществляемому, как правило, путем разработки и отладки небольтпих программ в учебной вычислительной лаборатории.
Практические занятия заключаются в закреплении материала лекций и разъяснении его применения к решению практических задач путем групповых занятий в аудиториях. На практических занятиях под руководством преподавателя проводится составление типовых программ по всем основным разделам курса, включая тематику курсовых и лабораторных !эабот, осуществляются различные контрольные мероприятия.
Курсовые работы и проекты состоят из нескольких заданий, которые выполняются студентами самостоятельно в неаудиторное время. Особенностью курсовых проектов по информатике является разработка програхлмной документации в соответствии с правилами ЕСПД и ЕСКД, в то время как основными документами инженерного проетсгирования являются чертежи. Подробнее о курсовых и лабораторных работах сказано в ежегодно обновляемом пособии по практикуму, издаваемому в бумажном и электронном (СГт) виде.
Значение курсовых и лабораторных работ трудно переоцепиттч так как, чтобы до конца понять суть информатики, необходимо программироеатпь самол«у. Постановка курса осуществлена в 1976 — 1983 гг. к. ф.-м, и., доц. С. С. Гайсаряпом. Курс возобновлен в 1993 г. к, ф.-м. и., доц. Зайцевым В. Е. с практикумом, описанном в учебном пособии «Иттформатика. Практикум». Мл МАИ, 1993. С !997 г.
курс комплектуется С!э-хрестоматией. Ьольшую помощь в издании курса оказали к. ф.-м. н , .доц. Журавлева Т. Э., Сошников Д. В. и Титов В.К., ст. преп. Сеницкий П. Л., Дзюба Д. В. и Овечкис Л. Г , .преп, Перетягин И. Л. и Горлов А. А. и студ. Рисенберг Д. В. Рекомендуемая литература Среди изданных к настоящему времени учебников и учебных пособий по информатике и програмклированию нет ни одного, которое содержало бы все разделы курса. Наиболее близкими по содержанию являются учебные пособия ~11 и ~21, но они трузтнодостуштт,ю,.
так как изданы малыми ти1эажами. П1эи изу тенитт мате1эиала ку1эса можн~ пользоватьтя учебным пособием ~3~, методическими разработками ~4-6~, книгами (7-13~. Отдельные вопросы, рассматриваемые в курсе, изложены в книгах ~14-29,31-40!. Практикум по курсу проводится в соответствии с пособием ~30~. Литература Ф. Вауэр, Т. Гооз. Информатика. — Мл Мир, 1976, 1990. Б. Мейер, К.
Бодуэн. Методы программирования. Т. 1 н 2. — Мл Мир, 1982. Э. 3. Любимский, В. В. Мартынюк, Н. П. Трифонов. Программирование. — Мл ЕЕаука, 1980. С. С. Гайсарян, И. 3. Луговая, В. Д. Трасковский. Основные приемы программиро- вания: типы данных и структура программ.." Мл МАИ, 1981.
С. С. Гайсарян, И. 3.Е!уговая, В. Д. Трасковский. Средства организации программ сложной структуры. — Мс МАИ, 1982. Г.-Д. Эббинхауз, К. Якобс, Ф.-К. Ман, Г. Хермсс. Машины Тьюринга и рекурсивные функции. Мл Мир, 1972. Н. Вирт. Систематическое программирование. Введение. Мл Мир, 1977. К. Йенсен, Е!. Вирт. Паскаль.
Руководство для пользователя и описание языка. Мс Финансы и статистика, 1982, .1989. !10] Е!. Грогоно. Программирование на языке Паскаль. Мл Мир, 1982. Э. Дейкстра. Дисциплина программирования. -- Мл Мир, 1978. 'Т. Пратт. Языки программирования. Разработка и реализация. - Мл Мир, 1982. Г. Майерс. Надежность программного обеспечения. -- Мс Мир, 1980. !1 !1 Д. Цикритзис, Ф. Бернстайн. Операционные системы. Мл Мир, 1977. У. Дал, Э. Дейкстра, К.
Хоор. Структурное программирование. Мл Мир, 1975. Ь. А. Трахтснброт. Алгоритмы и вычислительные автоматы. Мл Сов, радио, 1974. 200 с., ил. Э. 3. Любимский, В. В. Мартынюк. Элементы теории алгоритмов и структур дан- ных. -- Мс МГУ, 1976. 10 Принципы программирования па, абсолютно универсальных вычислительных машинах. Методическая разработка. О С. С.
Гайсарян, И. 3. Луговая. - Мл МАИ, 1980. ]18] К. Шеннон. Универсальная машина Тьюринга с двумя внутренними состояниями. В кн.: Работы по теории информации и кибернетике. М.: ИЛ, 1963, с, 740-750. Е. А. ?Коголев. Введение в технологию программирования. Конспект лекций. Мз Диалог-МГУ, 1995. (20] М. Брой. Информатика. Основополагающее введение. В 4-х частях. М.: Диалог- МИФИ, 1996. (2Ц В. Ш. Кауфман. Языки программирования. Концепции и принципы.
Мз Радио и связь, 1993. (22] Э. Танненбаум. Многоуровневая организация ЭВМ. -- Мз Мир, 1979. (23] 1О. А. Шрейдер, А. А. Шаров, Системы и модели. — Мз Радио и связь, 1982. -- 152 с. (24( Г. Тоффоли, Н. Марголус. Машины клеточных автоматов. — Мз Мир, 1991. ]25] А. А. Марков, Н. М. Нагорный. Тсория алгорифмов.
— Мз Наука, 1981. Лекции лауреатов премии Тьюринга. ~' Пер, с англ. Мз Мир, 1993. 560 с., ил. (26] (27] Н. Вирт. Г!рограммирование на языке Модула — 2. М.: Мир, .1987. (28] В. А. Успенский. Магпина Поста. (Популярные лекции по математике. Вып. 54). М.: Наука, 1979. (29] В.
А. Успенский. Лекции о вычислимых функциях. М.: Паука, 1960. (30] В. Е. Зайцев и др. Информатика. Практикум. ~'~' Учеб. пособие. - - Мз МАИ, 1993. (31] Н. К. Косовский. Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов. - - Лз ЛГУ, 1981. (32] 1О. А. Шрейдер. Логика знаковых систем. --- М.: Знание, 1974. (33] А. И. Мальцев. Алгоритмы и рекурсивные функции. — Мз Наука, 1965.
(34] С. Янг. Алгоритмические языки реального времени. М.: Мир, 1985. (35] (36] А. Шень. Программирование: теоремы и задачи. М.: МЦНМО, 1995. 263 с., ил. (37] Д. Бентли. ?Кемчужины творчества программистов. Мз Радио и связь, 1990. 224 с., ил. (38] Р. Лингер, Х. Миллс, Б. Уитт. Теория и практика структурного программирования ~,' — М.: Мир, 1982. (39] А. П. Ершов.
Введение в теоретическое программирование. — Мз Наука, 1976. 11 Д. Кнут. Информатика и ее связь с математикой 9 Сб. статей «Современные проблемы математики» Мз Знание, 1977, стр. 4 — 32. ~401 Языки программирования Ада, Си, Паскаль,'! Под ред. Л. Фыоера, Н. Джехани. Мл Радио и связь, 1989. Э. Йодан. Структурное проектирование и конструирование программ 9 Мл Мир, 1979. !42~ Н3! И. 3. Луговая, Л. Н. Чернышов, С. М. 10дин. Динамические структуры данных языка Паскаль: Учебное пособие. — М.: Изд-во МАИ, 1988.
— 57 с., ил. !44~ Л. Н. Чернышов, С. М. Юдин. Инструментальная система инфорт и работа с дина- мическими структурами данных: Учебное пособие. -- Х1.: Изд-во МАИ, 1984. — 68 с., ил. Технология программирования. Языки программирования, операционные системы, базы данных. Мс Х1ИУ, 1995, Х! О, 1, СР приложение. !46! Данные в языках программирования. Абстракция и типология: Сб. статей. Пер.
с ан- гл. под ред. В. Н. Агафонова. -- Мс Мир, 1982. (47) Д. Варрон. Рекурсивные методы в программировании. — Мл Х1ир, 1974. ~48~ .'!. Броуди. Начальный курс программирования на языке Форт. — Мл Финансы и ста- тистика,. 1990. (49) А. Т. Берзтисс. Структуры данных. Мл Статистика, 1974. 150~ С. С. Лавров, Г. С. Силагадзс. Язык Лисп и его реализация. Мс Наука, 1978. С. П. Никулин. Регулярные и комбинированные структуры данных,' Под ред. В. Е. Зайцева М.: МАИ, 1997. !5Ц Г. Лорин.