Ich habe bald eine mündliche Prüfung über theoretische Informatik.
Eine mögliche Frage die mir gestellt werden könnte lautet:
Wann ist eine Zahlenfunktion berechenbar.
Die Antwort findet sich in Definition 3.1.3
Mein eigentliches Problem dabei ist das ich nicht weis wie man die Mathematische Syntax Richtig verbal ausdrückt.
Mein Versuche wäre:
Eine Funktion f welche eine Teilmenge der Natürlichen Zahle ist und k eingaben akzeptiert heißt berechenbar, genau dann wenn es eine k-stellige Registermaschine M gibt die diese Funktion berechnet.
Oder sollte ich einfach die Zeichen vorlesen wie sie sind? Also:
Eine Funktion f Doppelpunkt Teilmenge N hoch k Pfeil N heißt berechenbar, genau dann wenn es eine k-stellige Registermaschine M gibt mit f ist gleich f M.
Hat vielleicht jemand eine gute quelle wo ich das richtige Mathe lesen lernen kann (Internetseite, Buch, etc.)?
Vielen Dank im Voraus.