17. Пролог являє собою спільну мету логічного програмування мову, пов'язаний з штучним інтелектом і комп'ютерної лінгвістики .
Пролог має своє коріння в логіці першого порядку , формальної логіки , на відміну від багатьох інших мов програмування , Пролог декларативні : програмна логіка виражається в термінах відносин, представлені у вигляді фактів і правил . Обчислення ініціюється запуск запиту на ці відносини.
Мова була вперше задуманий групою навколо Алена Colmerauer в Марселі , Франція , на початку 1970-х і першою системою Пролог був розроблений в 1972 році Colmerauer з Філіпом Руссель.
Пролог був одним з перших мов програмування логіки, і залишається одним з найпопулярніших таких мов сьогодні, багато безкоштовних і комерційних реалізацій. У той час як спочатку були націлені на обробці природної мови , мова з тих пір тягнеться далеко в інших областях, як доказ теорем , експертних систем , ігри, автоматизовані довідкові системи, онтології і складних систем управління . Сучасні середовища Prolog підтримує створення графічних користувацьких інтерфейсів , а також адміністративних і мережевих додатків.
- 1.Поняття "база даних". Системи управління базами даних. Реляційні бази даних.
- 2.Проектування та розробка баз даних. Реалізація проекту за допомогою ms Access.
- 3. Етапи розв'язування задач за допомогою комп'ютера.
- 4.Комп'ютерні програми, їх місце в процесі обробки інформації за допомогою комп'ютера.
- 5. Методи розробки програм.
- 6. Написання програм алгоритмічними мовами високого рівня
- 7.Тестування програм. Основні етапи тестування.
- 8. Робота з пеом в діалоговому режимі.
- 9. Особливості виконання обчислень на евм.(Особливості виконання основних арифметичних операцій в еом)
- 10. Машинний нуль. Похибка округлення.
- 11.Абсолютна і відносна похибка результатів основних арифметичних операцій.
- 13.)Методи пошуку ефективних алгоритмів.
- 14. Загальна характеристика алгоритмічної мови q-Basic
- 15 Загальна характеристика алгоритмічної мовиBorland-Pascal.
- 17. Пролог являє собою спільну мету логічного програмування мову, пов'язаний з штучним інтелектом і комп'ютерної лінгвістики .
- 18.)Основні елементи мов програмування:
- 19.Арифметичні та логічні вирази. Алгоритмічні вирази.
- 20. Структура програми: опис міток, опис констант, опис типу даних та змінних
- 22. Розділ операторів головної програми
- 23. Методи конструювання програм.
- 24. Застосування модулів.
- 25. Складання програм з розгалуженою структурою.
- 26.Використання пакетів програм для написання хімічних формул органічних та неорганічних речовин, а також зображення хімічного посуду ChemWindow.
- 27. Побудова графіків за допомогою Microcal Origin 7.0.
- 28. Графічні редактори Paint та CorelDraw.
- 29.Міжкомп’ютерний зв’язок
- 30. Локальна мережа
- 31.Принцип роботи Internet
- 32.Електронна пошта
- 34.Інформаційні мережі в інтернет.
- 35.Спілкування в Internet
- 36.Призначення та структура експертних систем.Життєвий цикл експертних систем.
- 37.Автоматизовані інформаційні системи.
- 38.Автоматизоване робоче місце.
- 39 .Системи автоматизованого проектування (сапр).
- 41.Взаємозв`язок між сапр і аснд.
- 42.Технологія вирішення задач за допомогою комп'ютера.
- 43.Поняття про математичну хімію, хемометрію і хімічну інформатику.
- 44Основні поняття MathCad-14 та maple 13. Створення та редагування документів.
- 45Побудова виразів. Текстові вставки.
- 46.)Розв’язання лінійних і нелінійних рівнянь
- 47)Методи розв'язання рівнянь за допомогою математичного пакету MathCad-14 та maple 13.
- 48.)Відображення функції однієї змінної у вигляді діаграм і графіків різного типу
- 49Способи відображення декількох функцій на одному графіку.
- 50 Відображення функцій двох змінних у вигляді проекцій тривимірних поверхонь та ліній рівня.
- 52.Вирішення системи лінійних алгебраїчних рівнянь за допомогою математичного пакету MathCad-14 та maple 13.
- 54Диференціювання за допомогою математичного пакету MathCad-14 та maple 13.
- 55Інтегрування за допомогою математичного пакету MathCad-14 та maple 13.