Sprache

Bibliothek · KI-RAG & Wissensdatenbank

Logik

Lehrbücher zur formalen Logik.

Demnächst

KostenlosMac, Windows und Linuxvon MOZGII, Inc.

Über Logik.

Mengen, Beweise, Aussagen- und Prädikatenlogik erster Stufe, Berechenbarkeit und mehr.

Ideal für

  • Hausaufgaben in Logik
  • Beweistechniken
  • Philosophie der Mathematik

Quelle

Open Logic Project. Lizenz: CC BY 4.0.

Gemacht von MOZGII, Inc.

Das könnte Ihnen auch gefallen.

Wir verwenden Cookies

Wir erfassen anonyme Nutzungsdaten, um MOZGII zu verbessern. Ohne deine Zustimmung werden keine Daten erhoben. Datenschutzrichtlinie · Cookie-Richtlinie