In den Pflichtveranstaltungen dieser Modulgruppe werden grundlegende mathematische Sachverhalte vermittelt, die für das Verständnis informatischer Methoden und das Studium der Software Systems Science relevant sind.
Hierzu zählen insbesondere Analysis, lineare Algebra, Aussagen- und Prädikatenlogik sowie Statistik.
[ 27 ECTS-Punkte ]
www.uni-bamberg.deIn this module group ’ s compulsory courses, students are taught the fundamentals of mathematics relevant to understanding computer science methods and studies in Software Systems Science.
This pertains particularly to analysis, linear algebra, propositional and first-order logic, and statistics.
[ 27 ECTS-Points ]
www.uni-bamberg.deÜbungsblatt 6 Abgabe bis 06.12.2005, 16:00 Uhr
Dieses Blatt beschäftigt sich mit der Prädikatenlogik erster Stufe.
Lest dazu vorbereitend die entsprechenden Absätze im Skript noch einmal durch (Seite 20 bis 35) und macht euch eine Liste der dort definierten Begriffe (nicht abgeben, wird nicht korrigiert).
www.is.inf.uni-due.deExercises in Modeling Methods in Computer Science, Winter 2005 / 06 Gudrun Fischer, Ivan Horbachuk, Joseph Viju modellierung@is.informatik.... Exercise 6 Submit until 06.12.2005, 4 p.m.
These tasks are devoted to predicate logic of the first level.
So, to feel prepared to it, read the corresponding paragraphs in the script one more time (pages 20- 35), and make a list of definitions from it (do not submit, will not be corrected).
www.is.inf.uni-due.de1.
Welche der obigen Ausdrücke sind Terme bzw. Formeln der Prädikatenlogik?
2.
www-madlener.informatik.uni-kl.de5 ) else p ( x · ( 3 + 4 ) ) g ) p1 h ) ( ( ∀ x ) ( ( ∃ y ) ( x ≥ y ) ) ) i ) ∀ F [ F ( x ) = 0 → 3 + 4 ≥ 7 ] The following tasks are meant to get you accustomed with the notions of Terms, formulas, interpretations etc. 1.
Which of the aforementioned expressions are terms and which are formulas?
2.
www-madlener.informatik.uni-kl.de您想添加一个词、一个短语或一段译文吗？
请发送新条目。