https://wiki.stageing.freitagsrunde.org//api.php?action=feedcontributions&feedformat=atom&user=130.149.156.16
FreitagsrundenWiki - Benutzerbeiträge [de]
2026-11-01T23:06:01Z
Benutzerbeiträge
MediaWiki 1.45.6
wiki.stageing.freitagsrunde.org//index.php?title=Semantik_und_Kalk%C3%BCle&diff=9304
Semantik und Kalküle
2009-06-26T14:08:35Z
<p>130.149.156.16: </p>
<hr />
<div><div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;"><br />
=== Klausuren ===<br />
</div><br />
<br />
'''Semantik und Kalkül''' ist eine [[Basisveranstaltung]] im [[Hauptstudium|Informatik-Hauptstudium]]. Zuständig dafür sind Prof. Bernd Mahr, Sebastian Bab, Thomas Karbe und Nadim Sarrouh.<br />
<br />
== Inhalt ==<br />
* Lambda-Kalkül<br />
* Typtheorie<br />
* CPO (Complete Partial Order)<br />
<br />
== Weblinks ==<br />
* [http://flp.cs.tu-berlin.de/lv/sose-07-sem-und-kal-iv.html SoSe 2007]<br />
<br />
== Tipps und persönliche Kommentare ==<br />
: (Nicht unterschriebene Kommentare werden gelöscht!)<br />
<br />
<br />
[[Kategorie:Lehrveranstaltungen]]<br />
[[Kategorie:Fakultäts-ABC]]<br />
[[Kategorie:Meta:TODO]]<br />
<br />
__NOTOC__</div>
130.149.156.16
wiki.stageing.freitagsrunde.org//index.php?title=Semantik_und_Kalk%C3%BCle&diff=9303
Semantik und Kalküle
2009-06-26T14:08:16Z
<p>130.149.156.16: </p>
<hr />
<div><div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;"><br />
=== Klausuren ===<br />
</div><br />
<br />
'''Semantik und Kalkül''' ist eine [[Basisveranstaltung]] im [[Hauptstudium|Informatik-Hauptstudium]]. Zuständig dafür sind Prof. Mahr, Sebastian Bab, Thomas Karbe und Nadim Sarrouh.<br />
<br />
== Inhalt ==<br />
* Lambda-Kalkül<br />
* Typtheorie<br />
* CPO (Complete Partial Order)<br />
<br />
== Weblinks ==<br />
* [http://flp.cs.tu-berlin.de/lv/sose-07-sem-und-kal-iv.html SoSe 2007]<br />
<br />
== Tipps und persönliche Kommentare ==<br />
: (Nicht unterschriebene Kommentare werden gelöscht!)<br />
<br />
<br />
[[Kategorie:Lehrveranstaltungen]]<br />
[[Kategorie:Fakultäts-ABC]]<br />
[[Kategorie:Meta:TODO]]<br />
<br />
__NOTOC__</div>
130.149.156.16
wiki.stageing.freitagsrunde.org//index.php?title=Semantik_und_Kalk%C3%BCle&diff=9302
Semantik und Kalküle
2009-06-26T14:07:14Z
<p>130.149.156.16: /* Inhalt */</p>
<hr />
<div><div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;"><br />
=== Klausuren ===<br />
</div><br />
<br />
'''Semantik und Kalkül''' ist eine [[Basisveranstaltung]] im [[Hauptstudium|Informatik-Hauptstudium]]<br />
<br />
<br />
== Inhalt ==<br />
* Lambda-Kalkül<br />
* Typtheorie<br />
* CPO (Complete Partial Order)<br />
<br />
== Weblinks ==<br />
* [http://flp.cs.tu-berlin.de/lv/sose-07-sem-und-kal-iv.html SoSe 2007]<br />
<br />
== Tipps und persönliche Kommentare ==<br />
: (Nicht unterschriebene Kommentare werden gelöscht!)<br />
<br />
<br />
[[Kategorie:Lehrveranstaltungen]]<br />
[[Kategorie:Fakultäts-ABC]]<br />
[[Kategorie:Meta:TODO]]<br />
<br />
__NOTOC__</div>
130.149.156.16