> 1.200 Studentenlinks
> 3.600 Schulllinks
> 7.500 UniSkripte
> 18.000 Hausarbeiten
> 23.000 Referate
Kontakt
Impressum
Wählen Sie bitte aus:
- Studienfächer...
---- Agrarwissenschaften
---- Medizin und Pharmazie
---- Ingenieurwissenschaften
---- Kulturwissenschaften
---- Kunst und Gestaltung
---- Naturwissenschaften
---- Rechtswissenschaften
---- Sozialwissenschaften
---- Sprachwissenschaften
---- Wirtschaftswissenschaften
- Studentenrubriken...
---- Studium und Arbeit
---- Studium und Ausland
---- Studium und Finanzen
---- Studium und Leben
---- Studium und Materialien
---- Studium und Orientierung
---- Studium und Reisen
---- Studiumarten
- Schulfächer...
---- Astronomie
---- Biologie
---- Chemie
---- Deutsch
---- Erdkunde
---- Geschichte
---- Informatik
---- Mathematik
---- Physik
Start
-
Schullinks - Informatik
-
Logik
Grundlagen der Fuzzy-Steuerung am Beispiel des invertierten Pendels
Verknüpfung der Klauseln einer Regel
Fuzzy-Inferenz (Verknüpfung der Resultate der einzelnen Regeln)
Max-Min-Inferenz
Max-Prod-Inferenz
Defuzzifizierung
Schwerpunkt-Methode
Maximum-Methode
Die Fuzzy-Shell als Applet
Informatik - Logik erster Ordnung
Einführung in Fuzzy-Systeme
Vorlesung Datenbank-Anwendungen
Konzepte und Schnittstellen von Datenbanksystemen
Vorhilfe.de - Forum "Logik und Mengenlehre"
Logik - eine Einführung
Einführung in die Logik
Mathematik.net - Logik
Diskrete Mathematik - ein HTML-Skript
Aussagenlogik
Logik-Software für Unterrichtszwecke
Logik und Deduktion
Mathematik.net
Bündnis für Arbeit, seine Logik und seine Bewertung
Logik - Übungsfragen
Mathematik - Logik: Formelsammlung
Mathematik - Logik: Klausur mit Musterlösung
Mathematische Logik 2 - Uebungen Und Loesungen
"Mathematische Logik - Merkzettel"
"Mathematische Logik - Skript"
"Mathematische Logik - Uebungen Und Loesungen"
"Mathematische Logik - Vorlesungsmitschrift "
Prüfung zur Vorlesung Logik für WIN
Prüfungsvorbereitung Logik für WIN
Regeln der Logik
Wie man Regeln der Logik rechtfertigt
Aussagenlogik-Taschenrechner
BAN-Logik - Vortrag
Der SM-TUTOR (Logiklernprogramm)
Die Aussagenlogik
Einführung in die klassische Prädikatenlogik
Einführung in die Logik
Einführung in die Quantorenlogik
Analyse zu: G.W. Leibniz: Schriften zur Logik und Methodenlehre, Kap. 1: Dialog über die Verknüpfun
Hegels Wissenschaft der Logik, Mathematik und Naturwissenschaften -
Logik -
Logik der Situation
Mancur Olsons ´Logik des kollektiven Handelns´ in der Kritik
Mencor Olson: Die Logik des kollektiven Handelns
Rezension zu Erich Schneiders Erstausgabe "Logik für Juristen" (1965)
Astrologie – welche Logik verbirgt sich dahinter?
Aussagenlogik und logische Schaltungen
Aussagenlogik und logische Schaltungen-Grundschaltungen
Aussagenlogik und logische Schaltungen-Locad
Informatik-Aussagenlogik und logische Schaltungen
Programmierbare Logik
Aussagenlogik: Aufgaben (Quelle: Schick - Aussagenlogik) (12 KB)
Aussagenlogik: und - oder - nicht (5 KB)
Philosophie,
Logik
und Wissenschaftstheorie
Klassische Texte MultiMedia
Mathematische
Logik
und Theoretische Informatik
Arbeitsgruppe Mathematische
Logik
und Theoretische Informatik Skripten Auf dieser Seite finden sich Skripten zu den Vorlesungen im Bereich Mathematische
Logik
und Theoretische Informatik.
Google Verzeichnis - World > Deutsch > Wissenscha...
Foliensätze zur Aussagen
logik
und Prädikaten
logik
zu einer Einführungsvorlesung an der Uni Hamburg. Begriffs
logik
- http://www.begriffs
logik
.de Darstellung der Begriffs
logik
, einer alten
logik
form basierend auf Beziehungen
Lehrstuhl für Informatik 7 - Arbeitsgemeinschaft
Logik
und Automaten
Vorlesungsvideos AG
Logik
und Automaten Team Diplomarbeiten Publikationen Kontakt Konferenzen / Workshops Links Lehrstuhl für Informatik 7
Logik
und Theorie diskreter Systeme Prof. Dr.
Universität Bern - Departement Mathematik - Ha...
Logic / Höhepunkte der
Logik
II Komplexitätstheorie Seminar: Logic of Proofs Seminar: Theoretische Informatik und
Logik
Graduate Seminar
Logik
und Information Herbstsemester 2007
Philosophie - ats20.de
Logik
. Die
Logik
ist Thema der neuen Bildungskanon-Folge in Die Zeit – mit einem Leitartikel zur »
Logik
fabrik« Bletchley Park.
Galileo Computing: Kompendium der Informationstechnik – 2 Mathematische und...
Kompendium der Informationstechnik – EDV-Grundlagen, Programmierung, Mediengestaltung für Schule, Studium, Weiterbildung und alle IT-Berufe
Mathematik-Informatik
Diese Homepage ist für alle gedacht, die sich mit der Mathematik oder Informatik befassen. Auf der Seite sind verschiedene Skripte zum download bereit und es gibt eine Bücherecke. In dem Forum kann man seine Fragen äußern und auch mal im Chat
e-politik.de
zudem einige gegen seine
Logik
vorgebrachten Kritikpunkte auf, versucht diese in sein Modell zu integrieren und wendet die
Logik
daraufhin auf das Verhalten von Interessengruppen an. Anwendung der "
Logik
des kollektiven Handelns" auf das
Matthias Bernauer am Institut für Informatik der Universität Frei...
Matthias Bernauer am Institut für Informatik der Universität Freiburg: Skripte zur Informatik und Betriebswirtschaftslehre mit dem Schwerpunkt Sicherheit und Privatsphäre (Analyse von Logdaten, Privacy Audits & Privacy Evidenzen)
Allgemeine Grundlagen
Bit
Boolesche Algebra
Boolesche Funktion
Formale Semantik
Gödelscher Unvollständigkeitssatz
Informationsgehalt
Informationstheorie
Logik
Numerische Verfahren
u-Rekursion
Berechenbarkeitstheorie
Berechenbarkeit
Church-Turing-These
Entscheidbarkeit
Halteproblem
Lambda-Kalkül
Primitiv-rekursive Funktion
Satz von Rice
Turingmaschine
Formale Sprachen und Automaten
Backus-Naur-Form
Chomsky-Hierarchie
Chomsky-Normalform
CYK-Algorithmus
Formale Grammatik
Produktionsregel
Pumping-Lemma
Reguläre Sprache
Regulärer Ausdruck
Syntaxbaum
Syntaxdiagramm
Turingmaschine
Graphentheorie
Komplexitätstheorie
Komplexität
Komplexitätsklasse
NP-Vollständigkeit
O-Notation
P/NP-Problem
Platzkomplexität
Polynomialzeit
Speedup-Theorem
Zeitkomplexität
Praktische Informatik
Algorithmen und Datenstrukturen
Abstrakter Datentyp
Array
Baum
Daten
Entscheidungsbaum
Fouriertransformation
Hash-Funktion
Heap
Kompressionsalgorithmen
probabilistische Algorithmen
Sortieralgorithmen
Stack
Suchalgorithmen
Betriebssysteme
Dateisystem
Interprozesskommunikation
Interrupt
Scheduling
Semaphor
Speicherverwaltung
Datenbank-Grundlagen
Datenbanksprache
DBMS
Entity-Relationship-Modell
Normalisierung
Objektorientierte Datenbank
Relationale Algebra
Relationale Datenbank
Grundlagen der Programmierung
Compiler
Compilerbau
Linker
Parser
Programmierparadigma
Programmiersprache
Programmierstil
Programmierung aspektorientierte
Programmierung funktionale
Programmierung logische
Programmierung objektorientierte
Programmierung prozedurale
Programmierung regelbasierte
Rekursion
Künstliche Intelligenz
Automatisches Problemlösen
Data Mining
Expertensystem
Fuzzy-Logik
Künstliches neuronales Netz
Maschinelles Lernen
Mustererkennung
Natürliche Sprachverarbeitung
Ontologie
Regelbasiertes System
Robotik
Semantisches Netz
Software-Agent
Spracherkennung
Wissensrepräsentation
Rechnernetz
Client-Server-System
Netzwerkprotokoll
Netzwerktopologie
OSI-Modell
Peer-to-Peer
Protokollstapel
RFCs
Verteiltes System
Sicherheit
Computerviren
Computerwürmer
Denial of Service-Angriff
Kryptoanalyse
Kryptografie
Man-In-The-Middle-Angriff
Netzsicherheit
Paketfilter
Paritätsbit
Personal Firewall
Phishing
Spoofing
Trojanisches Pferd
Unbeaufsichtigte Installation
Verschlüsselung asymmetrisch
Verschlüsselung symmetrisch
Zyklische Redundanzprüfung
Softwaretechnik
Entwurfsmuster
Extreme Programming
Model Driven Architecture
Objektorientierte Analyse
Rational Unified Process
Software-Architektur
Strukturierte Analyse
Unified Modeling Language
Vorgehensmodelle
Sonstiges
Bildverarbeitung
Information-Retrieval
IT-Architektur
Kodierungstheorie
Simulation
Technische Informatik
Digitale Schaltungen
Digitaltechnik
Flipflop
Integrierter Schaltkreis
Multiplexer
Reversibles Computing
Schaltalgebra
Schaltnetz
Schaltwerk
Hardware
CD-ROM
Computer
Drucker
DVD
Festplatte
Grafikkarte
Mainboard
Modem
Peripheriegerät
Soundkarte
Mikroprozessoren
Addierwerk
ALU
Cache
CISC
CPU
Digitaler Signalprozessor
Harvard-Architektur
Maschinensprache
Memory Management Unit
MIPS-Architektur
Pipelining
Prozessorarchitektur
Rechenwerk
Register
RISC
Steuerwerk
Superskalarität
Rechnerarchitektur
Arbeitsspeicher
Bus
Quantencomputer
Speicherhierarchie
Systembus
VLIW-Architektur
Von-Neumann-Architektur
Schnittstellen
AGP
ATA
Bluetooth
CE-ATA
EISA
FireWire/IEEE 1394
IrDA
ISA
MCA
PCI
PCIe
S/PDIF
S-ATA
SCSI
Serial Attached SCSI (SAS)
USB
VLB
WLAN
Angewandte Informatik
Auszeichnungssprachen
HTML
LaTeX
SGML
WML
XML
Betriebssysteme
Kernel
Linux
Mac OS X
Unix
Windows
Datenkompression
Arithmetische Kodierung
Huffman-Code
Lempel-Ziv-Welch-Algorithmus
Verlustbehaftete Kompression
Datenverschlüsselung
Advanced Encryption Standard
Data Encryption Standard
Enigma
PGP
RSA-Verschlüsselung
SSL
Steganografie
Informationssysteme
Business Intelligence
Business Performance Management
Data-Warehouse
OLAP
Netze und verteilte Systeme
CORBA
DFÜ
DSL
Ethernet
GAN (Global Area Network)
Internet
IPv6
LAN (Local Area Network)
MAN (Metropolitan Area Network)
Netzrouter
PAN (Personal Area Network)
SAN (Storage Area Network)
SOAP
Token Ring
VPN
WAN (Wide Area Network)
WLAN
Programmiersprachen
Ada
BASIC
C
C#
C++
COBOL
Delphi
Fortran
Java
LISP
Perl
PHP
Prolog
Python
Ruby
Smalltalk
SQL
Tcl