3 documents found

Dissertation
2013-03-18

Die Komplexität der Formelauswertung in intuitionistischen Logiken

Der Intuitionismus ist eine Denkweise, die auf Intuition und Konstruktivismus basiert. Mathematisch gesehen werden hier nur konstruktive Beweise anerkannt und der Begriff der Wahrheit wird durch "beweisbar" ersetzt. Die intuitionistische Logik greift diesen Gedanken in der Form auf, dass das Gesetz des...
Dissertation
2013-03-18

Evaluation der Bildmorphologie des kraniozervikalen Überganges im Hochfeld-MRT...

Die Ätiologie des Schleudertraumas ist ein kontrovers diskutiertes Thema. Eine mögliche Schädigung der Ligg. alaria ist dabei Gegenstand aktueller Studien. Im Rahmen dieser Arbeit sollten diese erstmals in einer MRT der Stärke 3 Tesla evaluiert werden. Die Studie umfasst 89 Personen: 50 ohne bekannte...

Availability

Type