WWW.KNIGA.SELUK.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА - Книги, пособия, учебники, издания, публикации

 


Pages:   || 2 |

«Серия издается совместно МОСКОВСКИМ ГОСУДАРСТВЕННЫМ УНИВЕРСИТЕТОМ имени М.В. Ломоносова и Интернет-Университетом Информационных Технологий при поддержке корпорации ...»

-- [ Страница 1 ] --

ОСНОВЫ ИНФОРМАТИКИ и математики

Серия издается совместно

МОСКОВСКИМ ГОСУДАРСТВЕННЫМ УНИВЕРСИТЕТОМ

имени М.В. Ломоносова

и

Интернет-Университетом

Информационных Технологий

при поддержке корпорации Microsoft

Главный редактор серии:

А.В. Михалев

Редакционная коллегия:

В.В. Борисенко

Е.В. Панкратьев В.С. Люцарев И.В. Машечкин А.А. Михалев А.М. Чеповский В.Г. Чирский А.В. Шкред В.В. Борисенко, В.С. Люцарев, А.А. Михалев, Информация о серии А.В. Михалев, Е.В. Панкратьев, А.М. Чеповский, В.Г. Чирский Серия учебных пособий по информатике и ее математическим основам открыта в 2005 г. с целью современного изложения широкого спектра направлений информатики на базе соответствующих разделов математических курсов, а также примыкающих вопросов, свяПРЕПОДАВАНИЕ ИНФОРМАТИКИ занных с информационными технологиями.

Особое внимание предполагается уделять возмож- И МАТЕМАТИЧЕСКИХ ОСНОВ ности использовать материалы публикуемых пособий в

ИНФОРМАТИКИ

преподавании информатики и ее математических основ для непрофильных специальностей. Редакционная кол- ДЛЯ НЕПРОФИЛЬНЫХ СПЕЦИАЛЬНОСТЕЙ легия также надеется представить вниманию читателей КЛАССИЧЕСКИХ УНИВЕРСИТЕТОВ широкую гамму практикумов по информатике и ее математическим основам, реализующих основные алгоритмы и идеи теоретической информатики.

Выпуск серии начат при поддержке корпорации Microsoft в рамках междисциплинарного научного проекта МГУ имени М.В. Ломоносова.

Интернет-университет информационных технологий Москва • УДК 004:378.

ВВЕДЕНИЕ

ББК 32.81р Информационные технологии изменяются так П72 Борисенко В.В., Люцарев В.С., Михалев А.А., стремительно, что полученные примитивным тренинМихалев А.В., Панкратьев Е.В., Чеповский А.М., гом навыки быстро устаревают. Поэтому выпускники Чирский В.Г.

Преподавание информатики и математических основ инфор- университетов должны обладать набором фундаменматики для непрофильных специальностей классических тальных знаний в области компьютерных наук, позвоуниверситетов: [учеб. пособие]/В. В. Борисенко [и др.]; [ред. ляющих быстро осваивать современные компьютерные А.В. Михалев]. — М.: Интернет-Ун-т Информ. Технологий, 2005. технологии.

— 144 с.: ил., табл. — (Основы информатики и математики).

Информационные технологии и программирование — ISBN 5-9556-0037-X.





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

Рекомендации по преподаванию информатики включают тре- Поэтому в данных рекомендациях рассматривается совбования к совокупности знаний по информатике и её матема- местно образование по информатике и математике.

тическим основам для непрофильных специальностей класси- Ключевым элементом данных рекомендаций являческих университетов, вариант программы курса информатиется «Совокупность знаний по математике и информатики и путеводители по литературе. Разработка велась с учетом ке», определяющая области знаний, которые должны сопрактики преподавания на химическом факультете в рамках ставлять основную часть учебных программ по информамеждисциплинарного научного проекта МГУ им. М.В. Ломонотике и математике на непрофильных факультетах унисова. Проект поддержан корпорацией Microsoft.

верситетов. Наборы тем «Совокупности знаний» дают Для преподавателей университетов.

возможность составлять сбалансированные и взаимосвяISBN 5-9556-0037-X занные программы курсов математики и информатики.

© Текст: Борисенко В.В., Люцарев В.С., Михалев А.А., Михалев А.В., Система «Совокупности знаний» опирается на слеПанкратьев Е.В., Чеповский А.М., Чирский В.Г., дующие руководства по составлению учебных планов © Оформление: Интернет-Университет Информационных Технологий, по информатике для университетов, являющиеся совместной разработкой Компьютерного общества Института категорий слушателей (Кушниренко А.Г., Лебедев Г.В.

инженеров по электротехнике и электронике (IEEE-CS) Программирование для математиков. — М.: Наука, и Ассоциации по вычислительной технике (ACM): 1988; Ершов А.П., Кушниренко А.Г., Лебедев Г.В., СемеСС2001 — «Computing Curricula 2001 Computer нов А.Л., Шень А.Х. Основы информатики и вычислиScience» (перевод: Рекомендации по преподаванию ин- тельной техники. — М.: Просвещение, 1988).

форматики в университетах/ Пер. с англ.: СПб.: Изда- Требования к уровню знаний и программы по куртельство СПбГУ, 2002. — 372 с.); су информатики создавались с учетом практики препоSE2004 — «Software Engineering 2004. давания на химическом факультете МГУ им. М.В. ЛомоCurriculum Guidelines for Undergraduate Degree Programs носова с целью совершенствования преподавания матеin Software Engineering». матики и компьютерных наук на естественнонаучных При подготовке данных рекомендаций учитыва- факультетах по междисциплинарному научному проеклись ведущие мировые программы по сертификации на- ту № 30 (2004 г.) МГУ им. М.В. Ломоносова.

выков владения персональным компьютером (ECDL — Предлагаемые рекомендации разрабатывались в The European Computer Driving Licence standard of com- рамках совместного проекта механико-математическоpetence) и требования к структуре учебного плана по го и химического факультетов МГУ им. М.В. Ломоносоинформатике IFIP/UNESCO Informatics Curriculum ва при поддержке корпорации Microsoft. Материалы Framework 2000 (ICF-2000), разработанные Междуна- проекта доступны в электронном виде на сайте «Фундародной федерацией по обработке информации (IFIP) ментальная информатика»: http://math.chem.msu.ru.

под эгидой ЮНЕСКО.

В отличие от международных документов СС2001 и SE2004, данные рекомендации содержат полную структуру «Совокупности знаний по математике».

В основу предлагаемых рекомендаций положен многолетний опыт (более 30 лет) преподавания программирования Лабораторией вычислительных методов механико-математического факультета МГУ им.

М.В. Ломоносова. Авторы опирались на практику создания на основе этого опыта учебников для различных Совокупность знаний

СОДЕРЖАНИЕ

Совокупность знаний по информатике и математическим

СОВОКУПНОСТЬ ЗНАНИЙ

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

ПО ИНФОРМАТИКЕ И МАТЕМАТИЧЕСКИМ

классических университетов........................

ОСНОВАМ ИНФОРМАТИКИ

Разделы совокупности знаний..................

ДЛЯ НЕПРОФИЛЬНЫХ СПЕЦИАЛЬНОСТЕЙ

Темы совокупности знаний по математическим

КЛАССИЧЕСКИХ УНИВЕРСИТЕТОВ

Темы совокупности знаний по информатике........ Примерный учебный план базового курса «информатика»

для непрофильных специальностей классических университетов..................................35 Совокупность знаний определяет области знаний, которые должны составлять основную часть учебных проЛитература по математическим основам информатики, по программированию и информационным технологиям.. Базовая учебная литература по математическим Базовая учебная литература по программированию знаний. Области делятся на Разделы совокупности знаний, и информационным технологиям..............71 которые представляют собой отдельные модули, объединяющие наборы Тем совокупности знаний.

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

РАЗДЕЛЫ СОВОКУПНОСТИ ЗНАНИЙ ПО

ОБЛАСТИ ЗНАНИЙ

ИНФОРМАТИКЕ ДЛЯ НЕПРОФИЛЬНЫХ

MT — Математические и теоретические основы информатики.

СПЕЦИАЛЬНОСТЕЙ КЛАССИЧЕСКИХ

CL — Компьютерная грамотность.

УНИВЕРСИТЕТОВ

P — Программирование и организация ЭВМ.

IT — Информационные технологии и компьютерные науки. CL. Компьютерная грамотность

РАЗДЕЛЫ СОВОКУПНОСТИ ЗНАНИЙ

РАЗДЕЛЫ СОВОКУПНОСТИ ЗНАНИЙ

ПО МАТЕМАТИЧЕСКИМ ОСНОВАМ ИНФОРМАТИКИ

ДЛЯ НЕПРОФИЛЬНЫХ СПЕЦИАЛЬНОСТЕЙ

КЛАССИЧЕСКИХ УНИВЕРСИТЕТОВ

MT. Математические и теоретические основы информатики P6. Функциональное программирование.

MT1. Множества, отношения, функции. P7. Объектно-ориентированное программирование.

MT2. Алгоритмы, сложность и структуры данных. P8. Языки разметки.

MT3. Вычислительная математика и численные методы. IT. Информационные технологии и компьютерные науки MT4. Математическая логика и теория доказательств. IT1. Языки программирования.

MT7. Элементы теории формальных языков и грамматик. IT4. Компьютерная графика и визуализация.

MT8. Элементы теории алгебраических структур. IT5. Интеллектуальные системы.

MT1. Множества, отношения, функции MT2.З. (i,b,a) Алгоритмы на графах.

MT1.1. (i) Язык наивной теории множеств. Множества и MT2.4. (а) Символьные вычисления. Алгоритмы компьюотображения (функции). терной алгебры (логики, геометрии).

MT1.2. (i) Аксиоматика Цермело-Френкеля. Натураль- MT2.5. (а) Алгоритмы кодирования, криптографии.

MT1.З. (а) Множества и классы, аксиоматика Гёделя-Бер- MT2.7. (а) Квантовые алгоритмы.

MT1.5. (i,b,a) Упорядоченные множества. MT2.10. (а) Эффективная вычислимость. Нормальные алMT1.6. (i,b,a) Булевы алгебры. горитмы Маркова. Алгоритмы Тьюринга. Вычислимость по Эрбрану-Гёделю. Рекурсивно-переMT2. Алгоритмы, сложность и структуры данных числимые множества. Алгоритмические проблеMT2.1. (i,b) Наивное понятие об алгоритме (i). Примеры мы, примеры неразрешимых проблем. Вычисликлассических алгоритмов (алгоритм деления с ос- мая теория категорий.

татком (i), алгоритм Евклида (i), схема Горнера (функции на последовательностях) (i), быстрое MT3. Вычислительная математика и численные методы возведение в степень (i), сортировка, поиск (i), ме- MT3.1. (i) Погрешность.

тод Ньютона и другие алгоритмы нахождения кор- MT3.2. (i,b) Интерполяция, экстраполяция.

ней многочленов (i), алгоритмы арифметики (дос- MT3.3. (i,b) Численное дифференцирование.

таточные условия простоты (i), малая теорема MT3.4. (i,b,a) Численное интегрирование.

Ферма (i), теорема Эйлера, вероятностные тесты MT3.5. (i,b,a) Аппроксимация функций.

простоты (i), непрерывные дроби (i), факториза- MT3.6. (b,а) Преобразования Фурье.

ция (i), китайская теорема об остатках (i)), метод MT3.7. (i,b,a) Вычислительные методы линейной алгебры.

Гаусса (i), результант (b), симплекс-метод (i), ин- MT3.8. (b,а) Численные методы решения дифференцитегрирование рациональных функций (i)). альных уравнений (обыкновенных и в частных MT3.9. (а) Численные методы решения интегральных состояний. Распознавание автоматов. Минимальуравнений. ный детерминированный конечный автомат.

MT4. Математическая логика и теория доказательств MT6.5. (a) Алгебраическая теория автоматов.

MT4.1. (i,b,a) Логика высказываний. Исчисление выска- MT6.6. (a) Представление языков в автоматах.

MT4.2. (b,a) Языки первого и высших порядков. MT6.8. (b,a) Элементы кибернетики.

MT4.З. (i,b,a) Логические законы.

MT4.4. (b,a) Нормальные формы формул. MT7. Элементы теории формальных языков и грамматик MT4.5. (a) Формальные аксиоматические теории. MT7.1. (b,a) Формальные языки, синтаксис и семантика, MT4.6. (a) Неполнота и неразрешимость аксиоматиче- способы задания. Операции над языками.

MT5.1. (i) Основные понятия теории графов. MT7.4. (a) Автоматные и регулярные языки, способы заMT5.2. (i) Маршруты, цепи и циклы. дания. Теорема Клини. Автоматные грамматики.

MT5.6. (a) Подсчет графов. Раскраска графов. MT7.6. (b,a) Распознаватели КС-языков. Задача разбора, MT6.1. (i) Детерминированные и недетерминированные MT7.9. (a) Полукольца и степенные ряды.

MT6.2. (b,а) Автоматы Миля, Мура, Рабина-Скотта.

MT8. Элементы теории алгебраических структур МT9. Комбинаторика MT8.1. (i,b,a) Алгебраические операции. МT9.1. (i) Методы суммирования. Рекуррентные соотноMT8.2. (b,a) Группы, группы преобразований, группы Ли. шения. Целочисленные функции.

MT8.З. (b,a) Полугруппы, квазигруппы, лупы. МT9.3. (i). Производящие функции.

MT8.5. (b,a) Коммутативная алгебра и алгебраическая МT9.5. (i,b) Теория обращения.

геометрия (поля, коммутативные кольца, много- МT9.6. (b,a) Алгебры инцидентности.

члены, идеалы, теория Галуа расширений полей). МT9.7. (b,a) Матроиды.

MT8.6. (a) Некоммутативные кольца и алгебры (ассоциа- МT9.8. (i,b,a) Перечислительная комбинаторика.

тивные, лиевские, йордановы кольца и алгебры). МT9.9. (i,b,a) Дискретная вероятность. Хеширование.

MT8.7. (b,a) Линейная и полилинейная алгебра.

MT8.8. (a) Представления алгебр.

ТЕМЫ СОВОКУПНОСТИ ЗНАНИЙ

MT8.9. (b,a) Решетки.

ПО ИНФОРМАТИКЕ

MT8.12. (a) Теория моделей. CL1.1. (i) Фон-Неймановская архитектура компьютера.

MT8.13. (a) Алгебры с дополнительными структурами (то- ЦПУ, память, периферийные устройства.

пологические алгебры, упорядоченные алгебраи- CL1.2. (i) Представление информации: числа, текст, граческие структуры, дифференциальная алгебра, фика, звук, видео. Представление программы как MT8.14. (b,a) Приложения алгебры (криптография, теория Принцип абстракции при построении сложного кодирования, релейно-контактные схемы, теория программного обеспечения.

автоматов, алгебраическая теория баз данных). CL1.3. (i) Операционная система как менеджер ресурсов ный). Файловые системы. Системы безопасности. CL3. Распределенные технологии CL1.4. (i) Передача информации между компьютерами CL3.1. (i) Электронная почта: принципы функционирокомпьютерные сети). Объединение сетей, адреса- вания, правила и этика ее применения. Технолоция и маршрутизация. Понятие о сетевом прото- гии на основе электронной почты: почтовые робоколе. Концепция слоев протоколов. TCP. ты, списки рассылки, телеконференции.

CL1.5. (i) Понятие глобальной сети Internet. Адресация и CL3.2. (i) Клиент-серверные технологии. Сетевая файлоименование узлов сети. вая система. World Wide Web как распределенный CL2. Локальные технологии гипертекст и как платформа для построения расCL2.1. (i) Работа с графической информацией. Проблемы пределенных приложений. Поиск информации в цветопередачи. Проблемы преобразования и изо- WWW. Поисковые машины. Языки формирования бражения векторной и растровой графики. Прин- запросов.

ципы редактирования векторной и растровой гра- CL3.3. (i) Одноранговые сети.

CL2.2. (i) Работа с текстовой информацией. Компьютер- кластеры и GRID-технологии.

ный текст и его изображение. Совмещение текста с другими типами информации (графика, форму- CL4. История информатики и социальные вопросы лы, электронные таблицы) в одном документе. Ги- CL4.1. (i,b,a) История возникновения и развития аппапертекст. ратного и программного обеспечения компьютеCL2.3. (i) Работа с электронными таблицами. Преобразо- ров.

вание и анализ числовых и нечисловых данных: CL4.2. (i,b,a) История развития отечественной вычисливычисления, сортировка и поиск, построение диа- тельной техники и компьютерных наук.

CL2.4. (i) Компьютерная презентация. Создание слайдов риски, связанные с его применением.

CL2.5. (i,b) Пакеты прикладных программ для научных программного обеспечения и юридические аспекрасчетов (численные методы, символьные вычис- ты использования программных продуктов.

P1.1. (i,b) Понятие алгоритма. Алгоритмические языки. отрезка пополам и методом итераций Ньютона.

P1.2. (i,b) Элементы алгоритмического языка. Подпро- P1.9. (b) Рекурсия, примеры рекурсивных алгоритмов.

P1.3. (i,b) Понятие переменной. Типы переменных: це- P1.11. (b) Стек как абстрактная структура данных и его лые, вещественные, символьные, логические. За- реализация на базе массива.

пись целых чисел в двоичном и шестнадцатерич- P1.12. (b) Стековый вычислитель.

ном виде. Строки и их представление в виде мас- P1.13. (b) Обратная польская запись формул и программ.

сивов символов. P1.14. (b) Очередь как абстрактная структура данных. РеP1.4. (i,b) Простейшие алгоритмы: вычисление функ- ализация очереди на базе циклического массива.

ций на последовательностях: сумма, минимум и P1.15. (i,b) Линейный двунаправленный список как абмаксимум, минус бесконечность как максимум страктная структура данных. Однонаправленный пустой последовательности, вычисление значения список. Понятие ссылочной реализации структумногочлена (схема Горнера). ры данных.

P1.5. (i,b) Построение цикла «пока» с помощью инвари- P1.16. (b) Множество и нагруженное множество как абанта. Вычисление НОД, быстрое возведение в сте- страктные структуры данных. Битовая реализация пень, расширенный алгоритм Евклида, прибли- ограниченного множества. Наивная реализация женное вычисление логарифма без разложения в множества и последовательный поиск. Непрерывряд. ная реализация множества, основанная на упоряP1.6. (i,b) Вычисления с вещественными числами. Осо- дочении его элементов и бинарном поиске. Побенности приближенной арифметики. Суммиро- строение и доказательство правильности програмвание рядов, вычисление стандартных функций с мы бинарного поиска, основанное на схеме попомощью разложения в ряд. Численное интегри- строения цикла с помощью инварианта.

рование. P1.17. (b) Задача сортировки массива. Оценка снизу чисP1.7. (i,b) Задача интерполяции. Интерполяционные ла сравнений в произвольном алгоритме сортимногочлены Лагранжа и Ньютона. Сплайн-интер- ровки, основанная на представлении алгоритма в ным временем работы: пирамидальная сортиров- ния. Устройства, управляющие шиной.

ка, сортировка слиянием. Быстрая сортировка. P2.5. (b) Процессор, распараллеливание на уровне проP1.18. (b,a) Реализация множества и нагруженного мно- цессора. Система команд процессора, многотактжества с помощью хеширования: идея хеширова- ное выполнение команд. Конвейер.

ния, коллизии. Примеры хеш-функций. Способы P2.6. (a) Взаимодействие процессора и памяти. Кэширазрешения коллизий. рование, взаимодействие контроллера кэша с проP1.19. (b,a) Деревья, ссылочная реализация дерева. Алго- цессором, памятью и шиной; многопутный конритм рекурсивного обхода дерева. Сбалансиро- вейер и многоуровневые кэши. Когерентность, ванное бинарное дерево, бинарный поиск по де- явная и неявная реализация когерентности.

P2.1. (i,b) Общие понятия о цифровой логике, предста- среды.

вление данных (биты, байты, слова), хранение P2.9. (a) Параллелизм. Основные понятия. Конвейерданных в памяти. ность и параллелизм. Векторные процессоры. ПиP2.2. (i,b) История развития ЭВМ, архитектура фон ковая и реальная производительности. ЭффективНеймана. Исполнение программ, машинный код, ность. Законы Амдаля. Классификация многоассемблер, программа на языке высокого уровня. процессорных ЭВМ.

P2.3. (b) Архитектура ЭВМ, общие представления. Ос- P2.10. (a) Многопроцессорные ЭВМ и многомашинные новные устройства. Процессор; состав процессо- комплексы. Типы доступа к памяти. Общая пара; микрокод и такты процессора. Память; адреса. мять. Распределенная память. Кластеры, системы Разрядность ЭВМ. Общая шина; протокол шины, с отображением памяти. Топологии.

такт шины. Накопители на магнитных дисках, контроллер. Другое периферийное оборудование. P3. Операционные системы P2.4. (b) Взаимодействие компонентов ЭВМ; парал- P3.1. (i,b) История развития операционных систем. Налельное выполнение операций разными компо- значение и функции ОС. Взаимодействие ОС с бования к современной ОС: расширяемость, пере- (атомарность, транзакции, блокировки).

носимость, совместимость, надежность и отказо- P3.7. (a) Управление потоками. Основные механизмы устойчивость, безопасность, производительность. управления потоками. Основные синхронизируюP3.2. (i,b) Архитектура ОС. Общие понятия. Понятия щие объекты (критическая секция; событие; семаядра и модулей ОС. Ядро ОС, режим ядра и режим фор; объект исключительного владения; барьерпользователя. ная синхронизация; мониторы и проч.).

P3.3. (b) Структура классического ядра ОС (слой аппа- P3.8. (b) Функции ОС по управлению памятью. Виртуратной поддержки, машинно-зависимые компо- альные и физические адреса, адресное пространненты, базовые механизмы ядра, менеджеры ре- ство, понятие процесса.

сурсов, интерфейс системных вызовов). P3.9. (a) Алгоритмы распределения памяти. Свопинг, P3.4. (b) Сетевые операционные системы. Понятия «се- виртуальная память, разделяемые сегменты. Кэтевая ОС» (совокупная ОС, распределенная ОС, ширование данных.

ОС с поддержкой сети, надстройка над ОС авто- P3.10. (a) Механизмы выделения памяти процессу, проеномного компьютера для работы в сети). Функци- цирование файлов, разделяемая память. Реализаональные компоненты сетевой ОС, сервисы и ция функций управления памятью в распростраслужбы. ненных ОС. Управление адресным пространством P3.5 (b). Разделение процессорного времени в многоза- процесса. Кучи. Функции управления кучами.

дачных системах. Обзор основных классов ОС по P3.11. (b) Задачи ОС по управлению файлами и устройпринятым подходам к разделению ресурсов: одно- ствами. Спулинг, буферизация и кэширование.

пользовательские однозадачные (прерывания, ре- Понятие файловой системы. Поддержка синхронзиденты); многопользовательские многозадачные ных и асинхронных операций. Многослойная мовытесняющая многозадачность). Понятия «опе- дель подсистемы ввода/вывода.

рационная система разделения времени» и «систе- P3.12. (a) Файловая система, логическая и физическая P3.6. (a) Потоки. Стратегии планирования на основе организации распространенных файловых систем.

приоритетов и квантов времени. Нити. Разделе- Файловые операции. Блокировки. Транзакции и ние ресурсов при мультипрограммировании. журналирование. Стандартные файлы ввода и выОбеспечение безопасности и целостности данных вода, перенаправление.

P3.13. (a) Специальные файлы, аппаратные драйверы, ного кода, объектный файл. Библиотеки объекткэширование, отказоустойчивость файловых и ных файлов. Построение исполняемого файла.

дисковых систем. Обмен данными, каналы, очере- Статическое и динамическое связывание. Библиди сообщений, разделяемая память. отеки динамической компоновки и библиотеки P3.14. (b) Защита данных, контроль доступа. Авториза- импорта.

ция, права доступа, привилегии, аудит. Классы за- P4.6. (a) Обращения к функциям операционной систещиты операционных систем. Организация конт- мы. Драйверы. Резидентные программы.

роля доступа к файлам и управление правами P4. Низкоуровневое программирование Синтаксис и семантика языка программирования.

P4.1. (b) Исполнение программ, машинный код. Коды Данные. Интерпретация и компиляция. Элеменкоманд. Регистры процессора. Адреса. Типы дан- тарные типы данных. Выражения. Присваивание.

P4.2. (b) Система команд ЭВМ; общие представления. P5.2. (b) Основные конструкции языка программироваРегистры процессора, режимы адресации. Основ- ния. Последовательно выполняемые операторы.

ные команды. Ассемблер, синтаксис. Стек. Функ- Операторы выбора. Операторы цикла. Операторы ции; передача аргументов функций по значению и передачи управления. Ввод/вывод.

P4.3. (a) Приемы программирования (в абсолютных и управляемая программистом и системой. Указатеотносительных адресах; позиционно-независи- ли и адреса объектов. Адресная арифметика, типы P4.4. (a) Реальный режим. Защищенный режим. Адре- P5.4. (b) Функции и ссылки. Описания и вызовы функсация защищенного режима. Прерывания в защи- ций. Рекурсивные функции. Указатели на функщенном режиме. цию. Ссылки. Способы передачи параметров. ПеP4.5. (a) Разработка приложений на ассемблере. Исход- регрузка функций. Шаблоны функций.

ный код, файлы, модули. Компилирование исход- P5.5. (b) Структурированные типы данных. Структура как тип и совокупность данных. Объединения раз- P7.2. (b) Абстрактные типы данных. Понятие абстракнотипных данных. ции. Абстрактные типы данных, определяемые P6.1. (b) Функциональная парадигма в программирова- P7.3. (a) Определение типов. Эквивалентность типов.

P6.2. (a) Чистые функции. Функциональные формы. P7.4. (b) Класс как абстрактный тип. Понятие класса.

Рекурсивные функции. Функции высшего поряд- Конструкторы и деструктуры. Доступность комка. Алгебра функциональных программ. понентов класса. Создание объектов. Указатель на P6.3. (b,a) Алгоритм сопоставления с образцом. Осо- объекты.

бенности реализаций в функциональных языках. P7.5. (b) Иерархия классов.

P6.4. (a) Понятие лямбда-выражения. Синтаксис. Ре- P7.6. (a) Множественное наследование. Повторяющиедукция и нормальные формы. Чистое лямбда-ис- ся базовые классы. Виртуальные базовые классы.

P6.7. (a) Синтаксис и семантика конкретного функцио- P7.8. (i) Управляемое событиями программирование.

P6.9. (b,a) Применение функциональных языков. сведения о приложениях Windows и интерфейсе P7. Объектно-ориентированное программирование иерархия и отношения окон, управляющие элеP7.1. (i) Объектно-ориентированная и компонентная па- менты, базовые и стандартные классы окон, порорадигмы. Типы данных. Инкапсуляция и наследова- ждение подклассов и суперклассов, диалоги).

ния оболочек над управляемым событиями при- грамма подготовки библиографии bibtex.

ки SGML. Структура документа. Теги, атрибуты, разделов документа и формул. Оформление ссысущности. Описание типа документа. лок. Оформление таблиц и включение графики.

P8.2. (b) Язык HTML. Основные принципы: структура файла, теги, открывающие и закрывающие теги, IT1. Языки программирования (i, b, a) атрибуты тегов. Заголовок и тело страницы. Ги- IT1.1. (i) Обзор развития языков программирования.

пертекстовые ссылки. Добавление графики. Не- Классификация. Понятие о синтаксисе и семаннумерованные и нумерованные списки. тике языков программирования.

P8.3. (b,a) Возможности HTML. Использование Java- IT1.2. (b) Формальные методы описания синтаксиса.

апплетов и Java-скриптов. Использование фрей- Форма Бэкуса-Наура.

мов. Передача данных от клиента к HTTP-серверу, IT1.3. (a) Семантика: операционная, денотационная, формирование страниц на лету сервером. Описа- пропозициональная.

P8.3. (b,a) Процессоры XML. Межплатформенная сов- IT1.6. (b) Интерпретируемые языки, среда исполнения.

P8.5. (b) TeX — язык программирования для подготовки IT1.7. (a) Библиотеки функций и время связывания.

публикаций научных текстов со сложными фор- IT1.8. (b) Использование разных соглашений о вызове мулами. Форматы AMSTeX, LaTeX. Стили book, функций. Прототипы функций, заголовочные article, amsbook, amsart. Пакет babel. Процесс ком- файлы. Области видимости объектов. Доступ к пиляции, просмотра и печати документа. Про- функциям операционной системы. Понятие API.

IT1.9. (b) Библиотека времени исполнения; поддержка ных. Формирование запроса, базовая функциовнутренних механизмов языка программирова- нальность.

ния, взаимодействие с операционной системой. IT2.8. (a) Структурированный язык запросов SQL. ОпеIT1.10. (a) Архитектура компиляторов. Лексические ана- рации обновления. Транзакции. Представления.

лизаторы. Синтаксический анализ. Генерация кода. Курсор. Динамический SQL.

IT1.11. (a) Методы оптимизация во время компиляции. IT2.9. (b) Объектные и объектно-реляционные базы IT1.12. (b) Управление памятью. Статическое управление данных.

памятью. Управление кучей. Чистка мусора. IT2.10. (a) Объектная модель в базах данных. Стандарт IT1.13. (b) Концепция «промежуточного языка». Понятие SQL-99.

виртуальной машины. Переносимость кода. IT2.11. (a) Проектирование баз данных. Инфологическое IT1.14. (a) Параллельность в языках программирования. проектирование. Построение ER-моделей и их IT2.1. (b) Базы данных и информационные системы, систем. Язык UML: основные понятия.

IT2.3. (a) Применение аппарата математической логики IT2.14. (b) Использование языка XML для описания IT2.4. (b) Концепции технологии доступа к данным. Мо- IT2.15. (a) Поиск информации в нечеткой среде.

дели данных с навигацией. Реляционная модель.

IT2.5. (b) Основные понятия реляционной модели (от- IT3.1. (i) Типы сетей передачи информации: сети с комношения, нормализация, целостность). мутацией каналов и с коммутацией пакетов. ОтлиIT2.6. (a) Реляционная теория. Реляционная алгебра. Те- чие компьютерных сетей как сетей с передачей паория нормализации. Реляционное исчисление. кетов от телефонных сетей как сетей с коммутациЦелостность. ей каналов.

IT2.7. (b) Структурированный язык запросов SQL. Исто- IT3.2. (i) Классификация сетей: по размеру — локальрия, структура, стандарты. Язык определения дан- ные, городские и внутрикорпоративные, всемирПреподавание информатики Совокупность знаний ные; по типу передачи — с коммутацией каналов и IT3.6. (b,a) Алгоритмы доступа к среде передачи в протос передачей пакетов; по роли отдельных узлов се- колах физического уровня. Протоколы со случайти — одноранговые сети и сети типа клиент-сер- ным и детерминированным доступом. Важнейшие вер; по используемым сетевым протоколам. детерминированные протоколы: маркерное кольIT3.3. (i,b) Центральное понятие в теории сетей — поня- цо и шина (Token Ring и Token Bus), двойная шитие протокола как систематизированного описа- на с распределенной очередью (DQDB), волоконния соглашений о взаимодействиях. Необходи- но-оптический интерфейс (FDDI). Протокол со мость уровневого описания протоколов. Модель случайным доступом Ethernet.

ISO/OSI уровневого описания протоколов компь- IT3.7. (b,a) Форматы пакетов в протоколе Ethernet, сисютерных сетей. тема адресов в Ethernet, простые и широковещаIT3.4. (b,a) Различие между протоколами транспортного тельные пакеты. Типы носителей в сетях Ethernet.

и сессионного уровней. Передача дейтаграмм и Способы подключения узлов и топология сетей установка виртуального соединения. Способы ре- Ethernet, физические ограничения по размеру сеализации протокола сессионного уровня над ти, способы соединения сегментов сети.

транспортным уровнем: передача контрольной IT3.8. (i,b) Башня TCP/IP протоколов сети Internet. Просуммы пакетов, повтор передачи искаженных па- токол IP как базовый протокол в Internet. Уровни кетов, протокол скользящих окон для упреждаю- протоколов IP и TCP в классификации ISO/OSI.

щей передачи и исправления ошибок. Протоколы Система адресов в сети Internet. Организация сегInternet: базовый протокол IP транспортного ментов сети. Статическое и динамическое распреуровня и протокол TCP сессионного уровня. Не- деление IP-адресов. Способы подключения лозависимость протоколов Internet от протоколов кальной сети к Internet.

нижних уровней (физического, канального и сете- IT3.9. (i,b) Полный адрес процесса в Internet: IP-номер и IT3.5. (b,a) Протоколы физического уровня: кодирование пара (IP-номер, порт) как адрес сокета. Установка битов и байтов электрическими, радио и оптиче- соединения между сервером и клиентом в протокоскими сигналами. Среда передачи, ее разновидно- ле TCP. Известные сервисы и выделенные порты.

сти. Синхронная и асинхронная передача. Понятие IT3.10. (i,b) Параллельная система символических адренесущей частоты. Манчестерское кодирование. сов в Internet. Иерархическая система адресов, обПреподавание информатики Совокупность знаний ласти. Система серверов имен в Internet. Отобра- щью интерфейса сокетов на языках C, C++ и C#.

жение символических имен на IP-адреса и обрат- Классы в C#, поддерживающие сетевой обмен по ное отображение с помощью зоны in-addr.arpa. протоколу HTTP и другим протоколам прикладIT3.11. (i,b) Модем как устройство для передачи цифро- ного уровня.

вых данных по аналоговой линии. Недостатки модема и перспективы развития телефонных сетей. IT4. Компьютерная графика и визуализация Устройство и протоколы Hayes-совместимого мо- IT4.1. (i) Представление изображений в компьютере: видема: режим команд и режим данных, AT-коман- деорежимы, видеопамять, растеризация изобрады. Работа на удаленном компьютере через модем жений.

с помощью терминальной программы. Временное IT4.2. (b) Двумерная графика: алгоритмы рисования липодключение к Internet с помощью модема, про- ний Брезенхема (на примерах прямой линии, октокол PPP как реализация IP-протокола для теле- ружности и эллипса). Алгоритм сглаживания лифонных линий. Протокол UUCP и два способа ра- ний (antialising). Рекурсивный алгоритм закрашиботы с электронной почтой: 1) с помощью прото- вания области.

кола UUCP (без подключения к Internet); 2) с по- IT4.3. (b) Алгоритмы увеличения (растяжения) двумермощью временного подключения к Internet через ных изображений: повтор точек (replicate), билипротокол PPP и с использованием протокола ра- нейная и кубическая интерполяция. Алгоритм боты с удаленным почтовым ящиком POP3. уменьшения размера (сжатия) двумерного изобраIT3.12. (i,b,a) Наиболее важные протоколы прикладных жения.

уровней в сети Internet (FTP, SMTP, POP3, Telnet, IT4.4. (b) Векторная графика и ее отличие от растровой, SSH, HTTP и др.). Построение Internet-прото- способы задания масштабируемых объектов.

колов на основе текстовых команд. IT4.5. (i,b,a) Форматы файлов, представляющих изобраIT3.13. (a) Интерфейс сокетов как интерфейс для про- жения. Основные алгоритмы сжатия изображений граммирования сетевого обмена. Процедура уста- без потери точности: RLE, GIF, Lossless JPEG.

новки TCP-соединения и роли сервера и клиента. Сжатие изображений с потерей точности: JPEG, Передача данных через сеть, понятие потока дан- фрактальное сжатие (основные идеи).

ных и общий интерфейс для работы с файлами и IT4.6. (b) Основы трехмерной графики. Использование цию видеокарты, передача в видеокарту описаний объектов (ящик, сфера, цилиндр) и геометричетрехмерных объектов. ских объектов произвольной формы, представIT4.7. (b) Алгоритмы построения трехмерных изобра- ленных в виде разбиения на плоские грани. Исжений: удаление невидимых линий с помощью пользование нормалей и другие способы сглажибуфера глубины (Z-буфера). Освещение граней, вания поверхностей. Определение источников использование нормалей. Модели источников света. Анимация: передача сообщений от одних света. Алгоритмы Гуро и Фонга закрашивания узлов другим; узлы, обеспечивающие анимацию треугольника или выпуклого многоугольника в (сенсоры и интерполяторы), примеры.

IT4.8. (a) Библиотека OpenGL для поддержки трехмерной IT5. Интеллектуальные системы графики. Проективные координаты и проективные IT5.1. (b) Введение в интеллектуальные системы. Задачи преобразования, их использование при описании искусственного интеллекта.

трехмерного мира. Матрицы преобразований IT5.2. (b,a) Модели представления знаний: продукционMODELVIEW и PROJECTION. Типы проекций на ная модель, семантические сети, фреймы. Вывод двумерную плоскость: ортогональная и проектив- на знаниях, прямой и обратный вывод. Стратегии ная (центральная) проекции. Параметры централь- поиска. Нечеткие знания.

ной проекции: угол зрения, ближайшая и удален- IT5.3. (a) Метод резолюций. Автоматическое доказаная плоскости отсечения. Представление трехмер- тельство теорем.

ных объектов в виде разбиения на треугольники IT5.4. (b,a) Базы знаний.

или выпуклые многоугольники. Использование IT5.5. (b,a) Экспертные системы.

нормалей для сглаживания изображения поверхно- IT5.6. (a) Машинное обучение. Нейронные сети.

стей, аппроксимированных многоугольниками. IT5.7. (a) Представление данных и знаний в глобальной сеОписания источников света. Задание свойств мате- ти. Программные агенты и мультиагентные системы.

риала. Определение источников света. Задание тек- IT5.8. (a) Прикладные задачи теории распознавания IT4.9. (a) Язык VRML описания трехмерных объектов и IT5.9. (a) Обработка текстов на естественном языке.

трехмерных миров. Основы языка, простейшие Извлечение смысла из текста. Задача автоматичепримеры. Описание простейших геометрических ского перевода текстов.

IT6.1. (b) Основы методологии проектирования ПО. IT7.2. (b,a) Алгоритмы операций над целыми числами IT6.2. (a) Структурные методы анализа и проектирова- чисел, разложение на множители).

ния. Принципы функционального моделирова- IT7.3. (a) Модулярные вычисления (кольца вычетов, киния. Моделирование данных. тайская теорема об остатках, конечные поля).

IT6.3. (a) Объектно-ориентированная парадигма в про- IT7.4. (a) Полиномиальные вычисления (арифметичеектировании. Подход на основе языка UML. ские операции, НОД, китайская теорема об остатIT6.4. (a) Программные средства поддержки жизненного ках, факторизация).

IT6.5. (b) Программные средства разработки ПО. (базисы Гребнера, их свойства, алгоритмы вычисIT6.6. (b,a) Использование программных интерфейсов ления и применения).

IT6.9. (b,a) Тестирование и проверка соответствия про- IT7.7. (a) Разностная компьютерная алгебра (суммирограмм. Генерация тестов. Методы тестирования. вание, нахождение элементарных решений разноIT6.10. (a) Формальные методы. Языки формальных спе- стных уравнений).

IT7.11. (a) Управление разработкой программного обес- IT8.1. (a) Задачи теоретического программирования.

печения. Различные методологии в разработке ПО Анализ и преобразование программ. Формальные и управлении программными проектами. Инстру- математические теории.

ментальные средства управления проектами. IT8.2. (a) Теория вычислимости. Модели вычислений.

IT7. Компьютерная алгебра и символьные вычисления рекурсивных функций. Теория неподвижной IT7.1. (b,a) Понятие числа в символьных вычислениях (це- точки.

IT8.3. (a) Операторные схемы. Информационный граф.

Граф несовместимости. Преобразование схем Яно- ПРИМЕРНЫЙ УЧЕБНЫЙ ПЛАН БАЗОВОГО ва. Исчисление равносильных преобразований. КУРСА «ИНФОРМАТИКА»

IT8.4. (a) Метавычисления. Смешанные вычисления. ДЛЯ НЕПРОФИЛЬНЫХ СПЕЦИАЛЬНОСТЕЙ Специализация программ. Инверсионное проКЛАССИЧЕСКИХ УНИВЕРСИТЕТОВ граммирование. Суперкомпиляция.

IT8.5. (a) Машины абстрактных состояний. Исполняемые спецификации. Формализация алгоритмов. Курс рассчитан на четыре семестра (первые два года IT8.6. (a) Формализация семантики языков программи- обучения) и ориентрован для последовательного решения рования. Операционная семантика. Деривацион- следующих задач:

ная семантика. Денотационная семантика. • воспитание «квалифицированного пользователя», • подготовка специалистов, владеющих основными современными информационными технологиями и способными применять их в своей профессиональной деятельности.

ОБЪЕМ АУДИТОРНОЙ УЧЕБНОЙ НАГРУЗКИ ПО

ПРОГРАММА ДИСЦИПЛИНЫ

БАЗОВОМУ КУРСУ «ИНФОРМАТИКА»

«ИНФОРМАТИКА» ДЛЯ НЕПРОФИЛЬНЫХ

СПЕЦИАЛЬНОСТЕЙ КЛАССИЧЕСКИХ

РАЗДЕЛ КУРСА

1. ПРОГРАММНЫЕ ИНСТРУМЕНТЫ И СРЕДСТВА

разметки 1.2. Электронная почта внешними источниками информации: импорт/эксПодготовка сообщений: поля адреса и темы, тело порт текстовых/XML-файлов; Web-запросы; запросообщения, вложения. Форматы сообщений. Осо- сы к базам данных.

бенности этики общения по электронной почте. 1.5. Работа с электронными презентациями Работа с адресной книгой. Работа с древовидной Понятие слайда и электронной презентации. Принструктурой хранилища сообщений. Организация ципы создания эффективной презентации: количепростейших процессов документооборота: ответы ство информации на слайде, единообразие оформна сообщения, пересылка и дистрибуция сообще- ления и цветового решения слайдов и т. п. Работа с ний и др. Понятие телеконференции. растровыми и векторными графическими изобраРабота с текстовыми документами различной степени жениями. Использование данных других приложесложности и структуры ний. Принципы анимации и действенное ее примеКомпьютерный текст и его изображение. Форматы нение для презентации.

символов, абзацев, разделов текстового документа.

Таблицы, формулы, графические изображения.

2. ПРОГРАММИРОВАНИЕ

Правила верстки, обеспечивающие эффективную работу с документом в процессе его жизненного ци- Цели: Овладение основами алгоритмического мышлекла. Коллективная работа: исправления, коммента- ния и умение сводить решение задачи к написанию алрии в документе. Подготовка документов к печати и горитма. Умение записывать алгоритмы на нефорк электронной публикации. мальном языке и владение языком практического проРабота с электронными таблицами граммирования Си. Умение сознательно применять Понятие электронной таблицы как средства обра- конструкции алгоритмического языка и доказывать ботки и анализа данных. Текстовые и числовые дан- правильность простейших программ по их тексту.

ные. Организация вычислений: формулы, встроен- Знание принципов устройства компьютера, пониманые функции, работа с массивами. Электронные ние простейших программ в кодах и на языке Ассембтаблицы как основа для сложных вычислений на лера. Знание основных вычислительных алгоритмов примере задач нелинейной оптимизации. Сорти- (численное интегрирование, нахождение корней функровка и фильтрация списков. Построение диаграмм ций, интерполяция). Знание основных структур данразличного типа. Связь электронных таблиц с ных и их реализаций, умение применять их в практиПреподавание информатики Программа дисциплины «Информатика» ческих задачах. Знание элементарной теории, приме- ренного алгоритма Евклида, приближенного выняемой при работе со структурами данных: задачи числения логарифма без использования разложепоиска и сортировки, теоретические оценки снизу ния в ряд.

числа операций и оптимальные алгоритмы сортиров- 2.1.2. Устройство компьютера ки, хеширование, применение бинарных деревьев. Устройство компьютера: Фон-Неймановская архитектура, процессор, оперативная память и внешние Понятие алгоритма. Алгоритмические языки. За- Устройство процессора: регистры процессора, типы пись алгоритма на неформальном языке (псевдоко- команд. Общие и плавающие регистры. Выделенде). Элементы алгоритмического языка. Подпро- ные регистры: счетчик команд PC (Program грамма и функция, оператор «если», цикл «пока» и Counter), указатель стека SP (Stack Pointer), указаарифметический цикл. тель кадра FP (Frame Pointer), регистр флагов CC Понятие переменной. Наиболее распространенные (Condition Codes), общие регистры R0, R1, R2,...

типы переменных: целые, вещественные, символь- Устройство конкретного процессора на примере ные, логические. Запись целых чисел в двоичном и Intel 80386.

шестнадцатеричном виде. Значения целых пере- Простейшие программы в кодах: на языке RTL виртуального процессора, на Ассемблере Intel 80386.

менных как элементы кольца вычетов Zm, где m=232. Массивы. Строки и их представление в виде 2.1.3. Основы языка Си массивов символов. Введение в язык Си: базовые типы, массивы и укаРазличные примеры алгоритмов: вычисление функ- затели, функции, локальные и глобальные переций на последовательностях (записанных в масси- менные. Управляющие конструкции языка Си.

ве): сумма, минимум и максимум, минус бесконеч- Примеры программ. Статические переменные и ность как максимум пустой последовательности, функции. Препроцессор: включение заголовочных вычисление значения многочлена (схема Горнера). файлов, задание констант с помощью #define. ТехПостроение цикла «пока» с помощью инварианта: нология программирования: h-файлы и c-файлы, общая схема, иллюстрация на примерах вычисле- порядок описания и использования глобальных пения НОД, быстрого возведения в степень, расши- ременных и функций.

2.1.4. Приближенные вычисления 2.1.6. Структуры данных, их использование и реализация Работа с вещественными числами типа double в чисел, особенности приближенной арифметики Стек как абстрактная структура данных и его реалиневыполнение законов ассоциативности и дистризация на базе массива. Проект «Стековый калькулябутивности). Программа, вычисляющая машинный Вычисления с вещественными числами: суммиропараметров функциям (роль стека и регистров SP, PC, вание рядов, вычисление стандартных функций (sin, cos, exp и т. п.) с помощью разложения в ряд.

Численное интегрирование: формулы прямоугольСтековый вычислитель. Примеры использования ников, трапеций, формула Симпсона.

Задача интерполяции. Интерполяционные многопромежуточный язык IL (Intermediate Language), члены Лагранжа и Ньютона. Сплайн-интерполяиспользуемый в архитектуре Microsoft.NET. Язык Нахождение корня функции методом деления отОчередь как абстрактная структура данных и ее исрезка пополам и методом итераций Ньютона.

ми. Стандартная библиотека: функции, описанные Линейный двунаправленный список как абстрактв стандартном заголовочном файле string.h. ная структура данных. Однонаправленный список.

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

стандартной библиотеки ANSI (заголовочный файл Ссылочная реализация Л2-списка.

Наивная реализация множества и последователь- 2.2. ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ И ПРОГРАММИРОВАНИЕ В ный поиск. Непрерывная реализация множества,

ОКОННЫХ СРЕДАХ

основанная на упорядочении его элементов и биЦели: Овладение основными понятиями структурного нарном поиске. Построение и доказательство правильности программы бинарного поиска, оснаследование и виртуальные методы), умение применованное на схеме построения цикла с помощью Задача сортировки массива. Оценка снизу числа Basic и т. п.) в организации работы с памятью и спосравнений в произвольном алгоритме сортировки собах выполнения программ (компиляция, интерпреn log n), основанная на представлении алгоритма в тация, компиляция на лету, сборка мусора); промевиде бинарного дерева. Алгоритмы с оптимальным жуточное положение языка C++. Умение писать провременем работы: пирамидальная сортировка стые программы на языках C++ и C# в системе программирования Microsoft.NET. Умение применять объHeapSort, сортировка слиянием. Быстрая (но не опектно-ориентированный подход при программироватимальная!) сортировка QuickSort.

помощью хеширования: идея хеширования, коллиязыке C#. Умение применять параллельные подпроцесзии. Примеры хеш-функций. Способы разрешения коллизий: хеш-таблица как массив голов однонаи владение современными приемами программироваправленных списков, хеш-таблица как обычный массив плюс массивы «мощность слоя» и «остаток».

Деревья, ссылочная реализация дерева. Алгоритм также событий Event и делегатов языка C#.

рекурсивного обхода дерева, примеры (файловая система и т. п.). Сбалансированное бинарное дере- 2.2.1. Возникновение понятия класса (исполнителя, инво, бинарный поиск по дереву, идея реализации формационно-прочного модуля) как набора данмножества с помощью сбалансированного дерева. ных (членов класса) плюс набора программ, работаПреподавание информатики Программа дисциплины «Информатика» ющих над этими данными (методов класса). Язык тодов как основа программирования графических 2.2.2. Описание класса, разделение в C++ описания клас- программ на C++ в архитектуре Microsoft.NET.

са на интерфейс (h-файл) и реализацию (cpp-файл). 2.2.6. Управляющие элементы окон (кнопки, текстовые поИнлайновая реализация несложных методов. ля, списки и т. д.), создание оконных форм. ПрограмПонятие объекта класса и различие между описани- мирование оконных приложений, использующих упем класса и объектом класса (чертеж автомобиля и равляющие элементы. Проект «Стековый калькуляавтомобиль). Конструктор и деструктор класса. Два тор» на языке C++ в архитектуре Microsoft.NET.

способа создания объектов класса в языке C++: 2.2.7. Язык C# как «настоящий» объектно-ориентированвнутри переменной (в статической или стековой ный язык. Различие между традиционными и объпамяти), в динамической памяти с помощью опера- ектно-ориентированными языками по способам тора new. Удаление объектов с помощью оператора размещения объектов в памяти и доступа к ним. Три 2.2.4. Ссылки (псевдонимы объектов) как новый тип дан- стековая, динамическая. Управляемая динамиченых языка C++, отсутствовавший в C. Важность ская память в объектно-ориентированных языках.

модификатора const в языке C++. Константные Различие между переменной в C++ (содержит сам указатели, ссылки и методы. Правильное описание объект) и C# (содержат handle объекта, сам объект прототипов методов как ключевой момент в освое- всегда расположен в управляемой динамической пании языка C++. Определение стандартных опера- мяти). C++ как промежуточный язык между традиторов языка C для классов на примере класса «Век- ционными и объектно-ориентированными.

тор на плоскости». Десять способов неправильного 2.2.8. Управление объектами и динамической памятью в описания прототипов метода сложения векторов и объектно-ориентированных языках. Сборщик муединственный правильный способ. сора как ключевой элемент исполняющей системы 2.2.5. Наследование и виртуальные методы. Программи- любого объектно-ориентированного языка. Отлирование в оконных системах на примере библиоте- чие компилируемых (традиционных) и интерпретики Framework в архитектуре Microsoft.NET. Обра- руемых (объектно-ориентированных) языков. Комботка оконных сообщений и виртуальные методы пиляция на лету (Just In Time compiling) как альтерклассов типа «Окно». Перекрытие виртуальных ме- натива интерпретации.

3. ФОРМАТЫ ДАННЫХ И ЯЗЫКИ РАЗМЕТКИ

2.2.9. Примеры программ на языке C#. Простейшая консольная программа — печать текущего времени. Цели: Понимание методов представления и описания Свойства (properties) в языке C# как воображаемые слабоструктурированных данных. Знание основных переменные, у которых есть 2 метода «прочитать элементов языков разметки. Умение создавать прозначение» get и «присвоить значение» set. стейшие электронные публикации. Умение использоПростейшая графическая программа на языке C#: вать слабоструктурированные данные для прикладрисование графика функции. ных программ и офисных приложений.

2.2.11. Исключения Exception и их использование в программировании. Блоки try, catch и finally. Преимуще- 3.1. Язык HTML описания гипертекстов в Internet. Осства использования механизма исключений вместо новные принципы: структура файла, теги, открываанализа кодов возврата функций (кодов ошибок). ющие и закрывающие теги, атрибуты тегов. ЗаголоИспользование нитей Thread для параллельного вок head и тело body страницы. Наиболее важпрограммирования. Необходимость использования ные теги: заголовки h1, h2,..., абзацы p, гинитей при программирования в оконных средах. пертекстовые ссылки a href="...", якори в тексте Делегаты C# как способ передачи указателей на ме- a name="...", добавление картинок img src="..."

тоды классов. Класс Thread как пульт управления ненумерованные и нумерованные списки ul и ская программа «Часы» на языке C#. 3.2. Более сложные возможности HTML: вставка переСинхронизация нитей: исключение совместного форматированного текста; вставка специальных доступа к критическим объектам при помощи мо- символов; задание таблиц. Использование Javaниторов (класс Monitor) или с помощью ключевого апплетов и Java-скриптов. Использование фрейслова lock. Примеры. мов. Передача данных от клиента к HTTP-серверу с 2.2.14. Сигнализация между нитями с помощью объектов помощью форм и формирование страниц на лету типа AutoResetEvent и ManualResetEvent, примеры. сервером. Описание стилей страниц с использоваСоздание оконных форм с управляющими элемен- нием языка CSS (Cascading Style Sheet), примеры.

тация на описания содержания, а не на визуальное основных протоколов прикладного уровня (Telnet, FTP, представление данных. Универсальность языка SMTP, HTTP, POP3, SSH). Понимание способа реалиXML и примеры его использования. Схемы и их ис- зации IP-протокола с помощью модема и протокола 3.4. TeX как язык для подготовки электронных публика- на C++ и C# с использованием интерфейса сокетов и ций. Форматы, Стили. Процесс компиляции, про- с использованием классов, реализующих протоколы роли отдельных узлов и используемым протоколам. 4.2. Классификация сетей: по размеру — локальные, гоПонимание ключевого понятия протокола и уровневой родские и внутрикорпоративные, всемирные; по модели описания и реализации протоколов. Знание ос- типу передачи — с коммутацией каналов и с передановных протоколов физического и канального уровня чей пакетов; по роли отдельных узлов сети — односреда передачи, Манчестерское кодирование битов и ранговые сети и сети типа клиент-сервер; по исбайтов, случайные и детерминированные алгоритмы пользуемым сетевым протоколам.

получения доступа к среде). Знание основных прото- 4.3. Центральное понятие в теории сетей — понятие колов сети Internet и места их в уровневой модели протокола как систематизированного описания согклассификации протоколов, понимание, почему про- лашений о взаимодействиях. Уровневое описание токолы Internet не зависят от протоколов нижних протоколов, почему оно необходимо. Модель уровней (физического, канального, сетевого) и от сре- ISO/OSI уровневого описания протоколов компьюды передачи. Знание системы адресов Internet (IP-но- терных сетей (International Standard Organization/ мер и порт, параллельная система символических Open System Interconnection). Примеры протоколов имен). Понимание предназначения и различий базовых физического, канального, сетевого, транспортного ческого и канального уровней: Манчестерское ко- нированных протоколов: маркерное кольцо и шина дирование битов, случайные и детерминированные (Token Ring и Token Bus), двойная шина с распредеалгоритмы получения доступа к среде на примерах ленной очередью (DQDB — Distributed Queue Dual сетей Ethernet и Token Ring. Важнейшее различие Bus), FDDI (Fiber Optic Distributed Dual Interface).

между протоколами транспортного и сессионного Протокол со случайным доступом: Ethernet уровней: передача дейтаграмм и установка виртуаль- (CSMA/CD Carrier — Sense Multiple Access/Collision ного соединения. Способы реализации протокола Detection). Описание алгоритма доступа к среде в сессионного уровня над транспортным уровнем: пе- протоколе Ethernet. Объяснение, почему не очень редача контрольной суммы пакетов, повтор переда- удачный протокол Ethernet стал наиболее распрочи искаженных пакетов, протокол скользящих окон страненным. Отсутствие всякой защиты данных в для упреждающей передачи и исправления ошибок. сети Ethernet как сети широковещательного типа.

Протоколы Internet: базовый протокол IP как при- 4.6. Форматы пакетов в протоколе Ethernet, система адмер протокола транспортного уровня, протокол ресов в Ethernet, простые и широковещательные TCP как пример протокола сессионного уровня. Не- пакеты. Типы носителей в Ethernet (толстый и тонзависимость протоколов Internet от протоколов кий коаксиальный кабель и витая пара), способы нижних уровней (физического, канального и сете- подключения узлов и топология сетей Ethernet. Фивого) и, следовательно, от среды передачи. зические ограничения по размеру сети (длина сегПротоколы физического уровня: кодирование би- мента 200 м, максимальное расстояние между узлатов и байтов электрическими, радио и оптическими ми в разных сегментах не более 1500 м). Способы сигналами. Среда передачи, разновидности (коак- соединения сегментов сети: хабы (Hub), повторитесиальный кабель и витая пара, волоконно-оптичес- ли (Repeater), переключатели (Switch), шлюзы кий кабель и т. п.). Синхронная и асинхронная пе- (Gateway). В чем принципиальные различия между редача. Понятие несущей частоты и теорема Найк- этими устройствами.

виста. Манчестерское кодирование как пример 4.7. Башня TCP/IP протоколов сети Internet. Протокол синхронной передачи с автоподстройкой частоты. IP как базовый протокол в Internet. Уровни протоАлгоритмы доступа к среде передачи в протоколах колов IP (транспортный, дейтаграммного типа) и физического уровня. Протоколы со случайным и TCP (сессионный, основанный на установке виртудетерминированным доступом. Примеры детерми- ального соединения и гарантированной передачи сообщений произвольной длины). Система адресов 4.10. Модем (модулятор/демодулятор) как устройство в Internet: IP-адреса, разделение IP-адреса на номер для передачи цифровых данных по аналоговой лисети (network) и номер узла (host). Сетевая маска нии. Недостатки модема и перспективы развития как способ выделения номера сети. Сети классов A, телефонных сетей. Устройство и протоколы HayesB, C. Организация сегментов сети: сетевая маска и совместимого модема: режим команд и режим данномер сети одинаковы во всех узлах сегмента. Ста- ных, AT-команды, примеры (команды набора нотическое и динамическое распределение IP-адре- мера, инициализации модема, установка различных 4.8. Полный адрес процесса в Internet: IP-номер как ад- и работа на удаленном компьютере через модем.

рес компьютера и порт как номер процесса внутри Временное подключение к Internet с помощью мокомпьютера. Сокет как конечная точка взаимодей- дема: протокол PPP как реализация IP-протокола ствия и пара (IP-номер, порт) как адрес сокета. для телефонных линий. Протокол UUCP и два споПротокол TCP: различие при установке соединения соба работы с электронной почтой: 1) с помощью между сервером (пассивная сторона) и клиентом протокола UUCP (без подключения к Internet); 2) с (активная сторона). Отсутствие различий между помощью временного подключения к Internet через сервером и клиентом после установки соединения. протокол PPP и с использованием протокола рабоИзвестные сервисы и выделенные порты. Привиле- ты с удаленным почтовым ящиком POP3.

гированные и непривилегированные порты и дина- 4.11. Наиболее важные протоколы прикладных уровней мическое выделение портов для клиентов. в сети Internet, построенные над протоколом TCP 4.9. Параллельная система символических адресов в как базовым: передача файлов FTP (порт 21), элекInternet. Иерархическая система адресов, области. тронная почта SMTP (25), протокол работы с удаСистема серверов имен (name-servers) в Internet. ленным почтовым ящиком POP3 (110), протокол Понятие зоны ответственности сервера, первичные удаленного терминала Telnet (23), протокол удаленprimary) и вторичные (secondary) серверы имен. ного терминала с защитой данных SSH (22), протоОтображение символических имен на IP-адреса и кол передачи гипертекста «Всемирной паутины»

обычные текстовые команды на английском языке. 5. УПРАВЛЕНИЕ ИНФОРМАЦИЕЙ Наборы команд для протокола электронной почты SMTP и протокола передачи гипертекста HTTP.

умений разработки баз данных. Владение языками заИллюстрация общения с Internet-демоном с помопросов. Знание принципов и методик создания инфорщью программы Telnet на примерах почтового демационных систем различного предназначения. Предмона SMTP (порт 25) и демона Всемирной паутины пользуемых для их решения алгоритмах. Знание метоИнтерфейс сокетов как интерфейс для программидов разработки баз знаний, экспертных систем, обрарования сетевого обмена на примере программироботки информации в глобальной сети.

вания в сети Internet. Различия между клиентом и сервером при установке соединения. Установка соПонятия информационной системы, базы данных.

единения клиентом: создание сокета, преобразоваКонцепции технологии доступа к данным: модели ние символического адреса в IP-адрес, заполнение манды connect. Установка соединения сервером: соПостроение ER-моделей. Язык UML: основные поздание сокета, заполнения номера порта в адресе сокета, выполнение команды listen. Принятие приРеляционная теория: отношения, реляционная алходящего соединения с помощью команды accept и гебра, теория нормализации, реляционное исчиссоздание нового сокета для передачи данных. Пол- ление, целостность. Определение реляционной моная симметрия между сервером и клиентом после дели. Преобразование ER-моделей в структуру баз установки соединения. Передача данных: аналогия данных.

с записью и чтением в случае файлов. Понятие по- 5.3. Структурированный язык запросов SQL: история, тока данных и общий интерфейс для работы с фай- структура, стандарты. Язык определения данных.

лами и с сетями. Примеры программ, использую- Формирование запроса, базовая функциональщих интерфейс сокетов, на языках C, C++ и C#. ность. Операции обновления. Понятие транзакции.

Классы в C#, поддерживающие сетевой обмен по Представления. Курсор.

6. КОМПЬЮТЕРНАЯ ГРАФИКА

ных. Гибридные и расширенные реляционные формы управления объектами. Структурированные и Цели: Знание методов представления изображений в слабоструктурированные данные: способы описа- компьютере (видеопамять, растеризация, представния, использование языка XML для описания дан- ление пикселов и видеорежимы). Знание основных алгоных, смешанные языки запросов. ритмов двумерной графики (растеризация линий, 5.5. Обработка информации и сетевые архитектуры. сглаживание, закрашивание областей). Умение пиМногоуровневая технология. Теория распределен- сать простейшие графические программы в среде разных систем К. Дейта. Архитектуры аппаратных работки Microsoft.NET. Понимание основного принциплатформ и реляционные базы данных. Параллель- па трехмерной графики: использование отдельного ное выполнение операций и их реализация. Фраг- процессора для вычисления трехмерных изображений и ментация и репликация отношений. передача описаний трехмерных объектов в видеопроВведение в интеллектуальные системы. История цессор вместо непосредственного рисования. Знание развития и области приложения искусственного основных алгоритмов трехмерной графики (алгоритинтеллекта. Базы знаний. Экспертные системы. Ав- мы Гуро и Фонга закрашивания треугольника, испольтоматическое доказательство. Понимание естест- зование нормалей, использование буфера глубины для венных языков. Машинное обучение. удаления невидимых линий). Знание основ библиотеки 5.7. Модели представления знаний: продукционная мо- OpenGL (система координат, способы описания объекдель, семантические сети, фреймы. Вывод на зна- тов, преобразования MODELVIEW и PROJECTION) и ниях. Прямой и обратный вывод. Стратегии поис- умение программировать простые трехмерные задачи 5.8. Представление данных и знаний в глобальной сети. примером языка описания трехмерных миров.

Онтологии и онтологические системы. Методологии создания онтологий. Программные агенты и 6.1. Представление изображений в компьютере: видеомультиагентные системы. Информационный поиск режимы, видеопамять, растеризация изображений.

области. Векторная графика и ее отличие от растро- источников света. Задание текстур.

вой, способы задания масштабируемых объектов. 6.4. Язык VRML описания трехмерных объектов и трехПримеры простых графических программ на языке мерных миров. Основы языка, простейшие примеC# в среде разработки Microsoft.NET. ры. Описание простейших геометрических объекОсновы трехмерной графики. Использование от- тов (ящик, сфера, цилиндр) и геометрических объдельного процессора, встроенного в конструкцию ектов произвольной формы, представленных в виде видеокарты, и передача от компьютера в видеокар- разбиения на плоские грани. Использование норту описаний трехмерных объектов вместо построе- малей и другие способы сглаживания поверхностей.

ния изображения в видеопамяти. Алгоритмы по- Определение источников света. Анимация: передастроения трехмерных изображений: удаление неви- ча сообщений от одних узлов другим; узлы, обеспедимых линий с помощью буфера глубины (Z-буфе- чивающие анимацию (сенсоры и интерполяторы), ра). Освещение граней, использование нормалей. примеры.

Модели источников света. Алгоритмы Гуро и Фонга закрашивания треугольника или выпуклого многоугольника в пространстве.

6.3. Библиотека OpenGL для поддержки трехмерной графики. Основная идея: описание трехмерного мира (Science Graph) вместо построения изображения. Проективные координаты. Матрицы MODELVIEW и PROJECTION. Типы проекций на двумерную плоскость: ортогональная и проективная (центральная) проекции. Параметры центральной проекции: угол зрения, ближайшая и удаленная плоскости отсечения. Представление трехмерных объектов в виде разбиения на треугольники или выпуклые многоугольники. Использование нормалей для сглаживания изображения поверхностей, аппроксимированных многоугольниками. Описания ЛИТЕРАТУРА ПО МАТЕМАТИЧЕСКИМ 8 Успенский В.А. Труды по нематематике. С приложениями семиотических посланий. В 2 т. — М.: ОГИ, 2002.

ОСНОВАМ ИНФОРМАТИКИ,

ПО ПРОГРАММИРОВАНИЮ

И ИНФОРМАЦИОННЫМ ТЕХНОЛОГИЯМ

БАЗОВАЯ УЧЕБНАЯ ЛИТЕРАТУРА

ПО МАТЕМАТИЧЕСКИМ ОСНОВАМ ИНФОРМАТИКИ

ЛИТЕРАТУРА ПО ИСТОРИИ

ОТЕЧЕСТВЕННОЙ ИНФОРМАТИКИ

1 Виртуальный компьютерный музей: 1 Айгнер М. Комбинаторная теория. — М.:

2 Ершов А.П. Избранные труды. — Новосибирск: Наука, 2 Акритас А. Основы компьютерной алгеМТ 3 История информатики в России: ученые и их школы/ 3 Александров П.С. Введение в теорию Сост.: Захаров В.Н., Подловченко Р.И., Фет Я.И. множеств и общую топологию. — М.:

4 Колмогоров и кибернетика/Под ред. Поспелов Д.А., 4 Андерсон Д. Дискретная математика и Фет Я.И. — Новосибирск.: Изд-во ИВМ и МГ СО комбинаторика. — М.: Вильямс, 2003.

5 Королев Л.Н., Рыбников К.А. Вычислительная мате- счисления и компьютерная арифметика. — матика и вычислительная техника. Очерки истории. М.: Лаборатория Базовых Знаний, 2000.

— М.: Изд-во мех.-мат. ф-та МГУ, 1999. 6 Ахо А., Хопкрофт Д., Ульман Д.

6 Очерки истории информатики в России/Ред.-сост.: Построение и анализ вычислительных Поспелов Д.А., Фет Я.И. — Новосибирск: Научно-из- алгоритмов. — М.: Мир, 1979.

дательский центр ОИГГМ СО РАН, 1998. 7 Ахо А., Хопкрофт Д., Ульман Д. Структуры 7 Поспелов Ю.Л. От абака до компьютера: судьбы людей данных и алгоритмы. — М.: Вильямс, и машин. Книга для чтения по истории вычислитель- 2003.

ной техники в 2 т. — М.: Издательско-торговый дом 8 Барти Т., Биркгоф Г. Современная 9 Бахвалов Н.С., Жидков Н.П., Кобельков 21 Воеводин В.В., Воеводин Вл.В.


Г.М. Численные методы. — М.: Наука, 1987. Параллельные вычисления. — СПб.:

10 Бениаминов Е.М. Алгебраические методы БХВ-Петербург, 2002.

11 Берж К. Теория графов и ее применение. 23 Горбатов В.А. Фундаментальные основы дискретных систем. — М.: Наука, 1997. 26 Деммель Д. Вычислительная линейная 14 Василенко О.Н. Теоретико-числовые алгебра. Теория и приложения. — М.:

15 Вентцель Е.С. Элементы теории игр. — Комбинаторные алгоритмы. Теория и 16 Верещагин Н.К., Шень А. Вычислимые 28 Дэвенпорт Д., Сирэ И., Турнье Э.

17 Верещагин Н.К., Шень А. Начала теории алгоритмы алгебраических вычислений.

19 Вирт Н. Алгоритмы и структуры данных. визуализация и применение. — СПб.:

20 Воеводин В.В. Численные методы 30 Егоров-Тисменко Ю.К., Литвинская Г.П., 31 Емеличев В.А., Ковалев М.М., Кравцов 41 Лавров С.С. Программирование.

32 Ершов Ю.Л., Палютин Е.А. Мате- 42 Лаллеман Ж. Полугруппы и комбинаматическая логика. — М.: Наука, 1979. торные приложения. — М.: Мир, 1985.

33 Зыков А.А. Основы теории графов. — М.: 43 Ларин С.В. Числовые системы. — М.:

34 Кнут Д. Искусство программирования для 44 Латышев В.Н. Комбинаторная теория ЭВМ. Т. 1-3. — М., СПб., Киев: Вильямс, колец. Сложность алгебраических 36 Колмогоров А.Н., Драгалин А.Г. Введение программистов. — М.: Мир, 1988.

в математическую логику. — М.: Изд. 48 Лупанов О.Б. Асимптотические оценки Математическая логика. Дополнительные 49 Мальцев А.И. Алгоритмы и рекурсивные 38 Кострикин А.И. Введение в алгебру. I-III. 50 Мальцев А.И. Алгебраические системы. — 39 Кострикин А.И., Манин Ю.И. Линейная 51 Манин Ю.И. Доказуемое и недоказуемое.

40 Курош А.Г. Курс высшей алгебры. — М.: 52 Марков А.А., Нагорный Н.М. Теория 53 Маркус С. Теоретико-множественные 64 Плоткин Б.И. Универсальная алгебра, Компьютерная алгебра. Вычисления в 67 Рыбников К.А. Введение в дифференциальной и разностной алгебре. комбинаторный анализ.

57 Нечаев В.И. Числовые системы. — М.: 68 Саломаа А. Жемчужины теории 58 Нечаев В.И. Элементы криптографии. 69 Сачков В.Н. Введение в комбинаторные Основы теории защиты информации. — методы дискретной математики. — М.:

59 Новиков П.С. Элементы математической 70 Соловьев Ю.П., Садовничий В.А., 61 Панкратьев Е.В. Компьютерная алгебра. — М.: РХД, 2003.

математический факультет МГУ, 2004. 73 Успенский В.А., Верещагин Н.К., Плиско 63 Пинус А.Г. Основы универсальной В.Е. Вводный курс математической

БАЗОВАЯ УЧЕБНАЯ ЛИТЕРАТУРА

74 Фаддеев Д.К., Фаддеева В.Н.

ПО ПРОГРАММИРОВАНИЮ И ИНФОРМАЦИОННЫМ

Вычислительные методы линейной

ТЕХНОЛОГИЯМ

алгебры. — М.: Наука, 1963.

— М.: Мир, 1973.

77 Яблонский С.В., Гаврилов Г.П., Кудрявцев — М.: Лаборатория Базовых Знаний, 2000.

Algorithms for Computer Algebra. — Kluwer, приложений на С++. — М.: Бином, СПб:

81 Grabmeier J., Kaltofen E., Weispfenning V., 5 Валединский В.Д., Пронкин Ю.Н.

Foundations, Applications, Systems. — программирование. I, II. — М.: Изд-во 82 Mazzola G., Milmeister G., Weissmann J. 6 Вирт Н. Систематическое Comprehensive Mathematics for Computer программирование: Введение. — М.: Мир, знаний интеллектуальных систем. — СПб: Тестирование программного обеспечения.

9 Галатенко В.А. Основы информационной 19 Карпов В.Е., Коньков К.А. Основы 11 Гордеев А.В., Молчанов А.Ю. Системное 21 Корнеев В.В. Параллельные 12 Грабер М. Введение в SQL. — М.: ЛОРИ, 22 Кристиансен Т., Торкингтон Н. Perl:

14 Дейт К. Введение в системы баз данных: Программирование для математиков. — 16 Ершов А.П., Кушниренко А.Г., Лебедев теория. — СПб.: БХВ-Петербург, 2001.

Г.В., Семенов А.Л., Шень А.Х. Основы 25 Люгер Дж. Искусственный интеллект:

информатики и вычислительной техники. стратегии и методы решения сложных 17 Зубков С.В. Assembler для DOS, Windows и 26 Найк Д. Стандарты и протоколы 27 Непейвода Н.Н., Скопин И.Н. Основания 38 Седжвик Р. Фундаментальные алгоритмы 28 Олифер В.Г., Олифер Н.А. Сетевые опера- сети. — СПб.: Питер, 2003.

ционные системы. — СПб.: Питер, 2002. 40 Страуструп Б. Язык программирования 29 Олифер В.Г., Олифер Н.А. Основы сетей С++. — СПб., М.: «Невский Диалект» — 30 Петцольд Ч. Программирование для 41 Таненбаум Э. Компьютерные сети. — 31 Питц-Моулитс Н., Кирк Ч. XML. — СПб.: Распределённые системы. Принципы и платформе Microsoft.NET Framework: — 45 Филд А., Харрисон П. Функциональное 35 Робачевский А.М. Операционная система 46 Фридл Дж. Регулярные выражения.

UNIX. — СПб.: БХВ-Санкт-Петербург, 1999. Библиотека программиста. — СПб:

программирования. — М.: Вильямс, 2001.

ПУТЕВОДИТЕЛЬ ПО УЧЕБНОЙ И НАУЧНОЙ

48 Хоггер К. Введение в логическое

ЛИТЕРАТУРЕ ПО МАТЕМАТИЧЕСКИМ ОСНОВАМ

программирование. — М.: Мир, 1988.

ИНФОРМАТИКИ

49 Шень А. Программирование: теоремы и 50 Эндрюс Г. Основы многопоточного, параллельного и распределенного 1 Авдеева Л.И., Зуховицкий С.И. Линейное программирования. — М.: Вильямс, 2003. и выпуклое программирование. — М.:

счисления и компьютерная арифметика. программирование. — М.: Наука, 1981.

— М.: Лаборатория Базовых Знаний, 2000. 21 Баннаи Э., Ито Т. Алгебраическая 11 Арбиб М.А. (ред.) Алгебраическая теория комбинаторика. Схемы отношений. — М.:

12 Артин Э. Геометрическая алгебра. — М.: Экстремальные комбинаторные задачи и 13 Арнольд В.И. Дополнительные главы 23 Барздинь Я.М., Трахтенброт В.А.

теории обыкновенных дифференциаль- Конечные автоматы (поведение и синтез).

математическому анализу. — М.: Высшая Математические методы в химической коммутативную алгебру. — М.: Мир, 1972. 27 Бахвалов Н.С., Жидков Н.П., Кобельков 17 Ахо А., Ульман Д. Теория синтаксического Г.М. Численные методы. — М.: Наука, 1987.

31 Беланов А.А. Решения алгебраических 42 Блейхуд Р. Теория и практика кодов, конуравнений методом Лобачевского. — М.: тролирующих ошибки. — М.: Мир, 1986.

кристаллографии и федоровским группам дискретных систем. — М.: Наука, 1997.

представления в теории конечных групп. 45 Болотов А.А., Кудрявцев В.Б., Подколзин мирование. — М.: Изд. Моск. ун-та, 1977. чисел. — М.: Наука, 1972.

35 Бендат Дж., Пирсол А. Прикладной анализ 47 Боровков А.А., Теория вероятностей. — 36 Бениаминов Е.М. Алгебраические методы 48 Брауэр В. Введение в теорию конечных 37 Беран Л. Упорядоченные множества. — машины и труднорешаемые задачи. — М.:

38 Берж К. Теория графов и ее применение. 50 Бурбаки Н. Алгебра. Алгебраические 39 Берлекэмп Э. Алгебраическая теория алгебра. — М.: Физматгиз, 1962.

40 Биркгоф Г. Теория решеток. — М.: Наука, Упорядоченные группы. — М.:

статистика, 1988.

53 Бурбаки Н. Алгебра. Модули, кольца, 64 Васильев В.И. Распознающие системы.

55 Бухараев Р.Г. Основы теории вероят- 66 Вентцель Е.С. Исследование операций.

ностных автоматов. — М.: Наука, 1875. Задачи, принципы, методология. — М.:

56 Бухбергер Б.,Коллинз Дж., Лоос Р. (ред.) Наука, 1988.

Компьютерная алгебра. Символьные и 67 Вентцель Е.С., Овчаров Л.А. Теория алгебраические вычисления. — М.: Мир, вероятностей и ее инженерные кристаллография. Т. 1. — М.: Наука, 1979. М.: Физматгиз, 1961.

кристаллография. Т. 2. — М.: Наука, 1979. 70 Верещагин Н.К., Шень А. Начала теории 60 Ван Хао, Мак-Нотон Р. Аксиоматические исчисления. — М.: МЦНМО, 2002.

системы теории множеств. — М.: ИЛ, 1963. 72 Вержбицкий В.М. Численные методы.

программы восстановления зависимостей. уравнения. — М.: ВШ, 2000.

распознавания образов. — М.: Наука, 74 Винер Н. Кибернетика, или управление и 76 Виноградов А.М., Красильщик И.С. (ред.) 86 Гасс С. Линейное программирование. — уравнений математической физики. — М.: 87 Гашков С.Б., Чубариков В.Н.

77 Вирт Н. Алгоритмы и структуры данных. вычислений. — М.: ВШ, 2000.

математической физики. — М.: Наука, 89 Гермейер Ю.Б. Введение в теорию 80 Воеводин В.В. Линейная алгебра. — М.: автоматов. — М.: Наука, 1966, 1972.

Параллельные вычисления. — СПб.: БХВ- формализация арифметики. — М.: Наука, 82 Воеводин В.В. Численные методы 92 Гильберт Д., Бернайс П. Основания алгебры. Теория и алгорифмы. — М.: математики. Теория доказательств. — М.:

Классические и квантовые вычисления. — случайных процессов. — М.: Наука, 1973.

85 Гасанов Э.Э., Кудрявцев В.Б. Теория логику. — М.: МЦНМО, 2001.

хранения и поиска информации. — М.: 96 Гладкий А.В. Математическая логика. — 97 Гладкий А.В., Мельчук И.А. Элементы 108 Гольштейн Е.Г., Юдин Д.Б. Линейное математической лингвистики. — М.: программирование. — М.: Физматгиз, 98 Гладкий В.А. Формальные грамматики и 109 Гончаров С.С. Счетные булевы алгебры. — Конечномерный анализ. — М.: Наука, Конструктивные модели. — Новосибирск:

100 Глухов М.М., Елизаров В.П., Нечаев А.А. 111 Горбатов В.А. Основы дискретной 101 Глушков В.М. Синтез цифровых 112 Горбатов В.А. Фундаментальные основы 102 Глушков В.М., Цейтлин Г.Е., Ющенко 113 Горелик А.Л., Скрипкин В.А. Построение Е.Л. Алгебра. Языки программирования. систем распознавания. — М.: Советское 103 Гнеденко Б.В. Курс теории вероятностей. 114 Грегори Р., Кришнамурти Е.

105 Голуб Д., Ван Лоун Ч. Матричные 116 Гренадер У. Лекции по теории образов. 1.

106 Голубов Б.И., Ефимов А.В., Скворцов 117 Гренадер У., Фрайбергер В. Краткий курс Теория и применения. — М.: Наука, 1987. статистики. — М.: Наука, 1978.

107 Гольштейн Е.Г., Юдин Д.Б. Задача 118 Грин Д.Х., Кнут Д.Э. Математические 119 Гроссман И., Магнус В. Группы и графы. 131 Джордж Ф. Основы кибернетики. — М.:

120 Грэй П. Логика, алгебра и базы данных. — 132 Джоунс У., Трон В. Непрерывные дроби.

Конкретная математика. — М.: Мир, 1998. Новосибирск: Изд. Инст. матем., 2002.

122 Гульден Я., Джексон Д. Перечислительная 134 Дмитриев И.С. Симметрия в мире 124 Дегтярев Ю.И. Исследование операций. 136 Дэвенпорт Д., Сирэ И., Турнье Э.

126 Демидович Б.П., Марон И.А. Основы 137 Евстигнеев В.А. Применение теории 127 Демидович Б.П., Марон И.А., Шувалова 138 Евстигнеев В.А., Касьянов В.Н. Графы в 128 Деммель Д. Вычислительная линейная алге- БХВ-Петербург, 2003.

бра. Теория и приложения. — М.: Мир, 2001. 139 Егоров-Тисменко Ю.К., Литвинская Г.П.

129 Део Н., Нивергельт Ю., Рейнгольд Р. Теория симметрии кристаллов. — М.:

130 Джонстон П.Т. Теория топосов. — М.: Загальская Ю.Г. Кристаллография. — М.:

141 Емеличев В.А., Ковалев М.М., Кравцов 152 Зайцев В.Ф., Полянин А.Д. Справочник 142 Емеличев В.А., Мельников О.И., 153 Замулин А.В. Системы программирования Сарванов В.И., Тышкевич Р.И. Лекции по баз данных и знаний. — Новосибирск:

143 Ермаков С.М., Михайлов Г.А. Курс 154 Зыков А.А. Основы теории графов. — М.:

144 Ерусалимский Я.М. Дискретная прикладное дискретное программатематика. — М.: Вузовская книга, 1998. мирование: модели и вычислительные 145 Ершов А.П. Введение в теоретическое алгоритмы. — М.: Физматлит, 2002.

программирование. — М.: Наука, 1977. 156 Ильин В.А., Куркина А.В. Высшая 147 Ершов Ю.Л. Проблемы разрешимости и Б.Х. Математический анализ. Т. I, II. — конструктивные модели. — М.: Наука, 1980. М.: Изд. Моск. ун-та, 1985.

вычислимость. — Новосибирск: Научная математической теории систем. — М.:

149 Ершов Ю.Л., Палютин Е.А. Математи- 159 Калужнин Л.А. Введение в общую алгебру.

150 Загальская Ю.Г., Литвинская Г.П. 160 Камке Э. Справочник по обыкновенным Геометрическая кристаллография. — М.: дифференциальным уравнениям. — М.:

151 Загальская Ю.Г., Литвинская Г.П. 161 Канторович Л.В., Крылов В.И.

Геометрическая микрокристаллография. Приближенные методы высшего анализа.

162 Капитонова Ю.В., Летичевский А.А. 173 Кокс Д., Литтл Д., О'Ши Д. Идеалы, многоМатематическая теория проектирования образия и алгоритмы. Введение в вычисливычислительных систем. — М.: Наука, тельные аспекты алгебраической геометрии 163 Карманов В.Г. Математическое програм- 174 Колмогоров А.Н. Основные понятия 164 Кейслер Г., Чэн Ч.Ч. Теория моделей. — 175 Колмогоров А.Н. Теория информации и 165 Кемени Д., Снелл Д., Томпсон Д. 176 Колмогоров А.Н., Драгалин А.Г. Введение Введение в конечную математику. — М.: в математическую логику. — М.: Изд.

166 Клини С. Математическая логика. — М.: 177 Колмогоров А.Н., Драгалин А.Г.

167 Кнут Д. Искусство программирования для главы. — М.: Изд. Моск. ун-та, 1984.

ЭВМ. Т. 1-3. — М.: Мир, 1976-1978. 178 Колмогоров А.Н., Фомин С.В. Элементы 168 Кнут Д. Искусство программирования для теории функций и функционального Введение в теорию конечных автоматов. 180 Копытов В.М. Решеточно упорядоченные 170 Ковалев М.М. Матроиды в дискретной 181 Кормен Т., Лейзерсон Ч., Ривест Р.

171 Ковальски Р. Логика в решении проблем. 182 Костов И. Кристаллография. — М.: Мир, 172 Кокрен У. Методы выборочного 183 Кострикин А.И. Введение в алгебру. I-III.

184 Кострикин А.И., Манин Ю.И. Линейная 196 Курош А.Г. Лекции по общей алгебре.

алгебра и геометрия. — М.: Наука, 1986. — М.: Физматгиз, 1962.

185 Котов В.Е. Сети Петри. — М.: Наука, 197 Курош А.Г. Теория групп. — М.: Наука, 186 Коутинхо С. Введение в теорию чисел. 198 Курош А.Г. Общая алгебра. Лекции 1969Алгоритм RSA. — М.: Постмаркет, 2001. 70 уч. года. — М.: Наука, 1974.

187 Кофман А. Введение в прикладную 199 Кэртис Ч., Райнер И. Теория комбинаторику. — М.: Наука, 1975. представлений конечных групп и 188 Крамер Г. Математические методы ассоциативных алгебр. — М.: Наука, 1969.

189 Кристофидес Н. Теория графов: теории функций комплексного алгоритмический подход. — М.: Мир, переменного. — М.: Физматгиз, 1958.

190 Кудрявцев В.Б., Подколзин А.С., теории множеств, математической логике и абстрактных автоматов. — М.: МГУ, 1985. 202 Лавров С.С. Программирование.

191 Кудрявцев Л.Д. Курс математического Математические основы, средства, анализа. Т. I -III. — М.: Высшая школа, теория. — СПб.: БХВ-Петербург, 2001.

192 Куликов Л.Я. Алгебра и теория чисел. — торные приложения. — М.: Мир, 1985.

математика? Элементарный очерк идей и 205 Латышев В.Н. Комбинаторная теория 194 Куратовский К., Мостовский А. Теория алгоритмов. — М.: Изд. Моск. ун-та, 1987.

195 Курош А.Г. Курс высшей алгебры. — М.: колец. Стандартные базисы. — М.: Изд.

207 Ленг С. Алгебра. — М.: Мир, 1968. 219 Макдональд. И. Симметрические функции стабилизации линейных управляемых 220 Малашонок Г.И. Матричные методы 209 Ли Р., Чень Ч. Математическая логика и Тамбов: Изд. ТГУ, 2002.

автоматическое доказательство теорем. — 221 Мальцев А.И. Алгоритмы и рекурсивные 210 Лидл Р., Нидеррайтер Г. Конечные поля. 222 Мальцев А.И. Основы линейной алгебры.

211 Лидл Р., Пильц Г. Прикладная абстрактная 223 Мальцев А.И. Алгебраические системы. — 212 Липский В. Комбинаторика для 224 Манин Ю.И. Доказуемое и недоказуемое.

213 Ллойд Э., Ледерман У. (ред.) Справочник 225 Марков А.А. Элементы математической по прикладной статистике. Т. 1, 2. — М.: логики. — М.: Изд. Моск. ун-та, 1984.

214 Лоэв М. Теория вероятностей. — М.: ИЛ, алгорифмов. — М.: Наука, 1984.

215 Лупанов О.Б. Асимптотические оценки модели языков. — М.: Наука, 1970.

сложности управляющих систем. — М.: 228 Марчук Г.И. Методы вычислительной 216 Льюис Р.Л., Райфа Х. Игры и решения. — 229 Мендельсон Э. Введение в 232 Михалев А.В., Панкратьев Е.В. 243 Никольский С.М. Квадратурные дифференциальной и разностной алгебре. 244 Никольский С.М. Курс математического 233 Мишина А.П., Проскуряков И.В. Высшая 245 Новиков П.С. Элементы математической 234 Мостовский А. Конструктивные 246 Новиков П.С. Конструктивная множества и их приложения. — М.: Мир, математическая логика с точки зрения 235 Мурнаган Ф.Д. Теория представлений 247 Ноден П., Китте К. Алгебраическая 236 Мысовских И.П. Лекции по методам 248 Носов В.Н. (ред.) Компьютерная 237 Мысовских И.П. Интерполяционные 249 Ньюмен У., Спрул Р. Основы интерактивкубатурные формулы. — М.: Наука, 1981. ной машинной графики. — М.: Мир, 1976.

самовоспроизводящихся автоматов. — М.: Финансы и статистика, 1974.

239 Непейвода Н.Н. Прикладная логика. — 252 Ортега Дж. Введение в параллельные и 241 Нечаев В.И. Элементы криптографии. Факторизация многочленов. — М.: Изд.

242 Нивергельт Ю., Фаррар Д., Рейнгольд Э. образов. — М.: Советское радио, 1980.

математических задач. — М.: Мир, 1977. формальных языков. — М.: МГУ, 2004.

256 Петровский И.Г. Лекции об уравнениях с 268 Прохоров Ю.В., Розанов Ю.А. Теория обыкновенных дифференциальных 270 Рейуорд-Смит В.Д. Теория формальных 258 Пинус А.Г. Основы универсальной 271 Риордан Д. Введение в комбинаторный 260 Плоткин Б.И. Универсальная алгебра, 273 Робинсон А. Введение в теорию моделей и алгебраическая логика и базы данных. — метаматематику алгебры. — М.: Наука, 1967.

261 Понтрягин Л.С. Непрерывные группы. — Стереографическая проекция. — М.:

262 Понтрягин Л.С. Обыкновенные дифферен- 275 Рокафеллар Р.Т. Выпуклый анализ. — М.:

263 Попов Г.М., Шафрановский И.И. 276 Романовский И.В. Алгоритмы решения 264 Портер У. Современные основания общей 277 Романовский И.В. Дискретный анализ. — 266 Препарата Ф., Шеймос М. Вычислитель- 279 Рыбников К.А. (ред.) Комбинаторный ная геометрия: Введение. — М.: Мир, 1989. анализ. Задачи и упражнения. — М.:

281 Садовничий А.А. Теория операторов. — 293 Сирл С., Гросман У. Матричная алгебра в формальных языков. — М.: Мир, 1986. 294 Скорняков Л.А. Элементы алгебры. — М.:

284 Самарский А.А. Теория разностных схем. структур. — М.: Наука, 1982.

285 Самарский А.А. Введение в численные 1, 2. — М.: Наука, 1990, 1991.

286 Самарский А.А., Гулин А.В. Численные М.А. Математические методы дискретной математики. — М.: Наука, 298 Смальян Р. Теория формальных систем. — 288 Сачков В.Н. Введение в комбинаторные 299 Смирнов В.И. Курс высшей математики.

методы дискретной математики. — М.: Т. I-V. — М.: Физматгиз, 1958-1959.

289 Свами М., Тхуласирамаи К. Графы, сети, физики. — М.-Л.: Гостехиздат, 1950.

290 Серр Ж.П. Линейные представления Шавгулидзе Е.Т., Белокуров В.В.

дифференциальных уравнений. — 302 Справочная книга по математической 292 Сикорский Р. Булевы алгебры. — М.: 303 Степанов В.В. Курс дифференциальных 304 Стогний А.А., Кондратьев А.И. 316 Тутубалин В.Н. Теория вероятностей и решений. — Киев: Наукова Думка, 1986. 317 Тюрин Ю.Н., Макаров А.А. Анализ 305 Стол Р.Р. Множества. Логика. Аксиомати- данных на компьютере. — М.: Финансы и 307 Схрейвер А. Теория линейного и 319 Уотермен Д. Руководство по экспертным 308 Сэвидж Д. Сложность вычислений. — М.: химия. — М.: Изд. Моск. ун-та, 1987.

309 Такеути Г. Теория доказательств. — М.: функциях. — М.: Физматгиз, 1960.

311 Татт У. Теория графов. — М.: Мир, 1988. неполноте. — М.: Наука, 1982.

312 Таха Х. Введение в исследование 324 Успенский В.А., Верещагин Н.К., Плиско 313 Тихонов А.Н., Арсенин В.Я. Методы реше- логики. — М.: Физматлит, 2002.

ния некорректных задач. — М.: Наука, 1979. 325 Фаддеев Д.К. Лекции по алгебре. — М.:

314 Тихонов А.Н., Васильева А.Б., Свешников Наука, 1984.

А.Г. Дифференциальные уравнения. — М.: 326 Фаддеев Д.К., Фаддеева В.Н.

вероятностей и ее приложения. Т. 1, 2. — техническим приложениями. — М.: ИЛ, 330 Фихтенгольц Г.М. Курс дифферен- 339 Харари Ф. Теория графов. — М.: Мир, 331 Флейс Дж. Статистические методы для итеррационные методы. — М.: Мир, 1986.

332 Фоменко А.Т. Наглядная геометрия и 342 Холл М. Теория групп. — М.: ИЛ, 1962.

топология. Математические образы в 343 Холл М. Комбинаторный анализ. — М.:

решение систем линейных алгебраических 345 Хопкрофт Д., Мотвани Р., Ульман Д.

их приложения. Специальные главы. — 346 Цаленко М.Ш. Моделирование комплексного переменного и некоторые 347 Черников С.Н. Линейные неравенства. — 336 Фукс Л. Частично упорядоченные 348 Черч Л. Введение в математическую 349 Чупрунов Е.В.,.Хохлов А.Ф, Фаддеев М.А. 361 Ященко В.В. (ред.) Введение в 350 Шабат Б.В. Введение в комплексный Handbook of Logic in Computer Science. — 351 Шафаревич И.Р. Избранные главы 363 Adamek J. Foundations of Coding. — Wiley, «Математическое образование», 2000. 364 Adams W.W., Loustaunau P. An Introduction 352 Шенфилд Д. Математическая логика. — to Gro bner Bases. — Amer. Math. Soc., 1994.

353 Шень А. Программирование: теоремы и 366 Barr M. Category Theory for Computer 354 Ширяев А.Н. Вероятность. — М.: Наука, 367 Becker T., Weispfenning V. (with Kredel H.).

355 Шмырев В.И. Введение в математическое to Commutative Algebra. — Springer-Verlag, 356 Эйзенхарт Л.П. Непрерывные группы 368 Beeson M. Foundations of Constructive преобразований. — М.: УРСС, 2004. Mathematics. — Springer-Verlag, Berlin, 358 Эшби У.Р. Введение в кибернетику. — М.: Academic Press, New York, 1985.

359 Яблонский С.В. Введение в дискретную Univ. Press, 1993.

Кудрявцев В.Б. Функции алгебры 372 Bronstein M. Symbolic Integration I.

логики и классы Поста. — М.: Наука, Transcendental Functions. — SpringerVerlag, Berlin, 1997.

373 Burgisser P., Clausen M.,. Shokrollahi M.A. 384 Flurry R.L. Symmetry Groups. — Prentice 374 Carding L., Tambour T. Algebra for Computer and Discrete Mathematics. — Wiley, 1994.

375 Chabert J.-L. (Ed.). A History of Algorithms. Theory. — Prentice Hall, 2004.

Sequential Algorithms, and Functional 388 Gilbert W.J., Nicholson W.K. Modern 377 Cochran W.G. Sampling Techniques. Wiley, 389 Gill A. Applied Algebra for the Computer 378 Cohen A.M., Cuypers H., Sterk H. (Eds.). 390 Ginsburg S. Algebraic and AutomataSome Tapas of Computer Algebra. — Theoretic Properties of Formal Languages. — 379 Davidson G. Group Theory for Chemists. — 391 Ginsburg S. The Mathematical Theory of Should They Be? — RIM, Orona, Maine, 1995. 392 Godsil C., Royle G.F. Algebraic Graph 383 Fiume E. An Introduction to Scientific, 394 Gra tzer G. Universal Algebra. — SpringerSymbolic, and Graphical Computation. — Verlag, New York, 1979.

A.K. Peters, 1995.

395 Gunter C. Semantics of Programming 409 Lehr R.E., Marchand A.P. Orbital Symmetry.



Pages:   || 2 |
 


Похожие работы:

«КНИГИ – 2013 Предлагаем вашему вниманию презентацию – обзор новых книг. Презентация содержит информацию об всех изданиях, поступивших в библиотеку в дар и по заявкам кафедр в 2013 году. Материал расположен в систематическом порядке. Данные о книгах содержат: уменьшенную фотографию издания, полное библиографическое описание и аннотацию. Сведения о количестве и месте хранения издания вы можете получить, обратившись к электронному каталогу библиотеки. Шимукович, Петр Николаевич. ТРИЗ-противоречия...»

«ТЕОРЕТИЧЕСКИЕ И ПРАКТИЧЕСКИЕ АСПЕКТЫ ПРЕДУПРЕЖДЕНИЯ И ЛИКВИДАЦИИ ЧРЕЗВЫЧАЙНЫХ СИТУАЦИЙ Кошумбаев М.Б. - КазНИИ Энергетики, академик Международной академии информатизации в Генеральном консультативном статусе ООН, д.т.н. Шарипханов С.Д. - Заместитель начальника Кокшетауского технического института МЧС Республики Казахстан по научной работе, д.т.н. Дабаев А.И. - ТОО Казгеозонд, к.т.н. Канлыбаев Е.Т.- МЧС Республики Казахстан Аюбаев Т.М. - МЧС Республики Казахстан КИОТСКИЙ ПРОТОКОЛ И ПРЕДЛОЖЕНИЯ...»

«Международный консорциум Электронный университет Московский государственный университет экономики, статистики и информатики Евразийский открытый институт Белоновский В.Н. Шуленин В.В. ИЗБИРАТЕЛЬНОЕ ПРАВО Особенная часть Учебно-методический комплекс Москва 2008 1 УДК 342.8 ББК 67.400.5 Б 435 Белоновский В.Н., Шуленин В.В. ИЗБИРАТЕЛЬНОЕ ПРАВО: Особенная часть: Учебно-методический комплекс. – М.: Изд. центр ЕАОИ. 2008. – 387 с. ISNB 978-5-374-00097-9 © Белоновский В.Н., 2008 © Шуленин В.В., 2008 ©...»

«Математическая биология и биоинформатика. 2011. Т. 6. № 1. С. 79-91. URL: http://www.matbio.org/2011/Rudenko2011(6_79).pdf ========================= БИОИНФОРМАТИКА ========================== УДК: 577.212.2; 577.214 Применение метода Монте-Карло для поиска потенциальных сдвигов рамки считывания в генах * 1,2 ©2011 Руденко В.М., Коротков Е.В. 1,2 Центр Биоинженерия, Российская академия наук, Москва, 117312, Россия 1 НИЯУ МИФИ, Москва, 115409, Россия 2 Аннотация. В статье предложен метод поиска...»

«Хорошко Максим Болеславович РАЗРАБОТКА И МОДИФИКАЦИЯ МОДЕЛЕЙ И АЛГОРИТМОВ ПОИСКА ДАННЫХ В INTERNET/INTRANET СРЕДЕ ДЛЯ УЛУЧШЕНИЯ КАЧЕСТВА ПОИСКА Специальность 05.13. 17 – Теоретические основы информатики АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук Новочеркасск – 2013 2 Работа выполнена на кафедре Информационные и измерительные системы и технологии ФГБОУ ВПО ЮРГПУ(НПИ) им М.И. Платова. Научный руководитель кандидат технических наук, доцент...»

«Российско-Американское сотрудничество по здравоохранению Проект Мать и Дитя Санкт-Петербургская государственная медицинская академия им. И.И.Мечникова Центральный научно-исследовательский институт организации и информатизации здравоохранения Министерства здравоохранения РФ Комитет по здравоохранению Администрации г.Санкт-Петербурга Медицинский Информационно-аналитический Центр г.Санкт-Петербурга Управление Здравоохранения Администрации Пермской Области Управление Здравоохранения Администрации...»

«Министерство образования Республики Башкортостан ГАОУ СПО Ишимбайский нефтяной колледж 1 Основные направления деятельности: • развитие гибкости, вариативности и открытости профессиональных образовательных программ, профессиональной переподготовки и повышения квалификации в системе многоуровневой подготовки специалистов; • развитие информатизации образования; • введение в действие нового поколения ГОС СПО (ФГОС III поколения); • формирование учебно-программного и учебно-методического обеспечения...»

«РОССИЙСКАЯ ФЕДЕРАЦИЯ МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ ТЮМЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ УТВЕРЖДАЮ: Первый проректор по учебной работе _ /Л.М. Волосникова/ _ 201г. НАУЧНО-ИССЛЕДОВАТЕЛЬСКАЯ РАБОТА, включая научно-исследовательский семинар Учебно-методический комплекс для магистрантов программы Прикладная информатика в экономике очной формы обучения направления 230700.68 Прикладная...»

«Российская академия наук Институт экологии Волжского бассейна В.К. Шитиков, Г.С. Розенберг Рандомизация и бутстреп: статистический анализ в биологии и экологии с использованием R Исправленная и дополненная интернет-версия от 15.11.2013 Тольятти 2013 Шитиков В.К., Розенберг Г.С. Рандомизация и бутстреп: статистический анализ в биологии и экологии с использованием R. - Тольятти: Кассандра, 2013. - 314 с. ISBN В книге представлено описание широкой панорамы статистических методов, как повсеместно...»

«Международный консорциум Электронный университет Московский государственный университет экономики, статистики и информатики Евразийский открытый институт В.А. Лисичкин, М.В. Лисичкина Стратегический менеджмент Учебно-методический комплекс Москва, 2008 1 УДК 65.014 ББК 65.290-2 Л 632 Лисичкин В.А., Лисичкина М.В. СТРАТЕГИЧЕСКИЙ МЕНЕДЖМЕНТ: Учебнометодический комплекс. — М.: Изд. центр ЕАОИ. 2007. — 329 с. © Лисичкин В.А., Лисичкина М.В., 2008 © Евразийский открытый институт, 2007 2 Содержание...»

«Министерство образования и науки Российской Федерации Федеральное государственное автономное образовательное учреждение высшего профессионального образования СЕВЕРО-КАВКАЗСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ Основная образовательная программа высшего профессионального образования Направление подготовки 080500 Бизнес-информатика Профиль Информационная бизнес-аналитика Квалификация (степень) выпускника – бакалавр Нормативный срок освоения программы – 4 года Форма обучения – очная. 1 СОДЕРЖАНИЕ 1. ОБЩИЕ...»

«ПРОГРАММНЫЙ КОМПЛЕКС ДЛЯ ПОДГОТОВКИ КОСМИЧЕСКОГО ЭКСПЕРИМЕНТА. Аббакумов А.С.1, Марков Я.И.2 ИКИ РАН, aabbakumov@romance.iki.rssi.ru 1 ИКИ РАН 2 Научный руководитель: Назаров В.Н. ИКИ РАН Подготовка космического эксперимента является сложным и трудоемким процессом, в нем принимает участие большое количество специалистов различного профиля. От данного процесса напрямую зависит эффективность самого эксперимента. Подготовка включает в себя согласования и решения вопросов по научному, инженерному,...»

«Серия Высшее образование С. Г. Хорошавина КОНЦЕПЦИИ СОВРЕМЕННОГО ЕСТЕСТВОЗНАНИЯ КУРС ЛЕКЦИЙ Рекомендовано Министерствомобразования РФ в качестве учебника для студентов высших учебных заведений Издание четвертое Ростов-на-Дону Феникс 2005 УДК 50(075.8) ББК 20я73 КТК 100 X 82 Рецензенты: профессор МГТУ им. Н.Э. Баумана, д. т. н., академик РАЕН, президент Международного общественно-научного комитета Экология человека и энергоинформатика Волченко В.Н.; зав. кафедрой философии религии РГУ, президент...»

«УЗБЕКСКОЕ АГЕНТСТВО СВЯЗИ И ИНФОРМАТИЗАЦИИ ТАШКЕНТСКИЙ УНИВЕРСИТЕТ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ К защите Заведующий кафедрой ИТ Нуралиев Ф.М. 2012 г. ВЫПУСКНАЯ КВАЛИФИКАЦИОННАЯ РАБОТА На тему: ОПТИМИЗАЦИЯ ЗАПИСИ ЗВУКОВОГО СОПРОВОЖДЕНИЯ ВИДЕО НА ВЫЕЗДНЫХ СЪЕМКАХ Выпускник Джаналиев Ш.С. подпись Ф.И.О. Руководитель Рахимов Т. Х.. подпись Ф.И.О. Рецензент _ Закирова С.А. подпись Ф.И.О. Консультант БЖД Абдуллаева С. М. подпись Ф.И.О. Ташкент – 2012 г. УЗБЕКСКОЕ АГЕНТСТВО СВЯЗИ И ИНФОРМАТИЗАЦИИ...»

«Тесты по темам программы предмета Прикладная информатика Тема Основные устройства ПК. Их назначение Вопросы, соответствующие низкому уровню 1. Что из перечисленного не является носителем информации? а) Книга б) Географическая карта в) Дискета с играми г) Звуковая плата 2. Какое имя соответствует жесткому диску? а) А: б) B: в) С: г) Я: 3. Что необходимо делать в перерывах при работе за ЭВМ? а) Почитать книгу б) Посмотреть телевидение в) Гимнастику для глаз 4. Какое устройство оказывает вредное...»

«Факультет технотронных архивов и документов (ФТАД) Историко-архивный институт (ИАИ) Российский государственный гуманитарный университет (РГГУ) УКАЗАТЕЛЬ опубликованных преподавателями и сотрудниками факультета технотронных архивов и документов научных и творческих работ (1994-2009 годы) МОСКВА 2009 Указатель опубликованных преподавателями и сотрудниками ФТАД ИАИ РГГУ научных и творческих работ. 1994-2009 г.г.- М., МАКС-Пресс.-.2009- 89 стр. Указатель содержит библиографические описания...»

«Учреждение образования Белорусский государственный педагогический университет имени Максима Танка УДК 378.02:004 Гриневич Егор Анатольевич ДИСТАНЦИОННОЕ ПРОФЕССИОНАЛЬНО-ОРИЕНТИРОВАННОЕ ОБУЧЕНИЕ КАК СРЕДСТВО ПОВЫШЕНИЯ ЭФФЕКТИВНОСТИ ПОДГОТОВКИ СТУДЕНТОВ ЭКОНОМИЧЕСКИХ СПЕЦИАЛЬНОСТЕЙ В ОБЛАСТИ КОМПЬЮТЕРНЫХ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ Автореферат диссертации на соискание ученой степени кандидата педагогических наук по специальности 13.00.02 – теория и методика обучения и воспитания (информатика)...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Утвержден приказом Министерства образования и науки Российской Федерации от _200 г. № Регистрационный номер _ ФЕДЕРАЛЬНЫЙ ГОСУДАРСТВЕННЫЙ ОБРАЗОВАТЕЛЬНЫЙ СТАНДАРТ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ по направлению подготовки 3 м - Фундаментальная информатика и информационные технологии Квалификация (степень) магистр 2 ОБЩИЕ ПОЛОЖЕНИЯ Направление подготовки Фундаментальная информатика и информационные технологии утверждено приказом...»

«МИНИСТЕРСТВО СЕЛЬСКОГО ХОЗЯЙСТВА РОССИЙСКОЙ ФЕДЕРАЦИИ ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ СТАВРОПОЛЬСКИЙ ГОСУДАРСТВЕННЫЙ АГРАРНЫЙ УНИВЕРСИТЕТ УТВЕРЖДАЮ: Проректор по учебной и воспитательной работе _ И.В.Атанов _2013 г. ОТЧЕТ о самообследовании основной образовательной программы высшего образования 080800.62 Прикладная информатика (код, наименование специальности или направления подготовки) Ставрополь, 2014 г. СТРУКТУРА ОТЧЕТА О...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Государственное образовательное учреждение высшего профессионального образования МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ МАМИ В.И. Антомони, В.Н Архипов, А.Н. Любин, В.Н. Тихомиров Программирование на VBA в Microsoft Office Сборник лабораторных работ по дисциплине Информатика для студентов всех специальностей Москва 2011 УДК 681.3.06 Разработано в соответствии с Государственным образовательным стандартом 2008 г. Для всех...»






 
© 2014 www.kniga.seluk.ru - «Бесплатная электронная библиотека - Книги, пособия, учебники, издания, публикации»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.