Web www.schulseite.de


  Theoretische Informatik

Berechenbarkeitstheorie
    Berechenbarkeit
    Church-Turing-These
    Entscheidbarkeit
    Halteproblem
    Lambda-Kalkül
    Primitiv-rekursive Funktion
    Satz von Rice
    Turingmaschine

Allgemeine Grundlagen
Formale Sprachen und Automaten
Komplexitätstheorie

Theoretische Informatik
Uniskripte zu den Themen:
Lambda-Kalkül
Markov-Algorithmen
Partiell rekursive Funktionen
Unlösbarkeitsgrade von Problemen ...


Theoretische Informatik 1
Endliche Automaten
Turingmaschinen
rekursive Funktionen
Sprachen, Grammatiken und erkennende Automaten
Fixpunkttheorie und kontextfreie Sprachen
Syntax und Semantik von Programmiersprachen


Facharbeiten, Hausarbeiten und Referate zum Thema Berechenbarkeitstheorie


Enzyklopädien,
Glossare/Lexika
Mathematisches Lexikon
Lexikon der Mathematik
Fachbegriffe der Mathematik
Mathematik-
Lexikon + Berechnungen

Enzyklopädie - Mathematik
Matheboard.de - Forum der Mathematik

Abkürzungen, Nomenklatur und Wörterbücher
English-German math glossary
Mathematisches Wörterbuch
Deutsch-
Spanisches Mathe-Glossar


Formeln und
Symbole
Tabelle mathematischer Symbole
Formelsammlung Höhere Mathematik
Umfangreiche Formelsammlung
Sämtliche Formeln für Mathematik, Physik, Chemie
12.534 anschauliche Formeln !
Formelsammlung zur Algebra, Geometrie, Stochastik, Ableitungs- und Stammfunktionen

Physik. Größen, Konstanten/Einheiten
Naturkonstanten
SI Einheiten
Umrechnung von Einheiten

Mathe Software
Mathematik-
Freeware

RF21 programmierbare Freeware Mathematik


Kontakt   Copyright © 2005   by   SchulSeite.de