• Sonderzeichen
     
  • Lautschrift
     
 
leo-ende
Werbung
Betreff

Trägermenge

[Inform.]
1 Antwort    
Kontext/ Beispiele
Jedes Sortensymbol wird durch eine Trägermenge interpretiert
Kommentar
carrier set
A carrier set for each sort symbol.
VerfasserRayo29 Sep 04, 04:39
Übersetzungset of variables
Quellen
Baader/Nipkow "TR and All That", p35
Ebbinghaus et.al. "math. Logik" p31
Kommentar
na na, TUM

g, JD
#1VerfasserJens61102 Okt 08, 16:23
i Nur registrierte Benutzer können in diesem Forum posten
 
LEO benutzt Cookies, um das schnellste Webseiten-Erlebnis mit den meisten Funktionen zu ermöglichen. Es werden teilweise auch Cookies von Diensten Dritter gesetzt. Weiterführende Informationen erhalten Sie in den Hinweisen zu den Nutzungsbedingungen / Datenschutz (Cookies) von LEO.