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.
    Contact

    Universität Würzburg
    Sanderring 2
    97070 Würzburg

    Phone: +49 931 31-0
    Fax: +49 931 31-82600

    Find Contact

    Sanderring Röntgenring Hubland Nord Hubland Süd Campus Medizin