Die deutsche bibliothek - cm- einheitsaufnahme. includes bibliographical references ( p. schbning, uwe: logik für informatiker i von uwe schlining. woifram dankbarer erinnenrng. resolution, automatisches beweisen und logik- programmierung behandelt. darauf uwe schöning logik für informatiker pdf beruhend werden anwendungen der pdf logik in der informatik, wie z. progress in computer science and applied logic, vol. reihe informatik, vol. second revised edition. english translation of the preceding. wissenschaftsverlag, mannheim, vienna, and zurich, 1989, 172 pp. schöning gelingt eine kompakte und verständliche darstellung der aussagen- und prädikatenlogik, bei der die benötigten begriffe präzise eingeführt und durch beispiele veranschaulicht. access- restricted- item. logic for computer scientists. uwe schöning abteilung theoretische informatik universitit uim e- majl: schoenin uni- ulm. org/ corpusid: } } uwe schöning; published in reihe informatik 1987; computer science. logik für informatiker title= { logik f{ \ " u} r informatiker}, author= { uwe sch{ \ " o} ning}, booktitle= { reihe informatik}, year= { 1987}, semanticscholar. logik für informatiker. translation of: logik fu■ r informatiker. die informatik- ausbildung umfasst von anfang an den umgang mit rekursiven definitionen, datenstnikturen und algorithmen, ebenso wie die trennung von syntax und semantik bei programmiersprachen. dieses buch konzentriert sich auf diejenigen aspekte der logik, d ~ e [ ur die informatik relevant sind. schöning gelingt eine kompakte und verständliche darstellung der aussagenund prädikatenlogik, bei der die benötigten begriffe präzise eingeführt und durch beispiele veranschaulicht werden.