- •Програма фахових вступних випробувань з прикладної математики та програмування
- •Програма вступних випробувань з прикладної математики та програмування до спеціалітету
- •Програма фахових вступних випробувань з прикладної математики та програмування
- •Програма вступних випробувань з прикладної математики та програмування до магістратури
Міністерство освіти і науки, молоді та спорту
Херсонський державний університет
ЗАТВЕРДЖУЮ
Ректор університету
професор______Ходосовцев О.Є.
«___» ______________ 2012 р.
Програма фахових вступних випробувань з прикладної математики та програмування
для здобуття освітньо-кваліфікаційного рівня спеціаліст
(денна, заочна форма навчання)
Галузь знань: 0403. Системні науки та кібернетика
Напрям підготовки: 7.04030201. Інформатика
Херсон - 2012
Пояснювальна записка до програми вступних випробувань зі спеціальності «Іінформатика»
Під час складання іспиту студент повинен знати:
основні поняття та методи математичної логіки: поняття формальної теорії, правильно-побудованих формул, аксіом, правил доведення.
основні властивості формальних теорій: несуперечливість, повноту, розв’язність, незалежність.
методи формального доведення теорем в формальних теоріях: теорему дедукції, похідні правила доведення тощо.
використання методів математичної логіки в прикладних задачах та теоріях.
основи математичної логіки, алгоритмізації, об‘єктно-орієнтованого програмування, теорії чисел, комбінаторики, теорії ймовірності та теорії кодів
Під час складання іспиту студент повинен вміти:
користуватися конструктивними методами математичної логіки при побудові та реалізації формальних математичних моделей, ефективними алгоритмами доведення теорем.
будувати таблиці істинності, доведення, виконувати операції над множинами
складати алгоритми та визначати їх складність.
будувати графи, дерева та мережі
визначати ймовірність події за певних умов, кодувати інформацію
складати алгоритми, використовуючи базові структури;
реалізовувати алгоритми структурними програмами;
ефективно вибирати типи та структури даних для зберігання інформації;
використовувати вказівники для динамічного управління пам’яттю;
використовувати зв’язані структури даних для роботи з інформацією;
застосовувати операції роботи з файлами як на стандартному, так й на системному рівні;
розробляти алгоритми розв’язання невеликих задач і проектувати невеликі прикладні програмні системи.
Термін виконання завдання 180 хвилин.
Програма вступних випробувань з прикладної математики та програмування до спеціалітету
Об’єктна та функціональна декомпозиції. Приклад об’єктної декомпозиції складної системи.
Основні обчислювальні алгоритми сортування. Приклад реалізації одного з алгоритмів сортування на мові програмування С++.
Основні елементі об’єктної моделі. Успадкування, множинне успадкування, віртуальне успадкування, абстрактні класи. Приклади об’явлення ієрархії класів.
Основні елементі об’єктної моделі. Поліморфізм. Віртуальні функції. Приклад реалізації на одній з мов програмування.
Основні елементі об’єктної моделі. Поліморфізм. Перевизначення операторів. Приклад реалізації на одній з мов програмування операторів присвоювання, арифметичних дій, порівняння.
Основні елементі об’єктної моделі. Інкапсуляція, управління доступом до членів класу. Категорії методів класу. Приклад об’явлення класу.
Графи. Приклад реалізації находження найкоротшого шляху в графі на об’єктно-орієнтованій мові програмування.
Дерева. Приклади реалізації обходу дерева на об’єктно-орієнтованій мові програмування.
Бінарні збалансовані дерева. Приклад реалізації вставки елемента дерева на об’єктно-орієнтованій мові програмування.
Колекції та вимоги до них. Приклади використання колекцій STL.
Протоколи ітераторів. Приклади реалізації доступу до елементів колекцій.
Програмування подій. Приклади реалізації подій та управління потоком обчислень через події на об’єктно-орієнтованій мові програмування.
Обробка виключних ситуацій (exceptions). Стратегії обробки виключних ситуацій. Приклади реалізації на об’єктно-орієнтованій мові програмування.
Шаблони проектування. Породження об’єктів. Приклади реалізації на об’єктно-орієнтованій мові програмування.
Шаблони проектування. Розподіл обов’язків між класами та з використанням шаблонів поведінки. Приклади реалізації на об’єктно-орієнтованій мові програмування.
Якість програмних систем. Оцінювання якості людино-машинного інтерфейсу.
Якість програмних систем. Типи вимог, функціональні, не функціональні, атрибути якості.
Якість програмних систем. Тестування. Приклад автоматизованого тесту.
Нотації та засоби підтримки проектування. Описи статичної моделі з використанням UML. Приклади діаграм класів та об’єктів.
Нотації та засоби підтримки проектування. Описи динамічної моделі з використанням UML. Приклади діаграм послідовностей.
Об’єкти реляційної бази даних. Їх створення та модифікація засобами SQL. Приклад реалізації за допомогою Data Definition Language.
Обмеження реляційної бази даних. Їх створення та модифікація засобами SQL. Приклад реалізації Data Definition Language.
Операції реляційної алгебри та їх реалізація на мові SQL.
Нормальні форми реляційної бази даних. Приклад структури БД та аномалії зміни даних.
Теорія множин та реляційні бази даних. Поняття відношення.
Поняття транзакції, властивості транзакцій.
Ізоляція транзакцій. Проблеми паралельної роботи та механізми блокування.
Ізоляція транзакцій. Визначення графіку виконання та правильного графіку виконання транзакції.
Ізоляція транзакцій. Рівні ізоляції та управління рівнем ізоляції транзакції в SQL сервері.
Типи даних та функції для роботи з ними в реляційних базах даних. Приклади використання.
Представлення (view). Приклади використання.
Управління доступом до даних в реляційних базах даних. Ролі, користувачі та їх права доступу.
Мова XML. Мова XPath. Приклади XML документу та XPath виразів.
Поняття Web сервісу, стек протоколів WS.
Мови HTML та CSS. Приклад html сторінки.
Реалізація ієрархічних структур на MS SQL Server. Приклади знаходження елементу структури та всіх його потомків із строки, що містить шлях до елементу.
Оператор SELECT. Групові операції. Приклади використання агрегатних функцій.
Витяг даних з кількох таблиць. Приклади використання INNER JOIN, LEFT(RIGHT) OUTER JOIN, EXISTS, ANY.
Ключі та зовнішні ключі. Операції над реляційною базою даних та цілісність даних. Приклади процедур на мові SQL що змінюють дані кількох таблиць, зв’язаних зовнішніми ключами.
Мова XML. Визначення схеми документу за допомогою XSD. Приклад схеми та документу, що задовольняє цій схемі. Приклад програмної валідації XML документу.
ПЕРЕЛІК ЛІТЕРАТУРИ
Айгнер М. Комбинаторная теория. – М.: Мир, 1982. – 556 с.
Акулич И.Л. Математическое программирование в примерах и задачах. М.: Высш. Шк., 1985
Андерсон Д.А. Дискретная математика и комбинаторика: Пер. с англ.. – М.: Изд. дом «Вильямс», 2003. – 960 с.
Архангельский А.Я. Язык Pascal и основы программирования в Delphi
Ахо А., Хонкрофит Дж. Построение и анализ вычислительных алгоритмов. М.: Мир, 1979. -536 с.
Б. Керниган , Д. Ритчи Язык программирования Си. – М.: Финансы и статистика. - 1992.
Б. Строустрап. Язык программирования С++. – М.: Бином. – 1999.
Бардачов Ю.М. Дискретна математика: Підручник / Ю.М. Бардачов, Н.А. Соколова, В.Є. Ходаков; за ред. В.Є. Ходакова. – К.: Вища шк., 2002.
Белоусов А.И., Ткачев С.Б. Дискретная математика. – М.: МГТУ им Н.Э. Баумана, 2001. – 743 с.
Березин, Березин. Начальный курс программирования на С и С++.
Берж К. Теория графов и ее применение. – М.: Мир, 1972. – 324 с.
Берлекэмп Э. Алгебраическая теория кодирования.—М.: Мир, 1971.
Биркгоф Г., Барти Т Современная прикладная алгебра. - М.: Мир, 1976. – 400 с.
Бихманн П. И др. Программные системы. Применение. Разработка. Обоснование. М.: Мир, 1988.
Білоус Н.В. та ін. Основи комбінаторного аналізу / Н.В. Білоус, З.В. Дудар, Н.С. Лєсна, І.Ю. Шубін. – Харків: ХТУРЕ, 1999. – 96.с.
Блейхут Р. Теория и практика кодов, контролирующих ошибки. М.: Мир, 1986.
Бондаренко М.Ф. та ін. Збірник тестових завдань з дискретної математики / М.Ф. Бондаренко, Н.В. Білоус, І.Ю Шубін. – Харків: ХТУРЕ, 2000. – 156 с.
Бриллюэн Л. Наука и теория информации. — М.: Физматгиз, 1959.
Брой М. Информатика. Основополагающее введение. Части 1 и 2, Москва 1996.
Буч Г. Объектно-ориентированное проектирование с примерами применения: Пер. с англ.– М.: Конкорд, 1992.– 519 с.
Вагнер В.В. Теория отношений и алгебра частичных от ображений. – В кн.: Теория полугрупп и ее приложения. – Саратов: СГУ, 1965. – с.3-178.
Венц А. Н. Профессия – программист.– Ростов: Изд-во «Феникс», 1999.– 384 с.
Виленкин Н.Я. Комбинаторика.– М.: Наука, 1969.– 328 с.
Виноградов И.М. Основы теории чисел.– М.: Наука, 1972.– 167 с.
Вітілінський В.В., Наконечний С.І., Шарапов О.Д. Економічний ризик і методи його вимірювання: Підручник.-К. ІМЗН, 1996.
Воробьев Н, Н, Числа Фибоначчи, — М.: Наука, 1972.
Г. Шилдт. Полный справочник по С++. 4 и-е. – М.: Вильямс. – 2003.
Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. М.: Наука, 1977.
Галлагер Р. Теория информации и надежная связь. — М.: Советское радио, 1974.
Гиндикин С.Г. Алгебра логики в задачах. М., 1972.
Гладкий А.В. Математическая логика. М.: Российск. гос. гуманит. ун-т, 1998. - 479с.
Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра, языки, програмирование. К.: Наукова думка, 1974.
Гохман А. В., Спивак М. А., Розен В. В. и др. Сборник задач по математической логике и алгебре множеств. Саратов, 1969.
Гусева А.И. Учимся информатике: задачи и методы решения.– М.: «Диалог – МИФИ», 1998.– 320 с.
Гуц А.К. Математическая логика и теория алгоритмов: Учебное пособие. - Омск: Издательство Наследие. Диалог-Сибирь, 2003. - 108 с.
Додж М., Кината К., Стинсон К. Эффективная работа с MS Excel 97 – СПб: Питер, 1998.
Ермольев Ю.М. Методы стохастического программирования. - М.:Наука, 1976.
Зайзенко Ю.П. Исследование операций.-К.:Вища шк., 1988.
Игошин В.И. Математическая логика и теория алгоритмов. - Саратов: изд-во СГУ, 1991. - 256 с.
Интрилигатор М. Математические методы оптимизации и экономическая теория: Пер. с англ.-М.:Прогресс,1975.
Исследование операций / Хэмди А.Таха. СПб: Питер, 2001.
Кабак Л.Ф., Суворовский А.А. Математическое программирование.-К.:ІМКВО, 1992.
Калихман И.С. Сборник задач по математическому программированию. М.:Высш.шк., 1975.
Капітонова Ю.В. та ін.. Основи дискретної математики / Ю.В. Капітонова, С.Л. Кривий, О.А. Летичевський та ін.. – К.: Наукова думка, 2002. – 578 с.
Карманов В.Г. Математическое программирование. – М.: Наука, 1986.
Касами Т., Токура Н., Ивадари Е., Инагаки Я. Теория кодирования. — М.: Мир, 1978.
Касаткин В.Н. Информация. Алгоритмы. ЭВМ: /Пособие для учителя. М., 1991.
Клини С.К. Математическая логика. М.: Мир, 1973.
Кнут Д. Искусство программирования для ЭВМ. М.: Мир, 1976, 1977, 1978 - т.1-3.
Колесник В. Д., Мирончиков Е. Т. Декодирование циклических кодов. — М.: Связь, 1968.
Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы. Построение и анализ.– М.: МЦНМО, 1999.– 960 с.
Кострикин А. И. Введение в алгебру. — М.: Наука, 1977.
Культин Н.Б. Turbo Pascal в задачах и примерах
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. - М.: Наука, 1975.
Линейное и нелинейнгое программирование. / Под. Ред. И.Н.Ляшенко.-К.:Вища шк., 1975.
Львов М.С., Співаковський О.В. Вступ до обєктно-орієнтованого програмування. – Херсон: ХДПУ. – 240 с.
М.С.Львов, О.В. Співаковський. Основи алгоритмізації та програмування.
Мак-Вильяме Ф., Слоэн Н. Дж. Теория кодов, исправляющих ошибки. — М.: Связь, 1979.
Марченко А.И., Марченко Л.А. Программирование в среде Turbo Pascal 7.0
Меньшиков М.В. и др. Комбинаторный анализ. Задачи и упражнения. М.Наука, 1982.
Н. Вирт. Алгортитмы + структуры данных = программы. – М.: Мир. - 1985.
Немцова Т.И., Голова С.Ю., Абрамова И.В. Программирование на языке высокого уровня. программирование на языке Object Pascal
Новик Д. А. Эффективное кодирование. — М. Л.: Энергия, 1965.
Новиков Ф.А. Дискретная математика для программистов. – СПб: Питер, 2000.
Окулов С.М. Основы программирования.– М.: ЮНИМЕДИАСТАЙЛ, 2002.– 424 с.
Павловская Т.А. Паскаль. Программирование на языке высокого уровня
Пильщиков В.Н. Сборник упражнений по языку Паскаль. Москва, Наука, 1989 г., 160 с.
Питерсон У., Уэлдон Э. Коды, исправляющие ошибки. — М.: Мир, 1976.
Р. Хэзфилд, К. Лоуренс и др.Искусство программирования на С. – К.: «ДиаСофт». - 2001.
Романюк Т.П., Терещенко Т.О., Присенко Г.В., Городкова І.М. Математичне програмування.: Навч. посібник – К. ІЗМН, 1996.
С. Майерс. Эффективное использование С++. - М.: ДМК. – 2000.
С. Прата. Язык программирования С++. Лекции иупражнения. – СПб.: ДиаСофт. – 2003.
С. Шлеер, С. Мэллор. Объектно-ориентированный анализ: моделирование мира в состояниях. Киев: Диалектика, 1993. – 240 с.
Т. Бадд. Объектно-ориентированное программирование в действии / пер. с англ. - СПб.:Питер, 1997. – 464 с.
Фано Р. Передача информации. Статистическая теория связи. — М.: Мир, 1965.
Фаронов В.В. Delphi 6. Учебний курс. -М.: Издатель Молгачева С.В.,-672 с.
Фаронов В.В. Turbo Pascal 7.0. Начальный курс. – Учебное пособие. – М.: Издательство «ОМД Групп», 2003 г. -616 с.
Фридман А.Л. Основы объектно-ориентированного программирования на языке С++.
Хоггер К. Введение в логическое программирование. М.Мир, 1988.
Холл М. Комбинаторика. — М.: Мир, 1970.
Черч А. Введение в математическую логику. М.: Мир, 1960.
Шеннон К. Работы по теории информации и кибернетике. — М.: ИЛ, 1963.
Эдельман С. Л. Математическая логика. Учеб. пособие для ин-тов. М., «Высшая школа», 1975. 176 с. с ил.
Экономическая информатика / под. ред. П.В. Конюховского и Д.Н. Колесова. – СПб: Питер, 2001.
Яблонский С.В. Введение в дискретную математику. М.: Наука, 1981.
Ястремский А.И. Стохастические модели математической економики. – К., 1983.
Голова фахової атестаційної комісії, кандидат фізико-математичних наук, доцент |
Кузьмич В.І. |
Міністерство освіти і науки, молоді та спорту
Херсонський державний університет
ЗАТВЕРДЖУЮ
Ректор університету
професор______Ходосовцев О.Є.
«___» ______________ 2012 р.