Tekst źródłowy strony Antoni Kreczmar

{{Naukowiec infobox
 |imię i nazwisko           = Antoni Kreczmar
 |grafika                   = Kreczmar.gif
 |opis grafiki              = 
 |państwo                   = POL
 |wariant flagi             = 
 |data urodzenia            = 1945
 |miejsce urodzenia         = [[Warszawa]]
 |data śmierci              = 23 października 1996
 |miejsce śmierci           = [[Warszawa]]
 |stopień lub tytuł naukowy = doktor habilitowany
 |jakich nauk               = matematycznych
 |specjalność               = podstawy informatyki
 |almamater                 = [[Uniwersytet Warszawski]]
 |doktorat data             = 1973
 |doktorat uczelnia         = 
 |doktorat dyscyplina       = 
 |habilitacja data          = 1977
 |habilitacja uczelnia      = 
 |habilitacja dyscyplina    =
 |profesura data            = 
 |aktywność zawodowa        = Nauczyciel akademicki 
 |jednostka1 typ            = Uczelnia
 |jednostka1 nazwa          = [[Uniwersytet Warszawski]]
 |okres zatr1               = 
 |odznaczenia               = {{Order|OOP|KK}}
 |commons                   = Category:Antoni Kreczmar
 |wikicytaty                = 
 |www                       = 
}}
'''Antoni Kreczmar''' (ur. [[1945]] w Warszawie, zm. [[23 października]] [[1996]] tamże<ref>[https://www.sejm-wielki.pl/b/sw.367722 dane biograficzne na stronie Sejmu Wielkiego]</ref>) – polski informatyk i matematyk, doktor habilitowany<ref>{{ludzie nauki|56602|osoba=dr hab. Antoni Kreczmar|data dostępu=2015-12-30}}</ref>, pracownik naukowy Instytutu Informatyki [[Uniwersytet Warszawski|Uniwersytetu Warszawskiego]].

Pochodził z rodziny Kreczmarów, nauczycieli od pokoleń, a później także ludzi teatru i filmu<ref>Zob. rozdział o Kreczmarach w {{Cytuj książkę | nazwisko = Budrewicz | imię = Olgierd |tytuł = Sagi warszawskie, czyli sensacyjne i powszednie, romantyczne i prozaiczne dzieje dziesięciu wielkich rodów warszawskich | wydawca = Czytelnik | miejsce = Warszawa | data = 1967}}zobacz też [[Jan Kreczmar]], [[Justyna Kreczmarowa]], [[Zbigniew Zapasiewicz]], [[Adam Kreczmar]].</ref>. Był synem [[Jerzy Kreczmar|Jerzego Kreczmara]]. W roku 1973 obronił rozprawę doktorską ''Effectivity problems of Algorithmic Logic'', promowaną przez prof. [[Helena Rasiowa|Helenę Rasiową]]. W 1977 napisał pracę "Programmability in fields", przedstawioną później jako rozprawę habilitacyjną na Wydziale Matematyki UW<ref>[https://www.computerworld.pl/news/Dr-hab-Antoni-Kreczmar,298662.html Dr hab. Antoni Kreczmar]</ref>. Spoczywa w grobowcu rodzinnym na [[Cmentarz Powązkowski w Warszawie|cmentarzu Powązkowskim w Warszawie]] (kw. 190–V–24/25)<ref>{{Cmentarze Warszawa|id=30775|cmentarz=Cmentarz Stare Powązki|osoba=KRECZMAROWIE|data dostępu=2021-11-28}}</ref>.
[[Plik:Grób Kreczmarów 01.JPG|thumb|Grób Antoniego Kreczmara na warszawskim cmentarzu Powązkowskim]]

== Osiągnięcia naukowe ==
=== W zakresie logiki algorytmicznej ===
:* Jego pierwsze badania (rozprawa doktorska) dotyczyły oszacowania zbioru tautologii [[logika algorytmiczna|logiki algorytmicznej]]. Wykazał, że zbiór ten nie mieści się w żadnej klasie arytmetycznej hierarchii Kleene-Mostowskiego.[{{Odn|odn=a|ref=nie|Kreczmar|1977}}]
:* Udowodnił, że [[Ciało (matematyka)|ciało]] liczb wymiernych jest scharakteryzowane z dokładnością do izomorfizmu przez aksjomaty ciała oraz własność stopu [[algorytm Euklidesa|algorytmu Euklidesa]] [{{Odn|odn=b|ref=nie|Kreczmar|1977}}]. Wynika stąd, że każda prawdziwa własność algorytmiczna dowolnego programu ''P'' działającego w jakimś ciele Euklidesowym może być wyprowadzona z aksjomatów uporządkowanego ciała Euklidesowego, tzn. z aksjomatów ciała wzbogaconych o następującą formułę:
:::: {{wzór| <math>\color{blue}\qquad \forall_{x \geq 0}\forall_{y \geq 0}\left \{ \begin{array}{l} \mathbf{while }\ x \neq y\ \mathbf{ do} \\

\qquad \mathbf{if }\ x >y \ \mathbf{then}\ x:=x-y\ \mathbf{else} \ y:=y-x\ \mathbf{fi} \\
\mathbf{od} \end{array} \right \} x=y \color{black}</math> |Euc}}

:: <small>którą należy czytać</small>: ''dla każdych nieujemnych wartości x i y, program(algorytm) Euklidesa kończy obliczenia.'' A dokładniej, program ujęty w nawiasy {} kończy swoje obliczenia i jego wyniki spełniają formułę ''x=y'' następującą po nim. Jest to przykład formuły algorytmicznej. Zauważ, że formuła ta nie jest prawdziwa w dziedzinie liczb rzeczywistych, w dziedzinie odcinków na płaszczyźnie z odejmowaniem odcinków i porównywaniem ich długości, ani w dziedzinie liczb zespolonych.
:* udowodnił, że zbiór własności algorytmicznych prawdziwych w dziedzinie liczb rzeczywistych to formuły dające się wyprowadzić ze schematu aksjomatów liczb formalnie rzeczywistych [{{Odn | odn=b | ref=nie |Kreczmar|1977|s=19}}].
:* Jest współautorem pierwszej monografii na temat logiki algorytmicznej [{{Odn|ref=nie|Banachowski|Kreczmar|Mirkowska|Rasiowa|1977}}].

=== W zakresie złożoności obliczeniowej ===
* zmodyfikował [[algorytm Strassena]] mnożenia macierzy uzyskując znaczne zmniejszenie zapotrzebowania na dodatkowe komórki pamięci roboczej [{{Odn|ref=nie|Kreczmar|1976}}] z <math>\color{blue}\frac{11}{3}n^2\color{black}</math> na <math>\color{blue}\frac{2}{3}n^2\color{black}</math> (Jak zazwyczaj, przyjmuje się, że mówimy o mnożeniu macierzy o rozmiarach <math>n \times n</math>).

* po raz pierwszy w Polsce poprowadził wykład ze złożoności obliczeniowej<ref>W r. 1974 w Instytucie Informatyki UW.</ref>,

* był współautorem polskiego tłumaczenia ważnej dla pokoleń informatyków książki ''Projektowanie i analiza programów komputerowych'' autorstwa A. Aho, J. Hopcrofta i J. Ullmana<ref>{{Cytuj książkę | nazwisko = Aho | imię = A.V. | tytuł = Projektowanie i analiza programów komputerowych | wydawca = PWN | miejsce = Warszawa | data = 1983 | nazwisko2 = Hopcroft | imię2 = J.E. | nazwisko3 = Ullman | imię3 = J.D.}}</ref>,

* jest współautorem trzech książek o analizie algorytmów
** ''Elementy analizy algorytmów'' [{{Odn|ref=nie|Banachowski|Kreczmar|1989}}],
** ''Analiza algorytmów i struktur danych'' [{{Odn|ref=nie|Banachowski|Kreczmar|Rytter|1987}}],
** ''Analysis of Algorithms and Data Structures'' [{{Odn|ref=nie|Banachowski|Kreczmar|Rytter|1991}}]

=== W zakresie języków programowania obiektowego ===
* Jest współautorem języka programowania obiektowego Loglan'82 [{{Odn|ref=nie|Kreczmar|1982|s=66}}, {{Odn|ref=nie|Bartol i in.|1984}}]

* Jest autorem running systemu (dzisiaj częściej używa się nazwy maszyna wirtualna) dla języka Loglan'82. Przy tej okazji rozwiązał wiele problemów:
# Czy istnieje taki system zarządzania pamięcią obiektów, w którym można usuwać niepotrzebne obiekty w sposób bezpieczny (tzn. bez ryzyka powstania ''wiszących referencji'') i w czasie stałym?
# W jaki sposób należy odszukiwać wystąpienie deklarujące dany identyfikator używany w danym miejscu programu?
# Czy można zaadaptować (zachować) mechanizm Display Vectora?
# Jak ma działać system współprogramów?
* Opracował bezpieczny i efektywny system zarządzania pamięcią obiektów, [{{Odn|ref=nie|Kreczmar|Cioni|1984}}, {{Odn|ref=nie|Cioni|Kreczmar|Vitale|1989}}], jest to system kompletny, oferujący operacje: tworzenia nowego obiektu i rezerwowania pamięci dla niego, kompresji kopca obiektów, [[odśmiecanie pamięci|odśmiecania kopca, tj. pamięci obiektowej]] i przede wszystkim operację '''kill''' bezpiecznego usuwania obiektu. Tutaj omówimy jego unikalną cechę wyrażającą się w postaci poniższego schematu:
::: Schemat aksjomatu instrukcji kill

:::: Niech x<sub>1</sub>, ... ,x<sub>n</sub> będą zmiennymi, n>0, 1≤i≤n. Każda formuła o podanym poniżej schemacie jest twierdzeniem running systemu Kreczmara.
::::: <math>\color{blue} (x_1=\dots=x_n\neq none)\Rightarrow[kill(x_i)](x_1=\dots=x_n= none)\;\color{blue}</math>
::: ''<small>co się czyta</small>'': jeżeli na pewien obiekt '' o '' wskazuje ''n'' zmiennych to po wykonaniu instrukcji ''kill(x<sub>i</sub>)'' wspólną wartością tych zmiennych jest ''none'' (oznacza to, że sam obiekt ''o'' jest od tej pory niedostępny i może być przez tę samą instrukcję kill bez szkody usunięty). W konsekwencji:
::::* nie ma potrzeby powtarzania operacji kill(x<sub>1</sub>),kill(x<sub>2</sub>), ...
::::* nie występuje zjawisko [[wiszące referencje|wiszących referencji]],
::::* każda próba odniesienia się do atrybutu obiektu, który wcześniej został usunięty zostanie wykryta i spowoduje zgłoszenie wyjątku „''reference to none''”.
:::: Należy podkreślić, że koszt operacji kill jest <u>stały</u>, niezależny od liczby ''n'' wskaźników na usuwany obiekt.
:: Taki system zarządzania pamięcią obiektów zastosowano tylko raz, w implementacji języka Loglan'82.

System zarządzania obiektami jest pomyślany całościowo, dostarcza operacji:

* wspomagających powstanie obiektu – '''new''',
* sprawdzających legalność operacji dostępu do atrybutów obiektu,
* usuwania obiektu na żądanie,
* defragmentacji i odśmiecania pamięci obiektowej.

Porównaj sposoby pozbywania się niepotrzebnych obiektów

{| class="wikitable"
! !! model A (Loglan'82) !! Model B (C++ 1986)!! Model C (Java 1995, Python)
|-
| '''Przed''' || colspan=3 style="text-align:center;" | Na pewien obiekt ''o'' wskazują zmienne ''x<sub>1</sub>,x<sub>2</sub>, ..., x<sub>n</sub>''.
|-
| '''Instrukcja''' || &nbsp;&nbsp;&nbsp;&nbsp; kill(x<sub>i</sub>) || &nbsp;&nbsp;&nbsp;&nbsp; delete(x<sub>i</sub>) || ''x<sub>1</sub>=null;x<sub>2</sub>=null; ... x<sub>n</sub>=null;''<br />Po wykonaniu instrukcji ''gc()'' obiekt zostanie usunięty.
|-
| '''Po''' || Wszystkie zmienne przyjęły wartość '''none'''. Obiekt został usunięty. || Obiekt ''o'' został usunięty. ''x'' ma wartość null. Inne zmienne wskazują na zwolnione pole – jest to '''groźny''' błąd – ''wiszącej referencji''. || Obiekt został usunięty, pod warunkiem, że nie zapomniano o żadnej zmiennej wskazującej na obiekt ''o''<ref>Sytuacja w Pythonie wymaga dłuższego opisu. Programista może mianowicie niektóre referencje do obiektu ''o'' określić jako słabe. Zwalnia go to z obowiązku pamiętania, że takie referencje do obiektu ''o'' istnieją. Wystarczy osunąć tylko ''silne'' referencje do obiektu, by przy odśmiecaniu obiekt ten został usunięty.</ref>.
|-
| '''Koszt''' || Stały (nieduży) || Stały (nieduży). || Znaczny, zależny od liczby zmiennych wskazujących na obiekt i od łącznego rozmiaru pamięci obiektowej (koszt operacji ''gc()'').
|-
| '''Ryzyko''' || Brak(!).<br />Próba dostępu do obiektu ''o'' podnosi wyjątek ''reference to none''. || Duże prawdopodobieństwo (przy n>1) błędu ''wiszących referencji''<br />Duże prawdopodobieństwo błędu sprzecznych informacji. || Spore szanse na to, że programista zapomni usunąć, którąś referencję do niepotrzebnego obiektu.
|}

* Opracował na nowo system zarządzania obiektami współprogramów (''ang''. coroutines)[{{Odn|ref=nie|Cioni|Kreczmar|1989|s=297-308}}]. Usunął w ten sposób sprzeczności występujące w systemie współprogramów w języku Simula67.
* Rozwiązał razem z H. Langmaackiem, M. Krause i M. Warpechowskim problem adaptacji mechanizmu Display Vectora dla klasy języków z klasami zagnieżdżanymi i z dziedziczeniem [{{Odn|ref=nie|Kreczmar|Krause|Langmaack|Warpechowski|1986}}, zobacz też {{Odn|ref=nie|Kreczmar|Bartol|Oktaba|Litwiniuk|1983}}]<ref>E.W. Dijkstra [E.W. Dijkstra, Recursive programming, Numerische Mathematik 2 (1960) 312–318] opracował mechanizm znany jako Display Vector, który pozwala przyśpieszyć dostęp do wielkości nielokalnych w językach programowania z zagnieżdżaniem procedur np. Algol60, Pascal. Nie było wiadomo, czy mechanizm ten da się zastosować w językach, które mają mechanizmy dziedziczenia bardziej liberalne niż Simula67, np. Loglan'82, czy później powstały język Java?</ref>.
* Podał prawidłowe rozwiązanie problemu statycznego wiązania aplikacyjnych wystąpień identyfikatorów z odpowiednią deklaracją [{{Odn|ref=nie|Kreczmar|Bartol|Oktaba|Litwiniuk|1983}}].
* Jest współautorem kolejnej (niezrealizowanej) wersji języka Loglan (zobacz {{Odn|ref=nie|Kreczmar|Salwicki|Warpechowski|1990}}]).
* Stworzył running system dla języka Loglan'88.

== Inne ==
Wypromował 5 doktorantów. Dwóch z nich zostało profesorami.

Został wyróżniony nagrodą państwową 1. stopnia (zespołową) w dziedzinie nauki, za opracowanie i realizację języka programowania obiektowego Loglan'82, [nagroda w roku 1986].

Przyczynił się do [[Historia Internetu w Polsce#1991|rozwoju internetu w Polsce]] w latach 90. XX wieku<ref>Był delegatem Senatu UW w projekcie NASK w latach 90 XX wieku.</ref>.

W 1989 był współorganizatorem konferencji Mathematical Foundations of Computer Science w Porąbce [{{Odn|ref=nie|Kreczmar|Mirkowska|1989}}].

W latach 1994–1996 był dyrektorem departamentu Informatyki w Ministerstwie Finansów. Zmarł w trakcie pracy nad zadaniem zbudowania systemu [[POLTAX]], informatycznego systemu podatkowego.

Odznaczony pośmiertnie [[Order Odrodzenia Polski|Krzyżem Kawalerskim Orderu Odrodzenia Polski]].

== Wybrane publikacje ==
W jego dorobku publikacyjnym znajdują się m.in.<ref>{{Cytuj stronę | url = https://alpha.bn.org.pl/search~S5*pol?/aKreczmar%2C+Antoni+%281945-1996%29./akreczmar+antoni+++++1945+++++1996/-3%2C-1%2C0%2CB/exact&FF=akreczmar+antoni+++++1945+++++1996&1%2C10%2C | tytuł = Kreczmar, Antoni (1945-1996) | opublikowany = Katalog elektroniczny [[Biblioteka Narodowa (Warszawa)|Biblioteki Narodowej]] | data dostępu = 2017-02-02}}</ref>:
# [Kreczmar 1977a] {{Cytuj pismo |odn=a | nazwisko = Kreczmar | imię = Antoni | tytuł = Effectivity problems of Algorithmic Logic | czasopismo = Fundamenta Informaticae | rok = 1977 | url=http://lem12.uksw.edu.pl/images/f/fc/Kreczmar-Efficiency-problems.pdf}}
# [Kreczmar 1977b] {{Cytuj pismo |odn=b | imię=Antoni | nazwisko=Kreczmar |tytuł=Programmability in Fields |czasopismo=Fundamenta Informaticae |strony=195-230 |rok=1977 |url= http://lem12.uksw.edu.pl/images/d/d8/Kreczmar-Program-Fields.pdf}}
# [Kreczmar, Cioni 1984] {{Cytuj pismo| odn=tak | imię=Antoni | nazwisko=Kreczmar| imię2=Gianna | nazwisko2=Cioni |tytuł=Programmed deallocation without dangling reference |czasopismo=Information Processing Letters |strony=179-187 |rok=1984|url=http://lem12.uksw.edu.pl/wiki/Programmed_dealocation_without_dangling_reference}}
# [Banachowski, Kreczmar 1989] {{Cytuj książkę |odn =tak | nazwisko = Banachowski | imię = Lech | autor = Banachowski | tytuł = Elementy Analizy Algorytmów | wydawca = WNT | miejsce = Warszawa | data = 1989 | strony = 197 | isbn = 8320411475 | nazwisko2 = Kreczmar | imię2 = Antoni}}
# [Banachowski, Kreczmar, Rytter 1987] {{Cytuj książkę |odn=tak | nazwisko = Banachowski | imię = Lech | tytuł = Analiza Algorytmów i Struktur Danych | wydawca = WNT | miejsce = Warszawa | data = 1987 | strony = 217 | isbn = 8320407176 | nazwisko2 = Kreczmar | imię2 = Antoni | nazwisko3 = Rytter | imię3 = Wojciech}}
# [Banachowski, Kreczmar, Rytter 1991] {{Cytuj książkę | odn=tak | nazwisko = Banachowski | imię = Lech | tytuł = Analysis of Algorithms and Data Structures | wydawca = Addison-Wesley | miejsce = New York | data = 1991 | strony = 300 | isbn = 020141693X | nazwisko2 = Kreczmar | imię2 = Antoni | nazwisko3 = Rytter | imię3 = Wojciech}}
# [Loglan 82] {{Cytuj książkę |odn=tak| nazwisko = Bartol i in.| imię = W.M. | autor = i in. | tytuł = Report on the Loglan'82 programming language | wydawca = PWN | miejsce = Warszawa-Łódź | data = 1984 | strony = 165 | url= http://lem12.uksw.edu.pl/images/c/c2/Report82.pdf}}
# [Kreczmar 1976] {{Cytuj książkę |odn=tak| nazwisko =Kreczmar| imię = Antoni | autor = A. Mazurkiewicz (ed.) | tytuł tomu = Proc. MFCS'76 | wydawca = Springer | miejsce = Berlin | data = 1976 | seria = LNCS | strony = 404-407 | isbn = 3540078541 | tytuł = On Memory Requirements of Strassen’s Algorithm}}
# [Grabowski, Kreczmar 1978] {{Cytuj książkę |odn=tak| nazwisko = Grabowski | imię = Michał | tytuł = Dynamic theories of real and complex numbers | wydawca = Springer Vlg | miejsce = Berlin | data = 1978 | seria = LNCS 64 | strony = 239-249 | isbn = 0387089217 | nazwisko2 = Kreczmar | imię2 = Antoni | tytuł tomu = Proc. MFCS'78}}
# [Kreczmar, Oktaba, Ratajczak, Litwiniuk 1983] {{Cytuj książkę | odn=tak|nazwisko = Kreczmar | imię = Antoni | tytuł= Semantics and Implementation of Prefixing at Many Levels | tytuł tomu = proc. Logics of Programs and their Applications | wydawca = Springer Vlg | miejsce = Berlin | data = 1983 | seria = LNCS 148 | strony = 45-80 | nazwisko2 = Bartol | imię2 = W.M. | nazwisko3 = Oktaba | imię3 = H. | nazwisko4 = Litwiniuk | imię4 = A.I.|isbn=0387119817 | url=http://lem12.uksw.edu.pl/images/5/57/4autorow.pdf}}
# [Kreczmar i in 1984] {{Cytuj książkę |odn=tak | nazwisko = Kreczmar | imię = Antoni | tytuł = Specification and Implementation Problems of Programming Languages Proper for Hierarchical Data Types | wydawca = Institut fuer Informatik, University of Kiel | miejsce = Kiel | data = 1984 | nazwisko2 = Krause | imię2 = Manfred | nazwisko3 = Langmaack | imię3 = Hans | nazwisko4 = Salwicki | imię4 = Andrzej | tom = Rep. 8410 | url= http://lem12.uksw.edu.pl/images/d/d4/Bericht8410.pdf}}
# [Kreczmar 1982] {{Cytuj książkę |odn=tak| nazwisko = Kreczmar | imię = Antoni | tytuł = The programming language Loglan'82 Basic constructs and facilities | wydawca = Uniwersytet Warszawski | miejsce = Warszawa | data = 1982 | strony = 66 | url= http://lem12.uksw.edu.pl/images/9/9f/Loglanmi.pdf}}
# [Kreczmar i in. 1986] {{Cytuj książkę|odn=tak | nazwisko =Kreczmar| imię = Antoni | tytuł = Concatenation of program modules an algebraic approach to the semantics and implementation problems | wydawca = Springer | miejsce = Berlin | data = 1986 | seria = LNCS 208 | strony = 134-156 | nazwisko2 =Krause| imię2 = Manfred | nazwisko3 =Langmaack| imię3 = Hans | nazwisko4 =Warpechowski| imię4 = Marek}}
# [Kreczmar, Salwicki, Warpechowski 1990] {{Cytuj książkę |odn=tak| nazwisko =Kreczmar| imię = Antoni | tytuł = Loglan'88 – Report on the Programming Language | wydawca = Springer Vlg | miejsce = Berlin | data = 1990 | seria = LNCS 414 | strony = 133 | isbn = 0387523251 | nazwisko2 = Salwicki| imię2 = Andrzej | nazwisko3 = Warpechowski | imię3 = Marek}}
# [Cioni,Kreczmar 1989] {{Cytuj książkę|odn=tak | nazwisko = Cioni | imię = Gianna | tytuł = Modules in High Level Programming Languages | wydawca = Academic Press | miejsce = London | data = 1989 | strony = 247-340 | isbn = 0121746909 | nazwisko2 = Kreczmar | imię2 = Antoni | tytuł tomu = Advanced Programming Methodologies}}
# [Cioni,Kreczmar, Vitale 1989] {{Cytuj książkę|odn=tak | nazwisko = Cioni | imię = Gianna | tytuł = Storage Management | wydawca = Academic Press | miejsce = London | data = 1989 | strony = 341-366 | isbn = 0121746909 | nazwisko2 = Kreczmar | imię2 = Antoni | nazwisko3 = Vitale | imię3 = Ricardo | tytuł tomu = Advanced Programming Methodologies}}
# [Kreczmar, Mirkowska 1989] {{Cytuj książkę |odn=tak | nazwisko = Kreczmar | imię = Antoni | tytuł = Mathematical Foundations of Computer Science | wydawca = Springer Vlg | miejsce = Berlin | data = 1989 | seria = LNCS | strony = 620 | isbn = 9783540514862 | nazwisko2 = Mirkowska | imię2 = Grażyna}}
# [Kreczmar 1977] {{Cytuj książkę |odn=tak| nazwisko = Kreczmar | imię = Antoni | tytuł = On finite and infinite computations | wydawca = Springer Vlg | miejsce = Bonn | data = 1977 | seria = LNCS 56 | strony = 441-446 | isbn = 0387084428 | tytuł tomu = Proc. FCT'77}}
# [Kreczmar 1977] {{Cytuj pismo | nazwisko = Kreczmar | imię = Antoni | tytuł = On infinite sets of polynomial relations | czasopismo = Bull.Acad.Pol.Sci.Ser.Astr.Math.Phys. | wydawca = PWN | wolumin = 25 | data = 1977}}
# [Kreczmar 1979] {{Cytuj książkę|odn=tak | nazwisko = Kreczmar | imię = Antoni | tytuł = Some historical remarks on algorithmic logic | wydawca = Springer Vlg | miejsce = Berlin | data = 1979 | seria = LNCS | strony = 999-1000 | isbn = 0123456789 | tytuł tomu = Algorithms in Modern Mathematics and Computer Science}}
# [Banachowski i in.] {{Cytuj książkę |odn=tak| nazwisko = Banachowski | imię = Lech | tytuł = An introduction to Algorithmic Logic – Metamathematical Investigations of Theory of Programs | wydawca = PWN | miejsce = Warszawa | data = 1977 | seria = Banach Center Publications | strony = 7-99 | isbn = 123 | nazwisko2 = Kreczmar | imię2 = Antoni | nazwisko3 = Mirkowska | imię3 = Grażyna | nazwisko4 = Rasiowa | imię4 = Helena | nazwisko5 = Salwicki | imię5 = Andrzej | tom = 2 | tytuł tomu = Banach Center Publications |url=http://matwbn.icm.edu.pl/ksiazki/bcp/bcp2/bcp211.pdf}}

== Zobacz też ==
* [[odśmiecanie pamięci]]

== Przypisy ==
{{Przypisy}}

== Linki zewnętrzne ==
* {{Cytuj stronę | url = http://sunsite.icm.edu.pl/pub/loglan | tytuł = repozytorium Loglanu | data = 1996 | data dostępu = 2012-12-29}}
* {{Cytuj stronę | url = http://lem12.uksw.edu.pl/wiki/DokumentacjaLoglanu | tytuł = Loglan'82 – basic constructs and facilities | nazwisko = Kreczmar | imię = Antoni | data = 1982 | data dostępu = 2013-02-10}}

{{Kontrola autorytatywna}}

{{SORTUJ:Kreczmar, Antoni}}
[[Kategoria:Polscy matematycy XX wieku]]
[[Kategoria:Polscy informatycy]]
[[Kategoria:Wykładowcy Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego]]
[[Kategoria:Absolwenci Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego]]
[[Kategoria:Odznaczeni Krzyżem Kawalerskim Orderu Odrodzenia Polski (III Rzeczpospolita)]]
[[Kategoria:Urodzeni w 1945]]
[[Kategoria:Zmarli w 1996]]
[[Kategoria:Ludzie urodzeni w Warszawie]]
[[Kategoria:Pochowani na cmentarzu Powązkowskim w Warszawie]]