> 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
-
Prolog
Datenbank Grundlagen
Aditi Prolog Handbuch (30 Seiten Postscript)
Mini-Handbuch zu Aditi-Prolog (Postscript, 4 Seiten)
Nu-Prolog Handbuch (146 Seiten Postscript) (frontpage, index, contents)
Prolog-Systeme - Bin-Prolog (Belgien)
Prolog-Systeme - ECLiPSe-Prolog (ECRC)
Prolog-Systeme - SWI-Prolog
Prolog und Computerlinguistik - PDF-Datei [713kB]
Der Prolog der klassischen und nachklassichen Artusepik
Der Prolog der klassischen und nachklassichen Artusepik
Der Prolog des `Tristan` von Gottfried von Straßburg
Die Topik in Prologen zu historischen Werken aus dem Altertum und Mittelalter
Goethe, Johann Wolfgang von - Faust - Die Beziehung Herr – Mephistopheles im "Prolog im Himmel" der
Goethe, Johann Wolfgang von - Faust - Interpretation Vorspiel auf dem Theater, Prolog im Himmel, Na
Goethe, Johann Wolfgang von - Faust I - Prolog im Himmel (Interpretation)
Dolby-Surround-Prologic
Goethe Johann Wolfgang von - Faust I und II-Faust I - Funktion der Prologe
Martin Fischbach - Studium/ Informatik
Aufgaben 1-4 sind
Prolog
-Programme und wurden alle mit SWI-
Prolog
entwickelt. Aufgabe 1a Toura.pl Routenbestimmung (
Prolog
) Aufgabe 1b Tourb.pl kürzester Weg (
Prolog
) Aufgabe 2 Kalender.pl
Verwendete Quellen
Processing Techniques in
Prolog
. [online], zitiert am [2.10.2002, 17:55], erreichbar im WWW: http://www.coli.uni-sb.de/~kris/
Prolog
2/html/ Glende, Astrid. Computerlinguistik I (für Computervisualistik; Teil 2:
Interaktion und Modellierung (Themenschwerpunkt des 2. Sommerstudium 1999)
Bremen Programmierkurs
PROLOG
Dr. Marion Finke , GMD Forschungszentrum Informationstechnik GmbH, Sankt Augustin Einführung in SQL belegt! Dipl.-Math. Annika Hinze , Freie Universität Berlin Multimedia meets Database
TU Wien - Informatik-Forum.at
prolog
: Propädeutikum für Informatik, VU Einführungslehrveranstaltung zu Informatik und Wirtschaftsinformatik.
prolog
Webseite [Frage] Sun
Don-McDuck.de – »Ein Brief von daheim«
Willkommen auf www.Don-McDuck.de! Hier erfährt man so einiges über den großen Comickünstler und Barks-Nachfolger in spe Don Rosa und seine Meisterwerke.
www.Gymnasium-Odenthal.de - Das junge Odenthaler Onlineportal
Das junge Kommunikationsportal des Gymnasium Odenthal
Martin Scorsese - Shine A Light (in: Filme & Skripte)
Autor: Gretchen | Text: Martin Scorsese - Shine A Light | Kategorie: Filme & Skripte | Quelle: Forum für Literatur und Germanistik [thema1155.htm]
Jörn Dinkla's Kenntnisse
2007
Prolog
(Logische Programmierung) Experte 1997 Python Grundlagen 2008 Ruby Könner 2008 Shell-Skripte (Bash,
Informatik - FB3 - Uni Bremen --
Herzlich Willkommen auf der Internetpraesenz der Informatik des Fachbereiches 3 der Universität Bremen.
Untitled Document
leicht verändert)
Prolog
Am Anfang war der göttliche Geist. Dieser Geist verdichtete/entfaltete sich zunehmend in Strukturen. Es ist denkbar, dass solche Verdichtung/Entfaltung sich selbst so weit entwickelt, dass sie
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