Abstract
This is a survey of the last year's work of the group of algorithmic logic. Our studies have concetrated on two (not disjoint) tasks:
-
design of programming language LOGLAN 77.
-
studies of computational complexity.
The questions of data structures implementation and of non-sequential computing processes were the main aims of our research. The work devoted to LOGLAN language has paid back handsomely in discovering possibilities of algorithmic approach to the foundations of set theory. The survey ends with a short presentation of an early stage of research connected with P=NP problem.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Aho, A.V.,Hopcroft, J.E.,Ullman, J.D., The design and analysis of computer algorithms, Addison Wesley, Reading,Mass.,1968
Birtwistle, G.M.,Dahl, O-J.,Mayhrhaug, B.,Nygaard, K., SIMULA begin. Studentliteratur, Lund,1973
Banachowski, L., An axiomatic approach to the theory of data structures, Bull.Acad.Pol.Sci.Ser.Math.Astr.Phys., 23 (1975) 315–323
Brinch Hansen, P., Concurrent Pascal, Information Science TR 10 Caltech, Pasadena,1976
Heyting, A., Intuitionism,North Holland, Amsterdam, 1956
Hoare, C.A.R.,Monitors: an operating system structuring concept Com.ACM, 17 (1974),549–557
Knuth, D.E.,The art of computer programming, I,III, Addison-Wesley, Reading,Mass., 1968
LOGLAN 77, internal report University of Warsaw, 1977
Mirkowska, G.,Algorithmic logic..., to appear in Fundamenta Informaticae, see also On formalized systems of algorithmic logic, Bull.Acad.Pol.Sci.Ser.Math.Astr.Phys., 19(1971),421–428
Mirkowska, G.,Salwicki, A., A complete axiomatic characterization of algorithmic properties... in Proc.MFCS-76 Gdańsk, Lecture Notes in Computer Science, Springer Verlag, Berlin, 1976,602–608
Müldner,T.,Implementation and properties of certain notions of quasi-parallel and parallel computations, to appear in Fundamenta Informaticae
Müldner, T., On properties of certain synchronising tool for parallel computations, Proc.FCT'77 Poznań, Lecture Notes in Computer Science, Springer Verlag, Berlin, 1977
Radziszowski,S., Programmability and P=NP conjecture, ibidem
Salwicki, A., Procedures, formal computations and models. Proc.MFCS 74 Jadwisin, Lecture Notes in Computer Science 28 Springer Verlag, Berlin 1974, 464–484
Salwicki, A.,An algorithmic approach to set theory, Proc FCT'77 Poznań, Lecture Notes in Compuer Science, Springer Vlg, Berlin 1977
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Salwicki, A. (1977). Applied algorithmic logic. In: Gruska, J. (eds) Mathematical Foundations of Computer Science 1977. MFCS 1977. Lecture Notes in Computer Science, vol 53. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08353-7_132
Download citation
DOI: https://doi.org/10.1007/3-540-08353-7_132
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08353-5
Online ISBN: 978-3-540-37285-1
eBook Packages: Springer Book Archive