Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (Jemensch da?). Macht mit!

TheGI 4 (Bachelor): Unterschied zwischen den Versionen

(TheGI 4 Klausuren veröffentlicht)
Zeile 1: Zeile 1:
 +
<div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;">
 +
<h2>Klausuren</h2>
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_4/Probeklausur.pdf 2008 Probeklausur]
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_4/ProbeklausurLsg.pdf 2008 Probeklausur Lösung]
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_4/2008_nachklausur.pdf 2008 Nachklausur]
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_4/2008_nachklausur_loesung.pdf 2008 Nachklausur Lösung]
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_4/2009_probeklausur.pdf 2009 Probeklausur]
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_4/2009_probeklausur_loesung.pdf 2009 Probeklausur Lösung]
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_4/2010_probeklausur.pdf 2010 Probeklausur]
 +
* [http://docs.freitagsrunde.org/Klausuren/TheGI_4/2010_probeklausur_loesung.pdf 2010 Probeklausur Lösung]
 +
 +
__NOTOC__
 +
</div>
 +
 
'''Theoretische Grundlagen der Informatik 4: Spezifikation und Semantik''' ist eine Pflichtveranstaltung im vierten Semester des [[Lehrveranstaltungen Informatik|Studiengangs Informatik]] nach neuer [[StuPO Informatik|Bachelor-StuPO]]. Sie besteht aus 2 SWS [[Vorlesung]] und 2 SWS [[Übung]] und entspricht 6 [[ECTS]]-Leistungspunkten.
 
'''Theoretische Grundlagen der Informatik 4: Spezifikation und Semantik''' ist eine Pflichtveranstaltung im vierten Semester des [[Lehrveranstaltungen Informatik|Studiengangs Informatik]] nach neuer [[StuPO Informatik|Bachelor-StuPO]]. Sie besteht aus 2 SWS [[Vorlesung]] und 2 SWS [[Übung]] und entspricht 6 [[ECTS]]-Leistungspunkten.
  

Version vom 31. August 2010, 08:00 Uhr

Theoretische Grundlagen der Informatik 4: Spezifikation und Semantik ist eine Pflichtveranstaltung im vierten Semester des Studiengangs Informatik nach neuer Bachelor-StuPO. Sie besteht aus 2 SWS Vorlesung und 2 SWS Übung und entspricht 6 ECTS-Leistungspunkten.

Inhalt

Die Veranstalung behandelt 2 Themen: Das erste Themen setzt an TheGI 1 an, der zweite Teil vermittelt die Grundlagen der Petrienetze.

Tipps und nützliche Infos

Literatur

  • Ehrig, Mahr: Mathematisch-strukturelle Grundlagen der Informatik. Siehe Hinweise auf der TheGI-1-Seite.


Persönliche Kommentare

Entsprechung in der (alten) StuPO 90: THI Basis.
(Dort findet ihr Klausuren und mehr)