Zu Hauptinhalt springenZur Suche springenZu Hauptnavigation springenZu Footer springen
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: