Головна сторінка: Różnice pomiędzy wersjami
(Pierwsze elementy strony) |
(tłumaczenie o logicę informatycznej i Loglan`82) |
||
| Linia 3: | Linia 3: | ||
| − | Лотар [[Коллатц]] (<small>у 1937 році</small>) мав рацію ! | + | Лотар [[Коллатц]] (<small> у 1937 році</small>) мав рацію ! |
------- | ------- | ||
== Мапа == | == Мапа == | ||
| − | На цих сторінках ми представляємо чотири дослідницькі проекти: | + | На цих сторінках ми представляємо чотири дослідницькі проекти: Алгоритмічна логіка(з 1968), Loglan'82(з 1978), SpecVer(2007), Lem(2012). |
Перші два проекти дали багато результатів і будуть використовуватися ще багато років.<br /> | Перші два проекти дали багато результатів і будуть використовуватися ще багато років.<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 /> | ||
Wersja z 02:11, 4 mar 2024
Лотар Коллатц ( у 1937 році) мав рацію !
Мапа
На цих сторінках ми представляємо чотири дослідницькі проекти: Алгоритмічна логіка(з 1968), Loglan'82(з 1978), SpecVer(2007), Lem(2012).
Перші два проекти дали багато результатів і будуть використовуватися ще багато років.
| ♥ Дослідницький проект "Алгоритмічна логіка" займається відкриттям законів рахунку програм і знаходить застосування у верифікації програм, тобто у доведенні істинності таких властивостей програм, як коректність, відсутність циклів тощо. Мова алгоритмічної логіки дозволяє не лише виражати властивості алгоритмів (програм), а й забезпечує аксіоматизацію багатьох структур даних. Це стосується як відомих і необхідних в алгоритміці структур даних (наприклад, стеки, бінарні дерева пошуку, купки і т. д.), так і багатьох структур, що вивчаються в математиці. Можна вважати, що математика займається дослідженням, чи є дана формула [math] \alpha [/math] істинною у даній структурі [math] \mathbb{A} [/math]. Однак більшість структур не можна описати за допомогою аксіом, записаних у логіці першого порядку! Прийняття мови алгоритмічної логіки (або коротше, алгоритмічної мови) дозволяє представити ... |
♥ Дослідницький проєкт "Loglan'82" сприяв створенню однойменної об'єктно-орієнтованої та розподіленої мови програмування. Публікація мови та розповсюдження компілятора передували дослідженням різних проблем.
Наведемо кілька прикладів: • Вирішення проблеми безпечного та ефективного вивільнення надлишкових об'єктів. |
