wyszukanych pozycji: 4
![]() |
Berechnungstheorie Für Informatiker
ISBN: 9783519022589 / Niemiecki / Miękka / 1987 / 121 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Der Inhalt dieses Buches entspricht weitgehend dem Stoff, den die beiden Autoren seit mehreren Jahren in einem zweisemestrigen Kurs fur Informatiker an der ETH Zurich vermitteln. Vieles davon ist bereits fruher in der Form von provisorischen Notizen von E. Engeler als "Kleines Repetitorium der Berechnungstheorie" an die Stu denten abgegeben worden. Bei der Niederschrift des nun vorliegenden Textes hat sich immer deutlicher gezeigt, dass sich eine weitgehend unabhangige Redaktion der beiden, jetzt auch im Inhaltsverzeichnis abgegrenzten Teile, sowohl arbeitstechnisch als auch von der...
Der Inhalt dieses Buches entspricht weitgehend dem Stoff, den die beiden Autoren seit mehreren Jahren in einem zweisemestrigen Kurs fur Informatiker a...
|
cena:
162,51 zł |
![]() |
The Combinatory Programme
ISBN: 9781461287162 / Angielski / Miękka / 2011 / 144 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians. This small volume arose under quite differ ent circumstances, namely within the context of reworking the mathematical foundations of computer science. I have been very lucky in finding gifted students who agreed to work with me and chose, for their Ph. D. theses, subjects that arose from my own attempts 1 to create a coherent mathematical view of these foundations. The result of this collaborative work is...
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the mo...
|
cena:
386,41 zł |
![]() |
Algorithmic Properties of Structures: Selected Papers of E Engeler
ISBN: 9789810208721 / Angielski / Twarda / 1994 / 268 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The work of Erwin Engeler in the logic and algebra of computer science has been influential in the development of the discipline but has become difficult to assess due to its having appeared in different types of publications. This collection of selected papers seeks to represent an original and coherent approach to the basic interrelationships between mathematics and computer science. The volume begins with the area of enrichment of classical model theory by languages which express properties representing the outcome of hypothetical computer programmes executed in a given class of...
The work of Erwin Engeler in the logic and algebra of computer science has been influential in the development of the discipline but has become diffic...
|
cena:
421,25 zł |
![]() |
The Combinatory Programme
ISBN: 9780817638016 / Angielski / Twarda / 1994 / 144 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians. This small volume arose under quite differ ent circumstances, namely within the context of reworking the mathematical foundations of computer science. I have been very lucky in finding gifted students who agreed to work with me and chose, for their Ph. D. theses, subjects that arose from my own attempts 1 to create a coherent mathematical view of these foundations. The result of this collaborative work is...
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the mo...
|
cena:
386,41 zł |