Main page: Różnice pomiędzy wersjami
m |
|||
| (Nie pokazano 1 wersji utworzonej przez jednego użytkownika) | |||
| Linia 1: | Linia 1: | ||
| − | <p style="text-align: left;"> [[Plik:Flag of Poland.svg.png]][[ Strona główna]] | + | <p style="text-align: left;"> [[Plik:Flag of Poland.svg.png]][[ Strona główna]] |
| − | + | [[Plik:ukrainian_language.png|22px]] | |
| − | [[Головна сторінка]] | + | [[Головна сторінка]] </p><br /> |
| + | |||
| + | Don't be afraid of the calculus of programs, because it has a colossal future ahead of it!<br /> | ||
| + | |||
Collatz conjecture is [http://lem12.uksw.edu.pl/images/3/37/CollatzConjecturebecomesTheorem20Nov23.pdf '''Collatz theorem''']<br /> | Collatz conjecture is [http://lem12.uksw.edu.pl/images/3/37/CollatzConjecturebecomesTheorem20Nov23.pdf '''Collatz theorem''']<br /> | ||
Aktualna wersja na dzień 14:40, 22 sie 2024
Strona główna
Головна сторінка
Don't be afraid of the calculus of programs, because it has a colossal future ahead of it!
Collatz conjecture is Collatz theorem
These pages are about four research programs that are intertwined each other. Two of projects have quite a history:
| ♥ Algorithmic Logic - also program calculus. Its aim is to study the laws of reasoning about programs, |
♥ Loglan'82- it is an object programming language that offers solutions of many problems of importance; • Problem of safe and efficient dealocation of not used objects. • Problem of static semantics of modules of classes that can be nested and extended. • An original protocol of communicating objects of processes. (alien call protocols).
designed more than 30 years ago. |
| ♥ LEM - a project that is aimed at a new programming language and environment, The language LEM is to apply the results of Loglan'82 project and to adapt the achievements of object programming languages of younger generations such as Java, C++, C#, Python, etc.
LEM may turn out to be useful in the works of another larger project SpecVer |
♥ SpecVer - the project .
SpecVer project is to bring an environment for software engineers and mathematicians. |
