Skip to content

kemme77/Logic

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

770 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

An Introduction to Logic for Computer Science

These are the resources for my lecture on theoretical computer science I. The main topic of this lecture is logic. The algorithms discussed are implemented in Python via Jupyter notebooks.

About

Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispiele sind in der Sprache Python implementiert.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages

  • TeX 62.5%
  • Jupyter Notebook 34.8%
  • Python 2.5%
  • Other 0.2%