Zum Inhalt springen

Schutzgeist

Die Wumpus-Welt Logik Einführung Kapitel 2

Du befindest dich hier: Logik Einführung  Logik Einführung Kapitel 2

Die Wumpus-Welt

Bevor wir die Grundkonzepte der Logik besprechen, wollen wir hier eine vereinfachte Version der „Wumpus-Welt“ beschreiben – ein frühes, sehr einfaches Computerspiel, das uns in weiterer Folge als Beispiel für ein Planungsproblem zur Illustration dienen soll.

Kurz zusammengefasst besteht die Wumpus-Welt aus Räumen, die miteinander verbunden sind.
In einem Raum versteckt sich das Monster – der Wumpus – auf den man besser nicht treffen sollte. In anderen Räumen befinden sich eventuell tiefe Fallgruben, aus denen sich der Spieler nicht mehr retten kann.
Ziel des Spieles ist, das in einem Raum versteckte Gold zu finden, wieder zur Startposition zurückzukehren und unversehrt aus dem Höhlensystem herauszuklettern.
Der Wumpus kann mit einem Pfeil getötet werden.

  • Wir wollen zunächst das Spiel genauer spezifizieren
  • und dann ein Beispiel durchspielen.

Weiterlesen »Die Wumpus-Welt Logik Einführung Kapitel 2

Einleitung (Logik Einführung Kapitel 1)

(Logik Einführung Kapitel 1)

Der Begriff Logik (griechisch λογικη [logike] – die denkende (Kunst, Vorgehensweise)) leitet sich vom griechischen Wort Logos (die Sprache, das Wort) ab. Als zentraler Begriff der griechischen Philosophie bezieht sich seine Bedeutung auf sprachliche Äußerungen der Vernunft und die Überzeugung durch Folgerichtigkeit und Beweisführung. 

Einführung Logic-Rulez

Leider ist die Webseite Logic-Rulez.net seit einigen Jahren nicht mehr verfügbar. 
Mit Erlaubnis der Autorin werden wir ein Teil dieser wertvollen Inhalte hier zeigen. 

Willkommen!

Die mathematische Logik (im Folgenden „Logik“ genannt) bildet die Grundlage für viele Bereiche der Mathematik und Informatik, und kommt auch in der analytischen Philosophie und in der Linguistik zum Einsatz.
Hier findet ihr ein interaktives Logik-Lehrbuch (E-Book) für Schüler, Studenten und Interessierte, die keine bis wenige Vorkenntnisse mitbringen, und nicht unbedingt ein ausgeprägtes formal- theoretisches Verständnis besitzen. 

Dieses E-Book ist im Rahmen meiner Diplomarbeit am Institut für Informationssysteme, Abteilung für wissensbasierte Systeme, an der TU-Wien entstanden, und soll als erste Informationsstelle für Interessenten dienen. 

Ich hoffe, dass ich mit dieser Arbeit euer Interesse an Logik wecken oder vertiefen, und die zugrunde liegende Einfachheit der Konzepte vermitteln kann, und würde mich sehr über Feedback freuen! 

Mandana Eibegger 

Weiterlesen »Einführung Logic-Rulez
Cloud

Online-Speicher für Deine IRC-Daten

IRC-Onlinespeicher bzw. Cloud-Speicher oder Blockchain-Technologie Online-Speicher sind zukunftsweisend. Doch in Tagen von verstärkten und verwirrenden Datenschutzbestimmungen entscheidet  die richtige Wahl über die eigene Zukunft.  In welchem Land liegt mein Online-Speicher? Was bedeutet ein ausländischer Online-Speicher für meinen Datenschutz hier in Deutschland bzw. Europa ?Wie muß ich meine Kunden darüber informieren ? Drohen Abmahnungen ?  Der größte Anbieter derzeit… Weiterlesen »Online-Speicher für Deine IRC-Daten

StatServ IRC-Services

StatServ – Network-Monitor StatServ ist ein zusätzlicher IRCService : PseudoClient, welcher eine hauptsächlich überwachende Funktion hat und diese in Statistische Netzwerk-Informationen umwandelt. So ist es möglich, zu sehen, welcher Server wie oft in seiner Geschichte down oder gesplittet war. Bzw. welcher Server am meisten belastet wurde. Statserv ist ein IRC-Service, der speziell für die Analyse… Weiterlesen »StatServ IRC-Services

Operator Services, Operation Server, Operserv

OperServ

OperServ – IRC Services- Pseudoclient:Operator Services Was ist Operserv? Was sind IRC-Services? Operserv ist ein sogenannter Pseudoklient, der Teil von IRC-Services ist. IRC-Services ist eine Software, die auf einem IRC-Server ausgeführt wird und verschiedenen Funktionen für den Betrieb eines IRC-Netzwerks bereitstellt, wie beispielsweise Benutzermanagement, Channel-Management und Authentifizierung. Operserv dient dabei als Schnittstelle für IRC-Operatoren, um… Weiterlesen »OperServ

MemoServ - Memo Services

MemoServ IRC-Services

MemoServ – Aufgaben und Funktionen MemoServ regelt die Archivierung und die Benachrichtigung von Memos, also Kurz-Nachrichten zwischen IRC-Benutzern. Man kann diesen Dienst zwischen -realtime Chat und eMail-Dienst ansehen. Sie senden ihre Nachrichten über denselben Weg, wie es auch der Chat macht. Es liegt beim Empfänger, wann er das jeweilige Memo entgegennimmt. Denn er kann zur… Weiterlesen »MemoServ IRC-Services

ChanServ

ChanServ kann man mit dem NickServ vergleichen. Chanserv regelt die Registrierung von Channels und verwaltet diese. Daher spiegeln sich auch viele Funktionen. Diese beinhalten : Registrierung von Channels , ein Benutzer der einen Chatraum registriert wird als Founder (Gründer bezeichnet)Verifizierung der Chatraum-Benutzer, entweder durch die direkte Eingabe des Channel-Passwortes,  über die NickServ-Identifizierung.Kontrolle über die Chatraum-Zugriffsliste… Weiterlesen »ChanServ

NickServ

NickServ regelt sowohl die Registration als auch die Verwaltung von NickNames (Benutzernamen).Seine primären Funktionen beinhalten: Registrieren und löschen (dropping) von NickNamesVerifizierung der Nicknames, inkl. Passwort Identifikation , der Benutzer.Erstellung von diversen Nickname-Verlinkungen (aliases), welches einem Benutzer erlaubt mehrere NickNames mit immer der selben Einstellung zu besitzen.Kontrolle der NickName-Optionen, wo auch URLs und die EmailAdresse eingetragen… Weiterlesen »NickServ