(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.
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
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
[simple-sitemap] GFroup[simple-sitemap-group]
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
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 – 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 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 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
3-1-1 NickName Management (NickServ) IRC Services Funktionen basieren auf das Registrieren von NickNames. Wenn Du einmal einen Namen registriert hast, werden die Services Dich als den Besitzer des NickNames anerkennen und jeden anderen Benutzer warnen, diesen zu nutzen; Gegebenenfalls sind die Services auch in der Lage, dem Fremdbenutzer einen anderen Benutzernamen aufzuzwingen oder ihn gar… Weiterlesen »IRCServices Funktionen