Міністерство освіти І науки України

Вид материала

Документы

Содержание Кількість годин 540 7. Форми та методи навчання 5. Викладацький склад Кількість годин 135 7. Форми та методи навчання 2. Опис. Змістовні модулі 8. Оцінювання. Контроль знань 2. Опис. Змістовні модулі 8. Оцінювання. Контроль знань 2. Опис. Змістові модулі. 7. Форми та методи навчання Цілі та завдання 7. Форми та методи навчання 2. Опис. Змістовні модулі 8. Оцінювання. Контроль знань 2. Опис. Змістовні модулі. 5. Викладацький склад

Подобный материал:

• Міністерство освіти І науки України Департамент міжнародного співробітництва та європейської, 39kb.
• Міністерство освіти І науки україни міністерство економіки україни міністерство фінансів, 18.39kb.
• Міністерство освіти І науки україни донецький обласний центр туризму та краєзнавства, 189.44kb.
• Міністерство освіти І науки україни, 335.34kb.
• Міністерство освіти І науки україни, 283.15kb.
• Міністерство освіти І науки, молоді та спорту україни, 59.16kb.
• Міністерство освіти І науки україни, 32.42kb.
• Міністерство освіти І науки, молоді та спорту України, 61.58kb.
• Міністерство освіти І науки україни положенн я про організацію фізичного виховання, 306.47kb.
• Міністерство освіти І науки україни інститут інноваційних технологій І змісту освіти, 43.77kb.

Кількість годин 540

із них аудиторна робота  342

лекцій  196

практичних занять  146

самостійна робота  99

індивідуальна робота 99

7. Форми та методи навчання

Лекції, практичні заняття, самостійна робота.

8. Оцінювання. Контроль знань.

Поточний (опитування, експрес-контрольні),

Підсумковий  екзамен  1, 2, 3 семестри,

курсова робота  1, 3 семестри,

розрахунково-графічна робота (2роботи)  2 семестр.

9. Мова

Українська

Математичний аналіз (дод. розд).

1. Ідентифікація.
   

Математичний аналіз (дод. розд).

2. Опис. Змістовні модулі.
   

Змістовний модуль 1. Поверхневі інтеграли. невласні інтеграли з параметром. Елементи теорії поля.

Змістовний модуль 2. Ряди та перетворення Фур’є.

3. Рівень
   

а) Попередні умови.

Знання навчального матеріалу основного курсу математичного аналізу.

б) Цілі та завдання.

Розвинення логічного та абстрактного мислення, математичної мови. Набуття студентами навичок проведення аналізу й виявлення спільності у різних, з першого погляду, поняттях, явищах, фактах. Засвоєння методів математичного моделювання різного роду процесів та методів дослідження відповідних математичних моделей.

в) Бібіліографія.

1. М.І. Шкіль. Математичний аналіз: Підручник: У 2 ч. Ч. 1.  К.: Вища шк., 2005.
   
2. М.І. Шкіль. Математичний аналіз: Підручник: У 2 ч. Ч. 2.  К.: Вища шк., 2005.
   
3. А.Я. Дороговцев. Математичний аналіз: Підручник: У 2 ч. Ч. 1.  К.: Либідь, 1993.
   
4. А.Я. Дороговцев. Математичний аналіз: Підручник: У 2 ч. Ч. 2.  К.: Либідь, 1994.
   
5. А.Я. Дороговцев. Математический анализ: Краткий курс в современном изложении  К.: Факт, 2004.
   
6. А.Д. Тевяшев та інші. Вища математика у прикладах та задачах: Ч 1-3. Харків, 2002.
   
7. Конспект лекцій викладача.
   
1. Обов’язковий
   

5. Викладацький склад

Недобачій С.І., канд. фіз.-мат. наук, доцент.

6.Тривалість

Кредити ECTS  4. Семестр 4  4 год. на тиждень, 18 тижні на засвоєння.

Кількість годин 135

із них

аудиторна робота  72

лекцій  36

практичних занять  36

самостійна робота  32

індивідуальна робота  32

7. Форми та методи навчання

Лекції, практичні заняття, самостійна робота.

8. Оцінювання. Контроль знань.

Поточний (опитування, експрес-контрольні),

Підсумковий  залік  4 семестр,

9. Мова

Українська

Алгебра і геометрія

1. Ідентифікація
   

Алгебра і геометрія

2. Опис. Змістовні модулі
   

Модуль 1. Лінійна алгебра.

Модуль 2. Аналітична геометрія.

Модуль 3. Матриці та квадратичні форми.

Модуль 4. Лінійні простори.

Модуль 5. Елементи теорії чисел і диференціальної геометрії.

Модуль 6. Поліноми.

3. Рівень: обов’язковий
   

а) попередні умови.

Вивчення курсу базується на знаннях, отриманих студентами при вивченні шкільного курсу математики.

б) цілі і завдання:

здобуття фундаментальних теоретичних знань і формування практичних навичок використання методів алгебри і аналітичної геометрії і застосування їх у практичній діяльності, а також формування бази для застосування цих методів у таких дисциплінах як математичний аналіз, програмування, теорія ймовірностей і математична статистика, аналіз даних, методи оптимізації тощо.

Основною метою вивчення дисципліни “алгебра та геометрія” є формування у студентів алгебраїчних та геометричних понять та розкриття взаємозв’язків між ними.

Головним завданням дисципліни є вироблення у студентів навичок застосування алгебраїчних та геометричних методів розв’язування математичних задач.

в) бібліографія:

основна література:

• Курош А. Г. Курс высшей алгебры. М.: Наука, 1975, 431 с.
  
• Ильин В.А., Поздняк Э.Г. Линейная алгебра: Учеб. Для вузов.- М.: Наука. Физматлит, 1999, 296 с
  
• Беклемешев Д.В. Курс аналитической геометрии и линейной алгебры. М.: Наука, 1987, 320 с.
  
• Ефимов Н.В. Краткий курс аналитической геометри, 1967, 267 с.
  

додаткова література:

• Гельфанд И.М. Лекции по линейной алгебре.- М.: Наука, 1966, 280 с.
  
• Г.Е.Шилов. Математический анализ (конечномерные линейные пространства.- М.: Наука, 1969, 432 с.
  
• В.С. Чарин. Линейные преобразования и выпуклые множества.- К.:Вища школа, 1978, 192 с.
  
• Кудрявцев В.А, Демидович Б.П. Краткий курс высшей математики: Учебное пособие для вузов.- М.:Наука, 1989, 656 с.
  
• Александров А.Д., Нецветаев Н.Ю. Геометрия. Учеб. пособие.- М.: Наука, 1990, 672 с.
  
• Бахвалов С.В., Бабушкин Л.И., Иваницкая В.П. Аналитическая геометрия.- М.: Просвещение. 1970, 376 с.
  
• Ланкастер П. Теория матриц.- М.:Наука, 1978, 280 с.
  
• Воеводин В.М. Линейная алгебра.-М.:Наука, 1980, 400 с.
  
• С. Ленг. Алгебра.- М.:Мир, 1968, 564 с.
  
• Базылев В.Т., Дуничев К.И., Иваницкая В.П. – Геометрия. Учеб. пособие для студентов I курса физ.-мат. фак-тов пед. ин.-тов.- М.:Просвещение, 1974, 352 с.
  
• Погорелов А.В. Геометрия: Учеб. пособие для вузов.- М.: Наука, 1984, 288 с.
  
• Погорелов А.В. Аналитическая геометрия: Учеб. пособие для вузов.- М.: Наука, 1978, 208 с.
  

4. Викладацький склад: Євсеєва Л.Г., канд. фіз.-мат. наук, доцент кафедри
   
5. Тривалість.
   

378 год. (з них аудиторних 206 год.: 108 год. лекцій, 98 год. практичних занять), кредити ECTS – 6, 1 і 2 курси, 1,2 і 3-й семестри, 4 години на тиждень аудиторних занять, 52 тижні на засвоєння.

6. Форми і методи навчання: лекції, практичні заняття.
   
7. Оцінювання. Контроль знань:
   

Поточний контроль знань студентів здійснюється за таким напрямами:

• перевірка підготовки до практичних занять опитуванням;
  
• перевірка вивчення лекційного матеріалу опитуванням;
  
• виконання індивідуальних завдань,
  
• виконання курсової роботи у 3-му семестрі.
  

З метою підсумкового контролю знань студенти у 1,2 і 3-му семестрах складають залік та екзамен.

8. Мова. Українська.
   

Дискретна математика

1. Ідентифікація
   

Дискретна математика

2. Опис. Змістовні модулі

1 модуль.

Логіка і множини. Відношення і функції. Елементи комбінаторики.

Елементи теорії імовірностей – 54 год.

лекцій – 18 год.

практичних – 18 год.

самостійна робота – 18 год.

2 модуль.

Принцип включення виключення. Булеві функції. Подільність і факторизація. Мови. Машина скінчених станів. Скінчений автомат. Машина Тюрінга.- 54 год.

лекцій – 18 год.

практичних – 18 год.

самостійна робота – 18 год.

3 модуль.

Групи і медулярна арифметика. Елементи теорії кодування. Елементи криптографії. Продуктивні функції. – 54 год.

лекцій – 18 год.

практичних – 18 год.

самостійна робота – 18

4 модуль.

Рекурсивні відношення. Графи. - 54 год.

лекцій – 18 год.

практичних – 18 год.

самостійна робота – 18 год

3. Рівень

а) Попередні умови.

Шкільний курс елементарної математики.

б) Цілі і завдання

Вироблення навиків чіткого формулювання знань в термінах теорії множин з використанням символів математичної логіки. Дати зразки мислення в термінах логічного слідування, аналізу і синтезу, індукції і дедукції, співвідношення між цілим і частковим. Дати зразки формулювання задач в термінах бінарних відношень і теорії графів, проводити елементарні дослідження проблем згідно цих теорій. Створити теоретичне підґрунтя для подальшого вивчення Теорії Ймовірностей у розділі Елементи Комбінаторики. Створити теоретичне підґрунтя для подальшого вивчення Програмування.

в) Бібліографія

О.Д. Шарапов, Д.Є. Семьонов, В.Д. Дербенцев. Дискретний аналіз. Навчально – методичний посібник для самостійного вивчення дисципліни. Київський Національний Економічний Університет. Київ, 2002.

Конспекти лекцій викладача.

4. Обов’язковий

5. Викладацький склад

Горбань А.Г. , канд. фіз.-мат наук, доцент

6. Тривалість
   

Кількість годин 216

із них

лекцій – 72 год.

практичних – 72 год.

самостійна робота – 72 год.

7. Форми та методи навчання

Лекції, практичні заняття, самостійна робота

8. Оцінювання. Контроль знань

Поточний (опитування, експрес-контрольні)

Підсумковий – екзамен - 2 семестр

Залік - 1 семестр

9. Мова

Українська


Програмування

1. Ідентифікація
   

Програмування

2. Опис. Змістовні модулі

1 модуль.

Середовище програмування QBasic – 54 год.

лекцій – 18 год.

лабораторних – 18 год.

самостійна робота – 18 год.

2 модуль.

Середовище програмування Visual Basic .- 54 год.

лекцій – 18 год.

лабораторних – 18 год.

самостійна робота – 18 год.

3 модуль.

Середовище програмування Pascal. – 54 год.

лекцій – 18 год.

лабораторних – 18 год.

самостійна робота – 18

4 модуль.

Середовище програмування Delphi. - 54 год.

лекцій – 18 год.

лабораторних – 18 год.

самостійна робота – 18 год

5 модуль.

Мова програмування C++ . - 54 год.

лекцій – 18 год.

лабораторних – 18 год.

самостійна робота – 18 год

6 модуль.

Мова програмування Java . - 54 год.

лекцій – 18 год.

лабораторних – 18 год.

самостійна робота – 18 год

3. Рівень

а) Попередні умови.

Шкільний курс інформатики.

б) Цілі і завдання

Оволодіти мовами програмування QBasic, Visual Basic, Pascal, Delphi, C++, Java в обсязі, що дозволяє створювати не великі за обсягом аплікації, в яких були б відображені всі потенціальні можливості вказаних мов і тим самим створити підґрунтя для більш поглибленого вивчення їх в наступних дисциплінах.

в) Бібліографія

1. Ю. Федоренко. Алгоритми і програми на QBasic. Санкт-Петербург, 2002.
   
2. С. А. Немнюгин. Turbo Pascal. Санкт-Петербург, 2001.
   
3. С. Бобровский. Delphi 5. Санкт-Петербург, 2002.
   
4. Стівен Прата. Язик программирования С++. Київ, 2001.
   
5. Microsoft Visual Basic Programmer’s Guide . E – Book.
   
6. Don Doherty. Teach Yourself Jbuilder 2 in 21 days. E-Book.
   
7. Конспекти лекцій викладача.
   

4. Обов’язковий

5. Викладацький склад

Горбань А.Г. , канд. фіз.-мат наук, доцент

6. Тривалість
   

Кількість годин 324

із них

лекцій – 108 год.

лабораторних – 108 год.

самостійна робота – 108 год.

7. Форми та методи навчання

Лекції, практичні заняття, самостійна робота

8. Оцінювання. Контроль знань

Поточний (опитування, експрес-контрольні)

Підсумковий – екзамен – 1, 2, 3 семестри

залік – 1, 2, 3 семестри

курсова робота – 2 семестр

9. Мова

Українська


Історія України.


1. Назва дисципліни.

Історія України.

2. Опис. Змістові модулі.

І Модуль (Вступ. Тема 1. Витоки українського народу та його державності. Тема 2. Русь в українській і світовій історії. Тема 3. Польський фактор в українській історії ХV- першої половини ХVІІ ст. Козацтво. Тема 4. Визвольна війна українського народу середини ХVІІ ст. Формування та еволюція козацько-гетьманської держави. Тема 5. Ліквідація української автономної державності. Україна в складі Російської та Австро-Угорської імперій).

ІІ Модуль (Тема 6. Україна в революційних процесах 1917-1921рр. Тема 7. Міжвоєнний період в історії українського народу (1921-1939рр.). Тема 8. Україна в роки Другої світової війни. Тема 9. Суспільно-політичний розвиток України від другої половини 40-х до 80-х рр. ХХ ст. Тема 10. Національно-державне відродження українського народу. Незалежна Україна в сучасному світі).

3. Рівень:

а) Попередні умови. Базові знання з історії України рівня загальної середньої освіти. Література: О.Субтельний Україна: історія. – К., 1994; Гупан Н.М. та ін. Історія України: Навч. посібн. для старшокласників і абітурієнтів /Н.М.Гупан, Г.О.Фрейман. – К.: Видавництво А.С.К., 2004. – 288с.

б) Цілі та завдання: надання знань про сутність соціально-політичних процесів, що відбувалися в минулому й відбуваються в сучасній Україні, їх об’єктивну зумовленість, взаємозв’язки та взаємозалежності; вироблення вмінь аналізувати й оцінювати явища соціально-політичного розвитку українського суспільства в контексті світової історії, зіставляти історичні процеси з епохами, застосовувати набуті знання для прогнозування суспільних процесів; формування свідомості громадянина й патріота України.

в) Бібліографія:

Гавриленко І.М. Історія України: курс лекцій. – Полтава: АСМІ, 2004. – 236с.; Рибалка І.К. Історія України в 2 т. – К.: Вища школа, 1991; Історія України/ За ред.В.А.Смолія. – К., 1997; Бойко О.К. Історія України. – Київ: Академія, 1999. – 568с.; Історія України: Курс лекцій у 2-х книгах/ За ред. Мельник. – К., 1991.

4. Обов’язковий.

5. Викладацький склад:

Вітринська О.В., магістр історії, старший викладач.

6. Тривалість:

108 год., кредити ЕСТS – 3 (усі протягом 1-го семестру). 4 год. на тиждень, 26 тижнів на засвоєння.

7. Форми та методи навчання: лекції, семінарські заняття, консультації, самостійна робота.

8. Оцінювання. Контроль знань:

- поточний – опитування;

- підсумковий – іспит усний.

9. Мова. Українська.


Культурологія (ГУ).


1.Ідентифікація.

Культурологія (ГУ).

2. Опис. Змістові модулі.

Специфіка культурологічного знання. Генеза культури. Співвідношення культури та цивілізації. Техніка–наука–культура та природа людини. Аполлонівська та діонісійська засади європейської культури. Кризові явища в культурі Культура. Контркультура. Субкультура. Роль культурних орієнтацій у розвитку суспільства. Взаємодія культур у сучасному світі. Поняття культурної ідентифікації.

3. Рівень:

А) Попередні умови. Базові знання з історії України, рідного краю та світової історії рівня повної загальної середньої освіти.

Б) Цілі та завдання: призначена сформувати у студентів систему знань про закономірності культурного процесу, культуру як специфічний і унікальний феномен людства, розгляд культури в розвитку, в єдності та суперечності різноманітних процесів і тенденцій у ній.

В) Бібліографія:

- Культурологія. Навч.посібник для вищих навчальних закладів/ За ред. Пічі В.Л. – Львів.- 2003; Кочерга Н.К., Передерій І.Г. Культурологія. Конспект лекцій для студентів усіх факультетів усіх форм навчання Полтавського національного технічного університету імені Юрія Кондратюка. – Полтава: ПолтНТУ., 2004.

4.Обов’язковий.

5.Викладацький склад:

Кочерга Н.К., канд. іст. наук, доц.

6. Тривалість:

54 год., кредити ЕСТS – 1,5. чотириместри.

год. на тиждень, тижнів на засвоєння.

7. Форми та методи навчання: лекції, семінарські заняття з використанням інноваційних технологій, аудіовізуального супроводження та самостійна робота.

8.Оцінювання. Контроль знань:

- поточний (опитування, тестування)

- підсумковий – залік.

9. Мова. Українська


Філософія (філософія, логіка, етика, естетика)

1. Ідентифікація.
   

Філософія (філософія, логіка, етика, естетика)

2. Опис. Змістові модулі.
   

І модуль. Філософія – тип світогляду. Історія філософських вчень. Предмет, структура, функції філософії. Історія філософії: антична філософія; філософія Давнього Сходу; середньовічна філософія й філософія епохи Відродження; філософія Нового часу та Просвітництва; німецька класична філософія; українська філософська думка; російська релігійна філософія; сучасна філософія. ІІ модуль. Філософія – система найбільш загальних знань про світ і людину. Онтологія. Діалектика. Гносеологія. Вчення про свідомість. Логіка. Аксіологія. ІІІ модуль. Соціально-філософська теорія. Вчення про суспільство. Антропологія. Суспільство та природа, суспільство і науково-технічний прогрес. Етичні та естетичні цінності.

3. Рівень:
   

А) Попередні умови. Знання та вміння з індивідуальних розділів: „Історія України”, „Релігієзнавство”, „Культурологія”.

Б) Цілі та завдання: формування знань про філософію як вид індивідуального світогляду, вивчення історії філософії, сприяння гуманізації освіти через засвоєння досягнень сучасної філософії, інформації про світ в цілому і ставлення людини до цього світу; вивчення комплексу принципів пізнання як загального методу пізнавальної діяльності; розвиток здібностей до логічного мислення, самостійного аналізу складних явищ суспільного життя, уміння пов’язувати загальнофілософські проблеми з розв’язанням завдань економічної теорії і практики.

В) Бібліографія:

Історія філософії: Підручник для вищої школи / Кер. автор. кол. В. Г. Кремень. – Х.: Прапор, 2003.

Філософія: посібник для студентів вищих навчальних закладів / Причепій Є. М., Черній А. М., Чекаль Л. А. – К.: Видавничий центр „Академія”, 2003. – 576 с.

Практикум з філософії: Методичний посібник для викладачів та студентів ВНЗ. Під редакцією В.Л.Петрушенка. Львів: Новий Світ – 2000, Магнолія плюс, 2003.

Філософія: Навчальний посібник. Вид. 3-тє, стереотип. / За ред. І. Ф. Надольного. – К.: Вікар, 2002.

Філософія: Підручник для вищої школи / В.Г.Кремінь, М.І.Горлач. – Х.: Прапор, 2004.

Етика: Навчальний посібник За ред. В. О. Лозового – К.: Юрінком Інтер, 2004 – 224 с.

Естетика: Навчальний посібник За ред. В. О. Лозового – К.: Юрінком Інтер, 2004 – 208 с.

Жеребкін В. Є. Логіка: Підручник. – 8-ме вид., стер. – К.: Т-во „Знання”, КОО, 2005.

Обов’язковий.

4. Викладацький склад:
   

Рябокляч В.В., канд. філос. наук, доц.

5. Тривалість:
   

135 год., кредити ECTS – 4. Семестр – 1.

7,5 год. на тиждень, 18 тижнів на засвоєння.

6. Форми та методи навчання: лекції, семінарські заняття, консультації.
   
7. Оцінювання. Контроль знань:
   

• поточний (опитування, тестування)
  
• підсумковий – екзамен
  

8. Мова. Українська
   

Релігієзнавство

1. Ідентифікація.
   

Релігієзнавство

2. Опис. Змістові модулі.
   

І модуль. Релігія у суспільному житті. Первісні, стародавні та східні релігії. Релігія і суспільство. Предмет релігієзнавства. Форми релігійного життя людини. Первісні форми релігії. Міфологічні релігії Стародавнього Світу. Зороастризм. Релігії стародавньої та сучасної Індії. Буддизм. Релігії Китаю та Японії. Іудаїзм. ІІ модуль. Християнство. Релігія в Україні та в сучасному світі. Біблія: її походження, зміст та релігійно-культурне значення. Раннє християнство. Християнство на Заході. Католицизм та протестантизм. Християнство на Сході. Православ’я. Релігія та церква в Україні: історія та сучасність. Християнські свята та обряди. Іслам. Релігія і церква у сучасному світі.

3. Рівень:
   

А) Попередні умови. Знання та вміння з індивідуальних розділів: „Історія України”, „Культурологія”.

Б) Цілі та завдання: вивчення історико-теоретичних та практичних проблем релігієзнавства, розкриття місця релігії в системі духовної культури людства, характеристика сучасних церковних організацій і конфесій, підвищення загальнокультурної, гуманітарної підготовки майбутніх спеціалістів.

В) Бібліографія:

Академічне релігієзнавство. Підручник / За ред. А. М. Колодного. – К., 2000.

Аляєв Г. Є., Горбань О. В., Мєшков В. М. Лекції з релігієзнавства: Навчальний посібник. – К., 1996.

Історія релігій в Україні: Навч. посібник / За ред. А. М. Колодного і П. Л. Яроцького. – К., 1999.

Лубський В. І., Теремко В. І., Лубська М. В. Релігієзнавство: Підручник. – К.: Академвидав, 2002. – 432 с.

Релігієзнавство: Навч. посібник За ред. С. А. Бублика. – К., 1999.

4. Обов’язковий.
   
5. Викладацький склад:
   

Вільховий Ю. В., канд. іст. н., ст. викладач

6. Тривалість:
   

54 год., кредити ECTS – 1,5. Семестр – 2.

3 год. на тиждень, 18 тижнів на засвоєння.

7. Форми та методи навчання: лекції, семінарські заняття, консультації.
   
8. Оцінювання. Контроль знань:
   

• поточний (опитування, тестування)
  
• підсумковий – залік
  

9. Мова. Українська
   

Основи Інтернет

1. Ідентифікація
   

Основи Інтернет

2. Опис. Змістовні модулі

1 модуль.

Створення Web сторінок засобами HTML – 54 год.

лекцій – 18 год.

лабораторних – 18 год.

самостійна робота – 18 год.

2 модуль.

СSS і JSS технології створення Інтернет сторінок .- 54 год.

лекцій – 18 год.

лабораторних – 18 год.

самостійна робота – 18 год.

3. Рівень

а) Попередні умови.

Курс програмування

б) Цілі і завдання

Оволодіти засобами створення Інтернет сторінок, їх розміщення в мережі Інтернет і реєстрації в пошукових системах

в) Бібліографія

ссылка скрыта

ссылка скрыта

Конспекти лекцій викладача.

4. Обов’язковий

5. Викладацький склад

Горбань А.Г. , канд. фіз.-мат наук, доцент

6. Тривалість
   

Кількість годин 108

із них

лекцій – 38 год.

лабораторних – 34 год.

самостійна робота – 36 год.

7. Форми та методи навчання

Лекції, практичні заняття, самостійна робота

8. Оцінювання. Контроль знань

Поточний (опитування, експрес-контрольні)

Підсумковий – екзамен – 1, 2, 3 семестри

залік – 1, 2, 3 семестри

курсова робота – 2 семестр

9. Мова

Українська


Теорія алгоритмів та математична логіка.


1. Ідентифікація.

Теорія алгоритмів та математична логіка.

2. Опис. Змістовні модулі.

Змістовний модуль 1. Дедуктивна логіка висловлювань. логіко-математичні мови. Теорія моделей.

Змістовний модуль 2. Теорія доведень. Автоматизація пошуку доведень.

Змістовний модуль 3. Формальні моделі алгоритмів та алгоритмічно обчислювальних функцій.

Змістовний модуль 4. Універсальні нумерації. Рекурсивні та рекурсивно перелічні множини та предикати. Звідності та степені.

3. Рівень

а) Попередні умови.

Знання навчального матеріалу курсів “Дискретна математика” та Алгебра і геометрія”.

б) Цілі та завдання.

Вироблення у студентів умінь та навичок застосування математичної логіки у професійній діяльності. Засвоєння секвенціальних варіантів числення висловлень, поняття мови першого порядку, поняття алгебраїчних систем обраної сигнатури та істинності формул в алгебраїчних системах, поняття моделі, Ербранової форми твердження. Студент повинен знати види алгоритмів, властивості алгоритмі, програмовані функції, поняття нумерації, властивості примітивно рекурсивних, рекурсивних та рекурсивно перелічних множин і предикатів. Уміти вести обчислення за Тьюрінгом, за Марковим, за Постом, використовувати тезу Чорча. Мати поняття про несуперечливість, повноту та неповноту теорій першого порядку.


в) Бібіліографія.

Л.П. Лісовик, С.С. Шкільняк Теорія алгоритмів: навчальний посібник.  Київський НТУ ім. Тараса Шевченка, 2001.

С.С. Шкільняк Математична логіка і теорія алгоритмів: приклади і задачі: навчальний посібник.  Київський НТУ ім. Тараса Шевченка, 2001.

Ю.Л.Ершов, Е.А. Палютин Математическая логика. Учеб. пособие для вузов. 2-е изд. М.: Наука, 1987.

Конспект лекцій викладача.

4. Обов’язковий
   

5. Викладацький склад

Недобачій С.І., канд. фіз.-мат. наук, доцент.

6.Тривалість

Кредити ECTS  6. Семестр 3, 4 по 4 год. на тиждень, 36 тижні на засвоєння.