Deutsch Englisch

Informationen

Fragen Sie uns!

Neuerwerbungen

Semesterapparate

Sachgebiete

Scandienst

Speichern

Trefferanalyse

Abmelden

 

Elektronische Zettelkataloge

E-Journals

Datenbanken

Nationallizenzen

Fernleihe

Medienaufstellung

Katalogmenü

UB Home

 

Datenschutz

Impressum

Diese Suchanfrage abonnieren (RSS)
1 - 10 von 116
vorherige Seite      nächste Seite
* Ihre Aktion  suchen [und] RVK SK 130 and MAT O*
Online Ressourcen (ohne Zeitschr.) 1.  Beweisen lernen Schritt für Schritt : für einen gelungenen Einstieg ins Mathestudium
/ Junk, Michael. - 1st ed. 2020. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2020Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 2.  Hilbert's tenth problem : an introduction to logic, number theory, and computability
/ Murty, Maruti Ram. - Providence, Rhode Island : American Mathematical Society, [2019]
Online Ressourcen (ohne Zeitschr.) 3.  A first journey through logic
/ Hils, Martin. - Providence, Rhode Island : American Mathematical Society, [2019]
Online Ressourcen (ohne Zeitschr.) 4.  Logical frameworks for truth and abstraction : an axiomatic study
/ Cantini, Andrea. - Online-Ausg.. - Amsterdam : Elsevier Science B.V, 1996Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 5.  Mathematische Modellierung mit MATLAB® und Octave : eine praxisorientierte Einführung
/ Haußer, Frank. - 2. Auflage. - Berlin : Springer Spektrum, [2019]Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 6.  Theorems, corollaries, lemmas, and methods of proof
/ Rossi, Richard J.. - Hoboken, N.J : Wiley, 2006Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 7.  Mathematical logic
/ Tourlakis, George J.. - Hoboken, N.J : Wiley, 2008Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 8.  Mathematical modeling and simulation : introduction for scientists and engineers
/ Velten, Kai. - Weinheim [Germany] : Wiley-VCH, 2009Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 9.  Aspekte des Unendlichen : eine kleine Erzählung für Nichtmathematiker
/ Priese, Lutz. - Wiesbaden : Springer Vieweg, [2019]Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 10.  An introduction to Ramsey theory : fast functions, infinity, and metamathematics
/ Katz, Matthew. - Providence, Rhode Island : American Mathematical Society, [2018]
[PRS] Person (Phrase: Nachname, Vorname): Hoffmann, Dirk W.
[CLT] Siehe auch: beweis | logik | mengenlehre | rekursionstheorie | symbolic | proof | recursion | logic | beweisen
1 - 10 von 116
vorherige Seite      nächste Seite
Wort   Typ   Anzahl
sk 130 [RVK] Regensburger Verbundklassifikation (RVK) 304
 
1 - 10 von 116
vorherige Seite      nächste Seite