[MaLo] Erste Vorlesung

[FoSAP] Formale Systeme, Automaten, Prozesse
[BuK] Berechenbarkeit und Komplexität
[MaLo] Mathematische Logik

Erste Vorlesung

Beitragvon Farmosch » 07.04.08 18:26

Kann hier einer Kurz die wichtigsten Inhalte der ersten Vorlesung
(was man als diplomer beachten muss etc.) posten?

Hab da nen Pflichttermin vom EGI-Praktikum und kann daher net da sein.

Fotos von den Folien nehme ich auch sehr gerne.

MFG

Farmosch
Farmosch
 
Beiträge: 334
Registriert: 24.02.08 02:04
Wohnort: Aachen
Studiengang: Informatik (B.Sc.)
Studiert seit: WS 06/07
Anwendungsfach: BWL

Beitragvon fw » 08.04.08 08:22

Es gibt (bzw. gab bisher immer) ein Skript. Prof. Grädel schreibt das 1:1 an die Tafel (lohnt sich aber trotzdem hinzugehen, Prof. Grädel ist super!) :-)
Benutzeravatar
fw
 
Beiträge: 1356
Registriert: 17.05.06 19:37
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Mathe

Beitragvon O.D. » 08.04.08 10:56

Auf der MaLo Seite gibts kein Skript (
http://logic.rwth-aachen.de/Teaching/Ma ... ex.html.de
), aber das wirds dann wohl beim TECHNIKUS geben.
I can hear deaf people!
Benutzeravatar
O.D.
 
Beiträge: 745
Registriert: 05.08.06 19:31
Wohnort: Aachen & Minden
Studiengang: Informatik (M.Sc.)
Anwendungsfach: Physik

Beitragvon oxygen » 08.04.08 11:04

Die Website aus dem WS ist incl. Skript noch Online: http://logic.rwth-aachen.de/Teaching/Ma ... ex.html.de
oxygen
 
Beiträge: 1054
Registriert: 16.12.05 23:05
Wohnort: Bergheim
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Medizin

Beitragvon Miss*Sunflower » 08.04.08 11:45

oxygen hat geschrieben:Die Website aus dem WS ist incl. Skript noch Online: http://logic.rwth-aachen.de/Teaching/Ma ... ex.html.de


Die VL wird aber verkürzt und es fallen einige Themen raus. Was aber nichts ausmachen sollte, wenn man zu viel kann ;)
"Esst mehr Gemüse!"
Benutzeravatar
Miss*Sunflower
 
Beiträge: 1645
Registriert: 11.09.05 17:04
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Psycho

Beitragvon O.D. » 08.04.08 14:56

Prof. Grädel hat heute in der VL gesagt, dass er das Skript während des Semesters (quasi vlbegleitend) auf die Seite stellen will.
I can hear deaf people!
Benutzeravatar
O.D.
 
Beiträge: 745
Registriert: 05.08.06 19:31
Wohnort: Aachen & Minden
Studiengang: Informatik (M.Sc.)
Anwendungsfach: Physik

Beitragvon Froze » 08.04.08 15:27

Wurde irgendetwas zu teilnehmenden Diplomern gesagt?
"In der Informatik geht es genauso wenig um Computer, wie in der Astronomie um Teleskope." - Edsger W. Dijkstra
Froze
 
Beiträge: 36
Registriert: 01.12.06 18:10
Wohnort: Aachen

Beitragvon mgla » 08.04.08 15:36

Ich glaube er sagte das die Prüfungszulassungen vom letztem Jahr nicht mehr gültig sind.
mgla
 
Beiträge: 121
Registriert: 07.01.07 14:31
Wohnort: Aachen

Beitragvon p-flash » 08.04.08 16:06

Hi,

wurde irgendetwas zu den Übungen gesagt? Muss man sich für eins festlegen oder kann man jede woche eine andere Übung besuchen? Ich wollte es abhängig davon machen, wann ich arbeiten muss.
p-flash
 
Beiträge: 133
Registriert: 25.03.08 22:39

Beitragvon King G » 08.04.08 17:56

Es wurde gesagt, das man hingehen kann wo man will. Ob das dann längerfristig funktioniert sieht man dann. Man sollte sich nur allgemein zu den Übungen anmelden...
King G
 
Beiträge: 21
Registriert: 13.02.08 17:44
Wohnort: Aachen

Beitragvon p-flash » 09.04.08 10:59

Ok, danke. Was ist mit "allgemein anmelden" gemeint? Wird das in den Übungen selbst gemacht?
p-flash
 
Beiträge: 133
Registriert: 25.03.08 22:39

Beitragvon Froze » 09.04.08 11:01

p-flash hat geschrieben:Ok, danke. Was ist mit "allgemein anmelden" gemeint? Wird das in den Übungen selbst gemacht?


Das wird hier gemacht: http://www.logic.rwth-aachen.de/Teachin ... ex.html.de
"In der Informatik geht es genauso wenig um Computer, wie in der Astronomie um Teleskope." - Edsger W. Dijkstra
Froze
 
Beiträge: 36
Registriert: 01.12.06 18:10
Wohnort: Aachen

Beitragvon p-flash » 09.04.08 11:13

Super, danke!
p-flash
 
Beiträge: 133
Registriert: 25.03.08 22:39

Beitragvon MaoDelinSc » 12.04.08 18:45

oO bei den Übungsblättern, die man sich downloaden kann, stehen nicht nur Übungsblätter, sondern auch "Präsenzübungen" da...
was hat es damit auf sich??
Was macht man, wenn man ein ungelöstes Problem hat?
Man gibt ihm einfach einen Namen!

(copyright Hawi)
MaoDelinSc
 
Beiträge: 296
Registriert: 07.12.07 10:28
Wohnort: Aachen
Studiengang: Informatik (B.Sc.)
Studiert seit: WS 09/10
Anwendungsfach: Medizin

Beitragvon El_Svenno » 12.04.08 18:52

die präsenzübungen sind die Übungsblätter, die ihr in den Gruppen rechnet
El_Svenno
 
Beiträge: 10
Registriert: 06.11.06 17:32

Nächste

Zurück zu Theoretische Informatik