Hauptinhalt überspringenNavigation überspringenFooter überspringen
Logo der Fachhochschule Nordwestschweiz
Studium
Weiterbildung
Forschung und Dienstleistungen
Internationales
Die FHNW
De
Standorte und KontaktBibliothek FHNWKarriere an der FHNWMedien

      Logo der Fachhochschule Nordwestschweiz
      • Studium
      • Weiterbildung
      • Forschung und Dienstleistungen
      • Internationales
      • Die FHNW
      De
      Standorte und KontaktBibliothek FHNWKarriere an der FHNWMedien
      Module
      Einführung in die mathematische Logik

      Einführung in die mathematische Logik

      Nummer
      0211100
      Leitung
      Gianni N. Di Pietro Fachhochschule Solothurn Nordwestschweiz
      ECTS
      1.0
      Unterrichtssprache
      Deutsch
      Standardbezug
      Einführung in die mathematische Logik
      Inhalt
      Aussagenlogik: Wahrheitstafeln, semantische Tableaus, Resolution, Prädikatenlogik: Einführung, Resolution, Logikprogrammierung

      Studium

      Angebot

      • Studium
      • Weiterbildung
      • Forschung & Dienstleistungen

      Über die FHNW

      • Hochschulen
      • Organisation
      • Leitung
      • Facts and Figures

      Hinweise

      • Datenschutz
      • Accessibility
      • Impressum

      Support & Intranet

      • IT Support
      • Login Inside-FHNW

      Member of: