KokorinIlya / math_logic Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Homeworks for math logic course in ITMO University

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
hw3		hw3
lib		lib
src		src
Makefile		Makefile
README.md		README.md
hw1.zip		hw1.zip
input.txt		input.txt
output.txt		output.txt

Repository files navigation

math_logic

Homeworks for math logic course in ITMO University.

Tasks: https://github.com/shd/logic2018/blob/master/hw-practice.pdf