piwik-script

Deutsch Intern
    Chair of Computer Science I - Algorithms, Complexity, and Knowledge-Based Systems

    Logic for Computer Scientists

    Title:Logic for Computer Scientists
    Type:Lecture with exercises
    Abbr. / No.:10-I-LOG / 121714
    SWS / LP:2V+2Ü / 5LP
    Lecturer:Dietmar Seipel
    Supervisor:Falco Nogatz
    Dates:

    Lecture:
    (tba)
    Exercises:
    (tba)

    Learning management system:This course is done with the help of WueCampus. Please register here.
    Exam dates:(tba)
    Description
    Language:German
    Regular cycle:every winter term
    Level:Basic
    Content:Syntax and semantic of propositional logic, equivalence and normal forms, Horn formulas, SAT, resolution, infinite formula sets, syntax and semantic of predicate logic.
    Learning outcomes:The students master the following areas: syntax and semantic of propositional logic, equivalence and normal forms, Horn formulas, SAT, resolution, infinite formula sets, syntax and semantic of predicate logic.

    Data privacy protection

    By clicking 'OK' you are leaving the web sites of the Julius-Maximilians-Universität Würzburg and will be redirected to Facebook. For information on the collection and processing of data by Facebook, refer to the social network's data privacy statement.

    Data privacy protection

    By clicking 'OK' you are leaving the web sites of the Julius-Maximilians-Universität Würzburg and will be redirected to Twitter. For information on the collection and processing of data by Facebook, refer to the social network's data privacy statement.

    Contact

    Lehrstuhl für Informatik I (Effiziente Algorithmen und wissensbasierte Systeme)
    Am Hubland
    97074 Würzburg

    Phone: +49 931 31-85054
    Email

    Find Contact

    Hubland Süd, Geb. Z8 Hubland Süd, Geb. M2