> 1.200 Studentenlinks
> 3.600 Schulllinks
> 7.500 UniSkripte
> 18.000 Hausarbeiten
> 23.000 Referate
Kontakt        Impressum
Wählen Sie bitte aus:
Startseite Studium und Orientierung Studium und Materialien Studium und Leben Studium und Arbeit Studium und Finanzen Studium und Reisen Studium und Ausland
Agrarwissenschaften
Ingenieurwissenschaften
Kulturwissenschaften
Kunst und Gestaltung
Medizin
Naturwissenschaften
Rechtswissenschaften
Sozialwissenschaften
Sprachwissenschaften
Wirtschaftswissenschaften
Astronomie
Biologie
Chemie
Deutsch
Erdkunde
Geschichte
Informatik
Mathematik
Ökologie
Physik
Start - Schullinks - Informatik - Komplexitätstheorie

Einführung in die Komplexitätstheorie
"Ziel der Komplexitätstheorie ist die Quantifizierung von Computerressourcen (Rechenzeit, Speicherplatz, Hardwareaufwand, Kommunikationsaufwand, ...), die zur algorithmischen Lösung konkreter Probleme bzw. von Problemklassen benötigt werden. Die Vorlesung, die sich an Studenten des Informatik- bzw. Mathematikhauptstudiums wendet und Kernvorlesung für den Bereich theoretischen Informatik ist, bietet eine fundierte Einführung in die Komplexitätstheorie."

Theoretische Informatik 2
deterministische Polynomialzeitalgorithmen
Nichtdeterministische Polynomialzeitalgorithmen
Komplexität von Optimierungsalgorithmen
Raumkomplexität
parallele Algorithmen



Einführung in die Komplexitätstheorie

Komplexitätstheorie

Komplexitätstheorie - Abstrakte Komplexitätsmaße (ps) (pdf)

Komplexitätstheorie - Alternierende Turingmaschinen und die Polynomialzeithierarchie

Komplexitätstheorie - Bandreduktionssätze (ps) (pdf)

Komplexitätstheorie - Deterministische Platz- und Zeithierarchiesätze (ps) (pdf)

Komplexitätstheorie - Die Klassen P, NP und PSPACE

Komplexitätstheorie - Lösungen des relativierten P-NP-Problems

Komplexitätstheorie - Nichtdeterministische Platzklassen

Komplexitätstheorie - NP-vollständige Probleme

Komplexitätstheorie - Probabilistische Turingmaschinen

Komplexitätstheorie - Relativierte Rechnungen und Reduzierbarkeiten

Komplexitätstheorie - Schaltkreisfamilien und nichtuniforme Komplexität

Komplexitätstheorie - Turingmaschinen (ps) (pdf)

Komplexitätstheorie - Universelle Maschinen und uniform rekursive Klassen (ps) (pdf)

Komplexitätstheorie - Unvollständige Probleme in NP-P

Komplexitätstheorie - Zeit- und Platzkomplexität (ps) (pdf)

Theoretische Informatik - Komplexitätstheorie (pdf)

Berechenbarkeit und Komplexitätstheorie, WS 2005/2006

Komplexitätstheorie

Komplexitätstheorie I, WS 2002/2003


Lehre/Skripten
zu Übungsgruppen Komplexitätstheorie II, SS 2003 (Kern-)Vorlesung zur theoretischen Informatik, für Studierende der Diplom-Informatik im Hauptstudium oder Studierende der Diplom-Wirtschaftsinformatik im Hauptstudium, mit


Vorlesungen aus vergangenen Semestern
Skript Algebraische Komplexitätstheorie (2V) -- > Skript Sommersemester 2003 Softwaretechnik-Praktikum -- > Webseiten Einführung in das symbolische Rechnen (2V+1Ü) -- > Skript Geometrie mit


Druckversion - Universität Bremen - Fachbereich 3 - - Modulbeschreib...
Formale Sprachen und Komplexitätstheorie, Addison Wesley, 2002 - J.E. Hopcroft, R. Motwani, J.D. Ullman: Introduction to Automata Theory, Languages, and Computation, Addison Wesley, 2001 - A.J. Kfoury, R.N. Moll, M.A. Arbib: A Programming


FMI | TI | Skripte - Übungsblätter - alte Prüfungen
(WS 05/06) Komplexitätstheorie Wintersemester 2005/06 Wintersemester 2004/05 Wintersemester 2003/04 Wintersemester 2002/03


Sport, Studium, Urlaub...
und Entscheidbarkeit Komplexitätstheorie, NP-Vollständigkeit top Techniche Grundlagen der Informatik II SWS: 4 (2 SWS Vorlesungen, 2 SWS Übungen) Inhalte Diese Vorlesung ist zweigeteilt. Der größere theoretische Teil


Informatik-Forum.at - Search Forums
This is a discussion forum powered by vBulletin. To find out about vBulletin, go to http://www.vbulletin.com/


Mathematische Logik und Theoretische Informatik
Arbeitsgruppe Mathematische Logik und Theoretische Informatik Skripten Auf dieser Seite finden sich Skripten zu den Vorlesungen im


Lehrstuhl für Informatik 7 - Arbeitsgemeinschaft Logik und Automaten
Lehrstuhl Forschung / Projekte Lehre Aktuell Archiv Allgemeine Informationen Literatur Skripte Vorlesungsvideos AG Logik und Automaten Team Diplomarbeiten Publikationen Kontakt


Institut für Informatik - Marcel Marquardt
Formale Sprachen und Komplexitätstheorie Ein sehr ausführliches Buch, mit anschaulichen Beispielen und vielen Übungsaufgaben. Das Standardwerk. Prüfungskriterien Um einen Schein zu erhalten, sind zwei Dinge notwendig: Sie


Universität Bern - Departement Mathematik - Ha...
home universität > philosophisch-naturwissenschaftliche fakultät > Departement Mathematik > Lehrveranstaltungen > Hauptprogramm Logik Studium | Campus |



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