https://wiki.stageing.freitagsrunde.org//api.php?action=feedcontributions&feedformat=atom&user=85.179.70.79
FreitagsrundenWiki - Benutzerbeiträge [de]
2026-11-01T04:22:35Z
Benutzerbeiträge
MediaWiki 1.45.6
wiki.stageing.freitagsrunde.org//index.php?title=TheGI_3_(StuPO90)&diff=13790
TheGI 3 (StuPO90)
2010-04-11T14:13:51Z
<p>85.179.70.79: </p>
<hr />
<div><div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;"><br />
<h2>Klausuren</h2><br />
WiSe 2005/2006<br />
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0506-version-A.pdf Klausur Version A]<br />
<br />
WiSe 2004/2005<br />
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS2004HK.pdf Klausur (Version 1.6MB)]<br />
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS2004-2005.pdf Klausur (Version 200kb)]<br />
<br />
WiSe 2003/2004<br />
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0304_thegi3_klausur.ps Klausur]<br />
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0304_thegi3_nachklausur.ps Nachklausur]<br />
<br />
WiSe 2002/2003<br />
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0203_test1_loesung.ps Test 1 Lösung]<br />
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0203_test2_loesung.ps Test 2 Lösung]<br />
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0203_test3.ps Test 3]<br />
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0203_test3_loesung.ps Test 3 Lösung]<br />
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0203_test4.ps Test 4]<br />
<br />
WiSe 2001/2002<br />
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0102_test1.ps Test 1]<br />
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0102.ps Klausur]<br />
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0102_nachklausur.ps Nachklausur]<br />
<br />
WiSe 2000/2001<br />
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/ws0001.pdf Klausur]<br />
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS0001NK.pdf Nachklausur]<br />
<br />
WiSe 1999/2000<br />
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS9900HK.pdf Klausur]<br />
<br />
WiSe 1996/1997<br />
* [http://docs.freitagsrunde.org/Klausuren/TheGI_3/TheGI3-WS9697HK.pdf Klausur]<br />
</div><br />
<br />
<br />
{{EntsprechungB|[[TheGI 3 (Bachelor)]]}}<br />
<br />
==Theoretische Grundlagen der Informatik 3==<br />
Pflichtveranstaltung im [[Grundstudium Informatik]], 4 [[Semesterwochenstunden|SWS]].<br />
<br />
Vorkenntnisse:<br />
* [[TheGI 2]] ist nützlich (aber nicht zwingend erforderlich).<br />
* Die üblichen mathematischen Grundlagen (Mengen, Funktionen, Beweise).<br />
<br />
==Inhalt==<br />
* [[Wikipedia:Aussagenlogik|Aussagenlogik]]<br />
** [[Wikipedia:Hilbertkalkül|Hilbertkalkül]]<br />
** [[Wikipedia:Sequenzenkalkül|Sequenzenkalkül]] (nicht im WS06/07)<br />
** [[Wikipedia:Resolutionskalkül|Resolutionskalkül]]<br />
* [[Wikipedia:Prädikatenlogik|Prädikatenlogik erster Stufe]]<br />
** logische Signaturen und Strukturen<br />(nach [[TheGI 2]] ein ziemliches déjà vu-Erlebnis; für Leute, die diesbezüglich keine Vorkenntnisse oder diese schon vergessen haben, gibt es auch eine Wiederholung)<br />
<br />
==Literatur==<br />
Ehrig, Mahr, Cornelius, Große-Rhode, Zeitz: "Mathematisch-strukturelle Grundlagen der Informatik", Springer Verlag, ISBN: 3-540-41923-3<br />
:(Das ist das selbe Buch, welches in [[TheGI 2]] benutzt wird. TheGI 3 entspricht in etwa den Teilen III und IV.)<br />
<br />
==Studententips==<br />
Besucht das Tutorium von Sebastian Bab. Das ist einer der wenigen Tutoren, die ich kenne, die einem wirklich etwas beibringen wollen ... und er kann es dann auch noch.<br />
<br />
<br />
<br />
==Weblinks==<br />
* http://flp.cs.tu-berlin.de/lehre/wise00-01/thegi3.html<br />
* http://flp.cs.tu-berlin.de/lehre/wise01-02/thegi3.html<br />
* http://flp.cs.tu-berlin.de/lehre/wise02-03/thegi3.html<br />
* http://flp.cs.tu-berlin.de/lehre/wise03-04/thegi3.html<br />
* http://flp.cs.tu-berlin.de/lehre/wise04-05/thegi3.html<br />
* http://flp.cs.tu-berlin.de/lehre/wise05-06/thegi3.html<br />
* http://flp.cs.tu-berlin.de/lv/wise-0607-thegi3.html<br />
<br />
[[Kategorie: Lehrveranstaltungen]]<br />
__NOTOC__</div>
85.179.70.79