Main page: Różnice pomiędzy wersjami

Z Lem
Skocz do: nawigacji, wyszukiwania
m
 
(Nie pokazano 26 wersji utworzonych przez 2 użytkowników)
Linia 1: Linia 1:
<p style="text-align: right;"> [[Plik:Flag of Poland.svg.png]][[Strona_główna|in Polish]]   </p>
+
<p style="text-align: left;"> [[Plik:Flag of Poland.svg.png]][[ Strona główna]]  
These pages are about four research programs that are intertwined each other. Two of projects have quite a history:
+
&nbsp;&nbsp;&nbsp; [[Plik:ukrainian_language.png|22px]]
* Algorithmic Logic - its aim is to study the laws of reasoning about programs,
+
[[Головна сторінка]] </p>
* Loglan'82 - it is an object programming language designed over 30 years ago.
+
We tell also of new research programs that apply the results of the former ones:
+
* LEM - a project that is aimed at a new programming language and environment,
+
* SpecVer - the project .
+
LEM is the name of a new research program. The aim of the program is to find an answer the question: is it possible to define and implement a programming language of certain features (see [[specification LEM]])           
+
  
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.
+
Collatz conjecture is   [http://lem12.uksw.edu.pl/images/3/37/CollatzConjecturebecomesTheorem20Nov23.pdf  '''Collatz theorem''']<br />
 +
 
 +
 
 +
These pages are about four research programs that are intertwined each other. Two of projects have quite a history:
 +
{| class="wikitable"
 +
|-
 +
|♥ ''Algorithmic Logic'' - also <big>program calculus</big>. Its aim is to study the laws of reasoning about programs,<br />
 +
♥ '''[[Media:LeafletAlgorithmicLogic.pdf| Leaflet on Algorithmic Logic]]'''
  
LEM may turn out to be useful in the works of another larger project ''SpecVer''.
+
[[Algorithmic Logic]]
 +
|♥ Loglan'82- it is an object programming language that offers solutions of many problems of importance;<br />
 +
• 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.<br />
 +
♥ [[Loglan'82 project]]<br />
 +
[[Media:LeafletLoglan.pdf|♥ have a look at a leaflet Loglan ]]
 +
|-
 +
|♥ 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''<br />
  
 +
[[LEM]]
 +
|♥ SpecVer - the project .
 +
SpecVer project is to bring an environment for software engineers and mathematicians. <br />
  
{|style="width:100%;"
+
[[SpecVer]]
!Loglan'82
+
!Algorithmic Logic
+
!LEM
+
!SpecVer
+
|-
+
|<DynamicPageList>
+
category = Loglan'82
+
category = Loglan'82
+
</DynamicPageList>
+
|<DynamicPageList>
+
category = Algorithmic Logic
+
category = Algorithmic Logic
+
</DynamicPageList>
+
|<DynamicPageList>
+
category = LEM
+
category = LEM
+
</DynamicPageList>
+
|<DynamicPageList>
+
category = SpecVer
+
category = SpecVer
+
</DynamicPageList>
+
 
|}
 
|}

Aktualna wersja na dzień 18:42, 3 mar 2024

Flag of Poland.svg.png Strona główna     Ukrainian language.png Головна сторінка

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,

Leaflet on Algorithmic Logic

Algorithmic Logic

♥ 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.
Loglan'82 project
♥ have a look at a leaflet Loglan

♥ 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

LEM

♥ SpecVer - the project .

SpecVer project is to bring an environment for software engineers and mathematicians.

SpecVer