> 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
Informatik Start - Schullinks - Informatik - Formale Semantik



Formale Semantik

Formale Semantik, SS 2005

Druckversion - Universität Bremen - Fachbereich 3 - - Modulbeschreib...
Fähigkeit zum Umgang mit formalen Systemen - Fähigkeit zur formalen Begriffsbildung - Fähigkeit zur strukturierten und korrekten Durchführung formaler Beweise - Verständnis metetheoretischer Problemstellungen in formalen Systemen Inhalte: -


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


MHB : Matrix
3 P Formale Grundlagen der Informatik III 2 2 VV 1 P 1 P P 1 4 P Grundlagen der


Lehre/Skripten
vergangene Semester Formale Semantik, SS 2006 Vorlesung für Studierende der Diplom-Informatik im Grundstudium oder Studierende der Diplom-Wirtschaftsinformatik im Grundstudium, Studierende mit Nebenfach Informatik (bitte


D120.de/forum • Forum anzeigen - Grundstudium
Formale Grundlagen der Informatik Themen Beiträge Letzter Beitrag FGdI 1 111 Themen 894 Beiträge


Ökologie - Klausur??? - Informatik Hauptstudium WS 06/07
I: Spezifikation - Syntax, Semantik, Spezifikation - Verteilte Programmierung - Wissensbasierte Systeme - Zellularautomaten - Vorschläge?! Nebenfächer - Bioinformatik - BWL - Differential Integral für Mathematiker - KMW - Lineare Algebra für


VL-WB
Bedeutungsdifferenzierung (Semantik) sind gedruckte Wörterbücher wenig systematisch (Wie überhaupt die Semantik trotz jahrezehntelanger Forschungen noch wenig systematisierenden Einfluß gewonnen hat). Hier zeigt bereits ein


Verwendete Quellen
Lohnstein, Horst. Formale Semantik und natürliche Sprache: Einführendes Lehrbuch. Opladen: Westdeutscher Verlag. 1996. Menne, Albert. Einführung in die Logik. 5. Auflage. Tübingen: Francke Verlag, 1993.


FMI | TI | Skripte - Übungsblätter - alte Prüfungen
Formale Semantik Wintersemester 2005/06 Wintersemester 2004/05 Wintersemester 2003/04 Wintersemester 2002/03


Formulare in HTML-Dokumenten
Semantik von ISINDEX: Zur Zeit ist die Semantik für ISINDEX nur wohldefiniert, wenn der Basis-URI für das einschließende Dokument ein HTTP-URI ist. In der Praxis ist die Eingabezeichenkette auf Latin-1 beschränkt,



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