Algorithmic Logic: Różnice pomiędzy wersjami

Z Lem
Skocz do: nawigacji, wyszukiwania
(→‎Structure of AL)
(→‎History)
Linia 7: Linia 7:
 
The origins of algorithmic logic go to papers of Yanov, H. Thiele, Erwin Engeler.
 
The origins of algorithmic logic go to papers of Yanov, H. Thiele, Erwin Engeler.
 
In 1969 the program of research was formulated in the Ph.D.  thesis of A. Salwicki.
 
In 1969 the program of research was formulated in the Ph.D.  thesis of A. Salwicki.
 +
== Bibliography ==
 +
# [Mirkowska, Salwicki 1987] {{Cytuj kiążkę | odn=tak | nazwisko=Mirkowska |imię= Grażyna | tytuł = Algorithmic Logic | nazwisko2= Salwicki |imię2=Andrzej | wydawca =PWN \& D.Reidel | miejsce= Warszawa \& Dordrecht| strony= 374 }}
 +
# [Kreczmar 1977a] {{Cytuj pismo |odn=tak |odn=a | nazwisko = Kreczmar | imię = Antoni | tytuł = Effectivity problems of Algorithmic Logic | czasopismo = Fundamenta Informaticae | rok = 1977}}
 +
# [Kreczmar 1977b] {{Cytuj pismo| odn=tak |odn=b | imię=Antoni | nazwisko=Kreczmar |tytuł=Programmability in Fields |czasopismo=Fundamenta Informaticae |strony=195-230 |rok=1977}}
 +
# [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}}
 +
# [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}}
 +
# [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}}
 +
# [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}}
 +
# [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}}
 +
# [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}}
 +
 
[[Category:Algorithmic Logic]]
 
[[Category:Algorithmic Logic]]

Wersja z 19:03, 12 kwi 2014

Algorithmic logic is a calculus in which one can express the semantical properties of programs and it allows to construct proofs of the formulas. In this way one can prove property like correctness by proving the corresponding formula that express the property.

Structure of AL

An algorithmic logic is a pair [math]\mathcal{AL} = \langle \mathcal{L}, \mathcal{C} \rangle [/math], where [math]\mathcal{L} [/math] is a formalized language of algorithmic logic and [math]\mathcal{C} [/math] is i a logical consequence operation defined by the notions of logical axioms, inference rules and the notion of (formal) proof. An algorithmic language [math]\mathcal{L} [/math] is a pair consisting of the alphabet of [math]\mathcal{L} [/math] and the set of weel-formed expressions, [math]\mathcal{L} = \langle A, WFF \rangle [/math], where [math] A [/math] is the alphabet, i.e. the set of admissible symbols and [math] WFF [/math] is the set of well formed expressions of the language.

History

The origins of algorithmic logic go to papers of Yanov, H. Thiele, Erwin Engeler. In 1969 the program of research was formulated in the Ph.D. thesis of A. Salwicki.

Bibliography

  1. [Mirkowska, Salwicki 1987] Szablon:Cytuj kiążkę
  2. [Kreczmar 1977a] Antoni Kreczmar. Effectivity problems of Algorithmic Logic. „Fundamenta Informaticae”, 1977. 
  3. [Kreczmar 1977b] Antoni Kreczmar. Programmability in Fields. „Fundamenta Informaticae”, s. 195-230, 1977. 
  4. [Kreczmar, Cioni 1984] Antoni Kreczmar, Gianna Cioni. Programmed deallocation without dangling reference. „Information Processing Letters”, s. 179-187, 1984. 
  5. [Banachowski, Kreczmar 1989] Lech Banachowski, Antoni Kreczmar: Elementy Analizy Algorytmów. Warszawa: WNT, 1989, s. 197. ISBN 8320411475.
  6. [Banachowski, Kreczmar, Rytter 1987] Lech Banachowski, Antoni Kreczmar, Wojciech Rytter: Analiza Algorytmów i Struktur Danych. Warszawa: WNT, 1987, s. 217. ISBN 8320407176.
  7. [Banachowski, Kreczmar, Rytter 1991] Lech Banachowski, Antoni Kreczmar, Wojciech Rytter: Analysis of Algorithms and Data Structures. New York: Addison-Wesley, 1991, s. 300. ISBN 020141693X.
  8. [Loglan 82] W.M. Bartol i in.: Report on the Loglan'82 programming language. Warszawa-Łódź: PWN, 1984, s. 165.
  9. [Kreczmar 1976] Antoni Kreczmar: On Memory Requirements of Strassen’s Algorithm. T. Proc. MFCS'76. Berlin: Springer, 1976, s. 404-407, seria: LNCS. ISBN 3540078541.
  10. [Grabowski, Kreczmar 1978] Michał Grabowski, Antoni Kreczmar: Dynamic theories of real and complex numbers. T. Proc. MFCS'78. Berlin: Springer Vlg, 1978, s. 239-249, seria: LNCS 64. ISBN 0387089217.
  11. [Kreczmar, Oktaba, Ratajczak, Litwiniuk 1983] Antoni Kreczmar, W.M. Bartol, H. Oktaba, A.I. Litwiniuk: Semantics and Implementation of Prefixing at Many Levels. T. proc. Logics of Programs and their Applications. Berlin: Springer Vlg, 1983, s. 45-80, seria: LNCS 148. ISBN 0387119817.
  12. [Kreczmar i in 1984] Antoni Kreczmar, Manfred Krause, Hans Langmaack, Andrzej Salwicki: Specification and Implementation Problems of Programming Languages Proper for Hierarchical Data Types. T. Rep. 8410. Kiel: Institut fuer Informatik, University of Kiel, 1984.
  13. [Kreczmar 1982] Antoni Kreczmar: The programming language Loglan'82 Basic constructs and facilities. Warszawa: Uniwersytet Warszawski, 1982, s. 66.
  14. [Kreczmar i in. 1986] Antoni Kreczmar, Manfred Krause, Hans Langmaack, Marek Warpechowski: Concatenation of program modules an algebraic approach to the semantics and implementation problems. Berlin: Springer, 1986, s. 134-156, seria: LNCS 208.
  15. [Kreczmar, Salwicki, Warpechowski 1990] Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski: Loglan'88 - Report on the Programming Language. Berlin: Springer Vlg, 1990, s. 133, seria: LNCS 414. ISBN 0387523251.
  16. [Cioni,Kreczmar 1989] Gianna Cioni, Antoni Kreczmar: Modules in High Level Programming Languages. T. Advanced Programming Methodologies. London: Academic Press, 1989, s. 247-340. ISBN 0121746909.
  17. [Cioni,Kreczmar, Vitale 1989] Gianna Cioni, Antoni Kreczmar, Ricardo Vitale: Storage Management. T. Advanced Programming Methodologies. London: Academic Press, 1989, s. 341-366. ISBN 0121746909.
  18. [Kreczmar, Mirkowska 1989] Antoni Kreczmar, Grażyna Mirkowska: Mathematical Foundations of Computer Science. Berlin: Springer Vlg, 1989, s. 620, seria: LNCS. ISBN 9783540514862.
  19. [Kreczmar 1977] Antoni Kreczmar: On finite and infinite computations. T. Proc. FCT'77. Bonn: Springer Vlg, 1977, s. 441-446, seria: LNCS 56. ISBN 0387084428.
  20. [Kreczmar 1977] Antoni Kreczmar. On infinite sets of polynomial relations. „Bull.Acad.Pol.Sci.Ser.Astr.Math.Phys.”. 25, 1977. PWN. 
  21. [Kreczmar 1979] Antoni Kreczmar: Some historical remarks on algorithmic logic. T. Algorithms in Modern Mathematics and Computer Science. Berlin: Springer Vlg, 1979, s. 999-1000, seria: LNCS. ISBN 0123456789.
  22. [Banachowski i in.] Lech Banachowski, Antoni Kreczmar, Grażyna Mirkowska, Helena Rasiowa, Andrzej Salwicki: An introduction to Algorithmic Logic - Metamathematical Investigations of Theory of Programs. T. 2: Banach Center Publications. Warszawa: PWN, 1977, s. 7-99, seria: Banach Center Publications. ISBN 123.
Źródło „http://lem12.uksw.edu.pl/index.php?title=Algorithmic_Logic&oldid=1304”