1. Застосування математичної логіки в техніці

Роль логічної обробки бінарних даних на сучасному етапі розвитку обчислювальної техніки істотно зросла. Це пов'язано, в першу чергу, зі створенням технічно систем.реалізують у тому чи іншому вигляді технології отримання і накопичення знань, моделюванням окремих інтелектуальних функцій людини. Ядром таких систем є потужні ЕОМ та обчислювальні комплекси. Крім того, існує великий клас прикладних задач, які можна звести до вирішення логічних завдань, наприклад, обробка та синтез зображень, транспортні завдання. Необхідна продуктивність обчислювальних засобів досягається шляхом розпаралелювання і конвейеризації обчислювальних процесів. Це реалізується, як правило, на основі надвеликих інтегральних, схем (НВІС). Однак технологія НВІС та їх структура пред'являє ряд специфічних вимог до алгоритмів, а саме: регулярність, паралельно-потокова організація обчислень, сверхлінейная операційна складність (багаторазове використання кожного елемента вхідних даних), локальність зв'язків обчислень, двовимірна простору реалізації обчислень. Ці вимоги обумовлюють необхідність вирішення проблеми ефективного "занурення" алгоритму в обчислювальну середу, або, як ще прийнято говорити, - відображення алгоритму в архітектуру обчислювальних засобів. В даний час доведено помилковість раніше широко поширених поглядів, що складаються в тому, що перехід на паралельно-конвеєрні архітектури ЕОМ зажадають лише невеликий модифікації відомих алгоритмів. Виявилося, що параллелілізм і конвеєризація обчислювальних процесів вимагає розробки нових алгоритмів навіть для тих завдань, для яких існували добре вивчені і апробовані методи та алгоритми рішення, але орієнтовані на послідовний принцип реалізації. За прогнозами фахівців, в найближче десятиліття слід очікувати появи нових концепцій побудови обчислювальних засобів. Підставою для прогнозів є результати проведених в даний час перспективних досліджень, зокрема, в області біочипів і органічних перемикаючих елементів. Деякі напрямки ставлять своєю метою створення схем у вигляді шарів органічних молекул і плівок з високорозвиненою структурою. Це дозволить, на думку дослідників, "вирощувати" комп'ютери на основі генної інженерії та посилити аналогію між елементами технічних систем і клітинами мозку. Тим самим реальні обриси набувають нейрокомп'ютери, які імітують інтелектуальні функції біологічних об'єктів, у тому числі людини. Мабуть, молекулярна електроніка стане основою для створення ЕОМ шостого покоління. Все це об'єктивно обумовлює інтенсивні роботи по методам синтезів алгоритмів обробки логічних даних та їх ефективному зануренню в операційну середу бінарних елементів. Очевидно, що бінарні елементи і бінарні дані найбільш повно відповідають один одному в плані подання та обробки останніх на таких елементах, якщо розглядати їх окремо. Дійсно, покладемо, алгебра логіки над числами (0,1) реалізується на бінарному елементі повному використанні його операційного ресурсу. Іншими словами, ставиться питання про ефективність, а інколи взагалі можливості реалізації даного алгоритму на такій мережі (структурі). У цьому полягає суть занурення алгоритму в структуру.

Лекція №14

Тема: Поняття числення висловлень

План