• Гідрологія і Гідрометрія
• Господарське право
• Економіка будівництва
• Економіка природокористування
• Економічна теорія
• Земельне право
• Історія України
• Кримінально виконавче право
• Медична радіологія
• Методи аналізу
• Міжнародне приватне право
• Міжнародний маркетинг
• Основи екології
• Предмет Політологія
• Соціальне страхування
• Технічні засоби організації дорожнього руху
• Товарознавство продовольчих товарів

Парадигми теоретичного програмування

Разом з парадигмами прикладного програмування ПС продовжують розвиватися і теоретичне програмування, основано на фундаментальних дослідженнях, математичних теоріях і дисциплінах (логіка, алгебра, комбінаторика). Завдяки цьому забезпечується математичний аналіз й осмислення деяких завдань програмування, а також їх опису з використанням математичної символіки, відсутньої в прикладних МП. Правильність математичного аналізу треба доводити автоматизованими засобами, які розпізнають символи і забезпечують зіставлення з символікою базової мови для одержання необхідних результатів на комп'ютері.

Авторами української теоретичної школи програмування, створеної В.М. Глушковим, запропоновані нові парадигми, а саме:

– алгебраїчне та інсерційне програмування (А.А.Летичевський і ін.) [24–26];

– експлікативне та номінативне програмування (В.Н.Редько, М.С.Нікітченко), які використовують логічний і математичний апарат для абстрактного конструювання програм [27–29];

– алгебро-алгоритмічне програмування (Г.О. Цейтлін), що поєднує алгебраїчний апарат і теорію алгоритмів [30–31].

Розглянемо ці напрями детальніше.

Читайте також:

1. Алгебраїчне та інсерційне програмування
2. Альтернативні парадигми організаційного процесу
3. Безпосереднє програмування відеопам'яті
4. Виконання програми - реалізація мови програмування
5. Використання пакету Maple для розв’язування задач лінійного програмування
6. Виникнення середньовічної парадигми західноєвропейської філософії
7. Вступ до мови програмування
8. Геометрична інтерпретація задачі лінійного програмування
9. Геометрична інтерпретація задачі нелінійного програмування
10. Геометрична інтерпретація розв’язків цілочислових задач лінійного програмування на площині
11. Гіпонімічні парадигми
12. Гіпотези, які не відхиляються в експерименті, перетворюються на компоненти теоретичного знання про реальність: факти, закономір­ності, закони.

Переглядів: 886