Account
Edit tools
Internal
SucheSearch
Deutsch

Lehrveranstaltungen/en: Difference between revisions

From International Center for Computational Logic
No edit summary
mNo edit summary
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
{{#leftsidenav:{{LeftsidenavHeading|{{MediaWiki:Portal_label_Lehrveranstaltungen/en}}}}
{{#leftsidenav:{{LeftsidenavHeading|{{MediaWiki:Portal_label_Lehrveranstaltungen/en}}}}
<div class="no-toc-head">__TOC__</div>
<div class="no-toc-head">__TOC__</div>
|{{Main heading|Courses}}
|{{Main heading|Courses}}  


{{#ask: [[Category:Vorlesung]]
{{#ask:  
{{#ifexpr: {{CURRENTMONTH}} <= 3
  |[[Category:Vorlesung]] [[Year::≥{{CURRENTYEAR}}]]
  |{{#ifexpr: {{CURRENTMONTH}} >= 4 and {{CURRENTMONTH}} <= 9
    |[[Category:Vorlesung]] [[Year::>>{{CURRENTYEAR}}]] OR [[Category:Vorlesung]] [[Year::{{CURRENTYEAR}}]] [[Term::WS]]
    | [[Category:Vorlesung]] [[Year::>>{{CURRENTYEAR}}]]
  }}
}}
| ?Title
| ?Title
| ?Term
| ?Term
Line 17: Line 24:
| order=desc,desc,asc
| order=desc,desc,asc
| template=Course list entry
| template=Course list entry
| outro=</table>
| userparam=/en
| userparam=/en
}}<!--
-->{{#ask: [[Category:Projektarbeit]] [[Current::1]]
| ?Titel DE=page
| format=plainlist
| template=Projektarbeit Listing
| link=none
| sort=Titel DE
| order=desc
| userparam=/en
}}<!--
-->
{{#ask:
{{#ifexpr: {{CURRENTMONTH}} <= 3
  |[[Category:Vorlesung]] [[Year::<<{{CURRENTYEAR}}]]
  |{{#ifexpr: {{CURRENTMONTH}} >= 4 and {{CURRENTMONTH}} <= 9
    |[[Category:Vorlesung]] [[Year::<<{{CURRENTYEAR}}]] OR [[Category:Vorlesung]] [[Year::{{CURRENTYEAR}}]] [[Term::SS]]
    | [[Category:Vorlesung]] [[Year::≤{{CURRENTYEAR}}]]
  }}
}}
| ?Title
| ?Term
| ?Year
| ?Modul
| ?Lecturer
| ?SWSLecture
| ?SWSExercise
| ?SWSPractical
| format=plainlist
| link=none
| sort=year,term,title
| order=desc,desc,asc
| template=Course list entry
| outro=</table>
| outro=</table>
| userparam=/en
}}
}}


}}<!-- leftsidenav -->
}}<!-- leftsidenav -->

Latest revision as of 21:45, 5 April 2023

Toggle side column

Courses


Summer term 2025

 

TitleLecturerSWSModules
Projects and Theses in Knowledge-Based Systems Markus Krötzsch–/–/– INF-B-510,INF-B-520,MCL-P,CMS-PRO,CMS-TEA,INF-PM-FPA,INF-PM-FPG,INF-MA-PR,INF-D-950,INF-D-960
Projects and Theses in Computational Logic Sebastian Rudolph–/–/– MCL-P,INF-PM-FPA,INF-PM-FPG,INF-MA-PR
CMS Research Project “Model Checking”Sascha Klüppelholz0/0/12CMS-PRO
Concurrency TheoryStephan Mennicke2/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV, MCL-TCS
Database TheoryMarkus Krötzsch4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV
Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅰ“Christel Baier0/0/4INF-MA-PR
Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅱ“Christel Baier0/0/8INF-MA-PR
Lab Course “Modeling and Automated Verification”Christel Baier0/2/0MCL-PS, CMS-LM-MOC, CMS-LM-ADV
Lecture “Advanced Logics”Christel Baier, Jakob Piribauer4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL, CMS-LM-MOC, CMS-LM-ADV
Profilprojekt „Forschungsprojekt Formale Methoden“Christel Baier0/0/8INF-PM-FPG
Proseminar „Binäre Entscheidungsgraphen“Sascha Klüppelholz0/2/0INF-B-610, INF-D-520
Proseminar „Theoretische Informatik“Sascha Klüppelholz0/2/0INF-B-610, INF-D-520
Recent Topics in Knowledge GraphsPhilipp Hanisch0/2/0INF-AQUA, INF-B-520, INF-D-940, MCL-PS, INF-B510, CMS-LM-MOC, CMS-LM-ADV, CMS-SEM, CMS-LM-AI
Research Seminar “Formal Methods”Christel Baier0/2/0INF-PM-FOR
Seminar Large Language Models and Knowledge-aware AISimon Razniewski0/2/0
Seminar Logic-Based Knowledge RepresentationSarah Alice Gaggl0/2/0INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, CMS-SEM-A
Seminar “Selected Topics in Logic and Verification”Christel Baier0/2/0INF-AQUA, INF-B-510, INF-B-520, INF-D-940, MCL-PS, CMS-LM-MOC, CMS-LM-ADV, CMS-SEM
Team Project “Model Checking”Sascha Klüppelholz0/0/8CMS-LM-TEA
Theoretische Informatik und LogikSebastian Rudolph4/2/0INF-B-290, INF-D-330

Winter term 2024

 

TitleLecturerSWSModules
Advanced Problem Solving and SearchSarah Alice Gaggl2/2/0INF-BAS2, INF-VERT2, CMS-COR-FAI
Behind the secrets of large language modelsSimon Razniewski, Michael Färber2/2/0
Complexity TheoryMarkus Krötzsch4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, CMS-LM-MOC, CMS-LM-ADV
Formale SystemeSebastian Rudolph4/2/0INF-B-270, INF-B-275, INF-LE-EuI, IST‑05‑PF‑HS
Foundations of Knowledge RepresentationHannes Straß2/2/0INF-BAS2, INF-VERT2, CMS-LM-BAS
Knowledge GraphsMarkus Krötzsch2/2/0INF-BAS2, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, CMS-COR-KM, INF-PM-ANW

Summer term 2024

 

TitleLecturerSWSModules
Algorithmic Game TheoryHannes Straß2/2/0INF-BAS2, INF-BAS6, INF-VERT6, INF-VERT2, INF-PM-FOR, INF-B510, INF-B520, CMS-LM-ADV, CMS-LM-AI
Concurrency TheoryStephan Mennicke2/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV, MCL-TCS
First-Order Logic – Semantic and Computational PropertiesDörthe Arndt2/0/0
Introduction to Existential RulesSebastian Rudolph2/2/0INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, INF-PM-FOR, CMS-LM-ADV, CMS-LM-AI
Proof Theory and Sequent SystemsTim Lyon2/0/0INF-BAS6, INF-VERT6, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV
Seminar Logic-Based Knowledge RepresentationSebastian Rudolph0/2/0INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS, CMS-SEM
Theorem Proving with LEANStephan Mennicke, Lukas Gerlach0/0/4INF-B-510, INF-B-520, INF-MA-PR
Theoretische Informatik und LogikMarkus Krötzsch4/2/0

Winter term 2023

 

TitleLecturerSWSModules
Advanced Problem Solving and SearchSarah Alice Gaggl2/2/0INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, CMS-COR-FAI
Complexity TheoryMarkus Krötzsch, Stephan Mennicke, Lukas Gerlach4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, CMS-LM-MOC, CMS-LM-ADV
Formale SystemeMarkus Krötzsch4/2/0
Foundations of Knowledge RepresentationSebastian Rudolph2/2/0INF-BAS2, INF-VERT2, CMS-LM-BAS
Foundations of Logic ProgrammingHannes Straß2/0/0INF-BAS2, INF-VERT2, CMS-LM-BAS
Foundations of Semantic Web TechnologiesDörthe Arndt2/2/0
Introduction to Formal Concept AnalysisSebastian Rudolph2/2/0INF-BAS2, MCL-PI, MCL-KR, INF-E-3, CMS-LM-ADV, CMS-LM-AI
Knowledge GraphsMarkus Krötzsch2/2/0INF-BAS2, INF-B-510, INF-B-520, INF-BAS6, MCL-TCSL, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, CMS-COR-KM, INF-PM-ANW
Research Seminar Logic and AISebastian Rudolph, Piotr Ostropolski-Nalewaja0/2/0INF-AQUA, INF-PM-FOR
Theorem Proving with LEANStephan Mennicke, Lukas Gerlach0/0/4INF-B-510, INF-B-520, INF-MA-PR

Summer term 2023

 

... further results
TitleLecturerSWSModules
Advanced Problem Solving and SearchSarah Alice Gaggl, Lucía Gómez Álvarez2/2/0INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, MCL-AI, CMS-COR-FAI
Algorithmic Game TheoryHannes Straß2/2/0INF-BAS2, INF-BAS6, INF-VERT6, INF-VERT2, INF-PM-FOR, INF-B510, INF-B520, CMS-LM-ADV, CMS-LM-AI
Concurrency TheoryStephan Mennicke2/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV
Database TheoryMarkus Krötzsch4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV
Introduction to Existential RulesSebastian Rudolph2/0/0INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, INF-PM-FOR, CMS-LM-ADV, CMS-LM-AI
Quotation in Formal Logics and the WebDörthe Arndt2/2/0INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, MCL-AI, CMS-LM-ADV, CMS-LM-AI
Research Seminar Logic and AISebastian Rudolph, Piotr Ostropolski-Nalewaja0/2/0INF-AQUA, INF-PM-FOR
Seminar Logic-Based Knowledge RepresentationSebastian Rudolph0/2/0INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS, CMS-SEM
Theorem Proving with LEANStephan Mennicke, Lukas Gerlach0/0/4INF-B-510, INF-B-520, INF-MA-PR
Retrieved from "https://iccl.inf.tu-dresden.de/w/index.php?title=Lehrveranstaltungen/en&oldid=37989"