Tekst źródłowy strony Головна сторінка

<p style="text-align: left;">[[Plik:22px-English_language.svg.png]]
[[Main page]] &nbsp;&nbsp;&nbsp;  [[Plik:Flag of Poland.svg.png]][[ Strona główna]] </p>


Лотар  [[Коллатц]] (<small> у 1937 році</small>) мав рацію !

-------

== Карта ==
На цих сторінках ми представляємо чотири дослідницькі проєкти: Алгоритмічна логіка(з 1968), Loglan'82(з 1978), SpecVer(2007), Lem(2012).
Перші два проєкти дали багато результатів і будуть використовуватися ще багато років.<br />


{|  class="wikitable"
|- 
|♥ Дослідницький проєкт '''"Алгоритмічна логіка"''' займається відкриттям законів [[рахунок програм |рахунку програм]] і знаходить застосування у верифікації програм, тобто у доведенні істинності таких властивостей програм, як [[коректність]], відсутність циклів тощо. Мова алгоритмічної логіки дозволяє не лише виражати властивості алгоритмів (програм), а й забезпечує аксіоматизацію багатьох структур даних. Це стосується як відомих і необхідних в алгоритміці структур даних (наприклад, стеки, бінарні дерева пошуку, купи і т. д.), так і багатьох структур, що вивчаються в математиці. Можна вважати, що математика займається дослідженням, чи є дана формула <math> \alpha </math> істинною у даній структурі <math> \mathbb{A} </math>. Однак більшість структур не можна описати за допомогою аксіом, записаних у логіці першого порядку! Прийняття мови алгоритмічної логіки (або коротше, алгоритмічної мови) дозволяє представити ...<br />
→ '''[[Алгоритмічна логіка]]''' <br />
→ '''[[Media:UlotkaLogikaAlgorytmiczna.pdf| Листівка з алгоритмічної логіки]]'''

|width="50% " | ♥ Дослідницький проєкт '''"Loglan'82"''' сприяв створенню однойменної об'єктно-орієнтованої та розподіленої мови програмування. Публікація мови та розповсюдження компілятора передували дослідженням різних проблем. 
Наведемо кілька прикладів:<br />

• Вирішення проблеми безпечного та ефективного вивільнення надлишкових об'єктів. <br /> 
• Вирішення проблеми (статичної) семантики, яка виникає, коли модулі класів можуть бути вкладеними (внутрішні класи) та розширеними (успадкування).<br /> 
• Оригінальний протокол взаємодії об'єктів процесів, які програміст може виділити в комп'ютерній мережі (alien call protocol).<br /> 
Мова Loglan була створена багато років до мов програмування C++ (1986) та Java (1995). Ці дві (та інші) мови програмування не узяли на озброєння рішень, відомих у Loglan протягом понад 30 років. Ознайомлення з Loglan може повністю змінити вашу думку про інженерію програмного забезпечення. Використовуючи знання та навички, які пропонує Loglan, ви можете значно підвищити свою кваліфікацію.   <br />
→ '''[[Lоglan'82]]'''<br />
→ '''[[Media:UlotkaLoglan.pdf|Листівка Loglan'82]]'''<br />

|-
|♥ LEM - це назва нового дослідницького проєкту.
Метою цього проєкту є вивчення можливості створення мови програмування з певними визначеними характеристиками (див. [[специфікація LEM]]).
Мова LEM має ґрунтуватися на досягненнях проекту Loglan'82 та використовувати найкращі аспекти об'єктно-орієнтованих мов програмування новіших поколінь: Java, C++, C#, Python і т.д.<br />
→ '''[[LЕM]]'''
|♥ Проєкт SpecVer має на меті підтвердити корисність застосування законів алгоритмічної логіки в інженерії програмного забезпечення. Мова LEM може виявитися корисною в роботі проєкту SpеcVer.<br />
→ '''[[SpеcVer]]'''
|}