> 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
-
Formale Sprachen und Automaten
Automatentheorie und formale Sprachen - Folien
Automatentheorie und formale Sprachen - Scheinklausuren Mit Loesungen
Automatentheorie und formale Sprachen - Skript
Automatentheorie und formale Sprachen - Uebungen und Musterloesungen
Automatentheorie und formale Sprachen - Uebungsmitschriften
Automatentheorie und formale Sprachen - Vorlesungsmitschrift
Automatentheorie und formale Sprachen - Vorlesungsmitschrift
Automatentheorie und formale Sprachen - Vorlesungsnotizen
Theoretische Informatik - Automatentheorie und formale Sprachen 1: Hausübungen und Lösungen
Theoretische Informatik - Automatentheorie und formale Sprachen: Skripte
Automatentheorie und Formale Sprachen (Wintersemester)Postscript-File (2.2 MB)
Automatentheorie und Formale Sprachen Prof. Wätjen gesamtes Skript (1.3MB)
Automaten und Formale Sprachen
Automaten, Formale Sprachen und Berechenbarkeit (V4 + Ü2)
Automatentheorie und formale Sprachen, SS 2003
Automaten und formale Sprachen (Prof. Wilke, Dr. Küsters, WS 2004/2005)
Automatentheorie und formale Sprachen
Druckversion - Universität Bremen - Fachbereich 3 - - Modulbeschreib...
Logisches Denken
und
Abstraktionsfähigkeit - Aneignung
formale
r Konzepte
und
Methoden - Kooperation
und
Teamfähigkeit durch Gruppenarbeit Inhalte: 1.
formale
Sprachen
- Chomsky-Grammatiken
und
-
Sprachen
- Erweiterung regulärer
und
Interaktion
und
Modellierung (Themenschwerpunkt des 2. Sommerstudium...
gängige Definitionen
und
Beweise der theoretischen Informatik
und
verwandter Gebiete anzusehen
und
zu bewerten. Welche Definitionen sind nützlich
und
wozu? Dann könnt Ihr an Beispielen, z.B. aus dem Bereich der
formale
n
Informatik-Forum.at - Search Forums
This is a discussion forum powered by vBulletin. To find out about vBulletin, go to http://www.vbulletin.com/
Galileo Computing: Kompendium der Informationstechnik – A Glossar
Kompendium der Informationstechnik – EDV-Gr
und
lagen, Programmierung, Mediengestaltung für Schule, Studium, Weiterbildung
und
alle IT-Berufe
Ökologie - Klausur??? - Informatik Hauptstudium WS 06/07
das auch nochmal angeschaut
und
beschlossen, dass ich nur bis einschließlich 6.5 lerne. 6.6
und
6.7 ist mir zu mathematisch.
und
wenn der sowas haben will, sagt er eh die formeln
und
man muss nur n bisschen kopfrechnen. in 6.6
und
6.7 ist nix mehr
Lehrstuhl für Informatik 7 - Frühere Semester
, Folien (5006kB)
Automaten
theorie
und
formale
Sprachen
SS 2004 » Übungen (855kB) , Folien (185kB) SS 2002 » Übungen (257kB) , Folien (2837kB) Baum
Automaten
und
Anwendungen WS 2004/05
Automaten
I
Inhalt Weiter:
Automaten
können reguläre
Sprachen
Index 19.
Automaten
I Wir können jetzt reguläre
Sprachen
entweder durch eine einseitig linearen Grammatik oder aber durch Hinschreiben eines regulären Ausdrucks
AkaSu - Die Akademische Suchmaschine : Naturwissenschaften/Mathematik/Skripte
Naturwissenschaften/Mathematik/Skripte: Akademische Suchmaschine
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