Lesen Sie #Das Boolesche Logik-Kalkül Online

Lesen Sie #Das Boolesche Logik-Kalkül Online

Autor: Boole, George. Das Logik-Kalkül von Boole ist ein Formalismus, der von George Boole entwickelt wurde, um die Logik in algebraischer Form darzustellen. Mit diesem Formalismus können Aussagenlogik und Wahrscheinlichkeitstheorie mathematisch analysiert werden. Boole’sche Algebra (auch als Boolean Algebra bezeichnet) ist die Grundlage für viele Bereiche der modernen Mathematik und Computerwissenschaften, insbesondere im Bereich der…

Weiterlesen

Lesen Sie #Das Boolesche Logik-Kalkül Online

„Das Boolesche Logik-Kalkül“ Autor: Boole, George. Das Logik-Kalkül von Boole ist ein Formalismus, der von George Boole entwickelt wurde, um die Logik in algebraischer Form darzustellen. Mit diesem Formalismus können Aussagenlogik und Wahrscheinlichkeitstheorie mathematisch analysiert werden. Boole’sche Algebra (auch als Boolean Algebra bezeichnet) ist die Grundlage für viele Bereiche der modernen Mathematik und Computerwissenschaften, insbesondere…

Weiterlesen

#Numerische Astronomie – Astrodicticum Simplex

„Numerische Astronomie – Astrodicticum Simplex“ Das ist die Transkription einer Folge meines Sternengeschichten-Podcasts. Die Folge gibt es auch als MP3-Download und YouTube-Video. Und den ganzen Podcast findet ihr auch bei Spotify. Mehr Informationen: [Podcast-Feed][iTunes][Bitlove][Facebook] [Twitter] Über Bewertungen und Kommentare freue ich mich auf allen Kanälen. —————————————————Sternengeschichten Folge 442: Numerische Astronomie In dieser Folge der Sternengeschichten…

Weiterlesen

#Das Erwachen der WRINT – Astrodicticum Simplex

„Das Erwachen der WRINT – Astrodicticum Simplex“ Weihnachten kommt! Ok, das ist keine große Neuigkeit aber vielleicht hat es der eine oder die andere doch irgendwie verpasst und ist froh über die Erinnerung. Und wenn Weihnachten kommt, dann gibt es auch die weihnachtliche Folge des WRINT Wissenschaft Podcast den ich schon seit bald 10 Jahren…

Weiterlesen

#Informatik in Kindergarten und Grundschule II – Lego Boost – ErklärFix

„Informatik in Kindergarten und Grundschule II – Lego Boost – ErklärFix“ Wie kann schon in der Grundschule oder sogar im Kindergarten ein Anfangsverständnis für Informatik vermittelt werden? Dazu soll/kann Calliope genutzt werden, fordern manche, mehr dazu hier. Neben der täglich wachsenden Anzahl pädagogisch mehr oder weniger wertvollen Spielzeugen möchte ich heute ein waschechtes Spielzeug vorstellen,…

Weiterlesen

#Einhörner gehen kaputt, wenn man sie gegen Felsenklippen laufen lässt – Science Slam

„Einhörner gehen kaputt, wenn man sie gegen Felsenklippen laufen lässt – Science Slam“ Vor geraumer Zeit trafen sich meist männliche Wesen zu obskuren Versammlungen namens LAN-Parties. Zu Anfang fragten sich die anderen Unwissenden noch, wer denn dieser Lan sei und warum er auf so vielen Parties war. Mit der Zeit stellte sich heraus, dass Kabel…

Weiterlesen

#Halt! Stehenbleiben! – naklar

„Halt! Stehenbleiben! – naklar“ Damit wurde Alan Turing berühmt: Die Lösung des “Halteproblems”. EIn Nachtrag zu Turings hundertsten Geburtstag (über den ich bereits beim letzten Mal geschrieben habe).Manche Computerberechnungen haben ein Ergebnis, andere laufen ewig weiter. Die Frage, ob es eine eindeutige Methode gibt, schon im Vorhinein zwischen diesen beiden Fällen zu unterscheiden, ist das…

Weiterlesen

#Alan Turing – naklar

„Alan Turing – naklar“ Kein Zweifel: Er war ein Genie. Alan Turing, ein Mathematiker von historischer Bedeutung, Mitbegründer der Informatik, philosophischer Impulsgeber und Kriegsheld im Kampf gegen die Nazis, hat in seinem kurzen Leben Unglaubliches geleistet. Am 23. Juni 2012 wäre er hundert Jahre alt geworden.Zu diesem Anlass gibt es auf naklar.at ein Geburtstags-Special über…

Weiterlesen