Suchergebnisse
Deine Suche ergab 12 TrefferFormalisieren und Beweisen
Logik für InformatikerGregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: "Wirst Du jemals denken wie ein Mensch? Rechne mal nach!" Der Computer rechnet und rechnet und gibt schließlich ...
Formale Methoden und kleine Systeme
Lernen, leben und arbeiten in formalen UmgebungenWieviele Menschen können an einem Gespräch teilnehmen? Drei, vier, fünf. Darüber wird's schwierig. Darunter wird's ernst: ein Wort unter vier Augen. Auch bei einem Selbstgespräch bin ich noch ZU zweit. Ist die Gruppe größer, bilden sich Strukturen heraus: Es treten Wortführer auf, Untergruppen erscheinen, ...
Sichtweisen der Informatik
Formale Methoden und kleine Systeme
Lernen, leben und arbeiten in formalen UmgebungenWieviele Menschen können an einem Gespräch teilnehmen? Drei, vier, fünf. Darüber wird's schwierig. Darunter wird's ernst: ein Wort unter vier Augen. Auch bei einem Selbstgespräch bin ich noch ZU zweit. Ist die Gruppe größer, bilden sich Strukturen heraus: Es treten Wortführer auf, Untergruppen erscheinen, ...
Sichtweisen der Informatik
Formalisieren und Beweisen
Logik für InformatikerGregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: "Wirst Du jemals denken wie ein Mensch? Rechne mal nach!" Der Computer rechnet und rechnet und gibt schließlich ...