Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
didattica:triennale:logica:ay_1718:main [2017/09/16 17:57] 127.0.0.1 external edit |
didattica:triennale:logica:ay_1718:main [2020/09/17 16:55] (current) |
||
---|---|---|---|
Line 39: | Line 39: | ||
* {{ :didattica:triennale:logica:slidescap1-2-3-4.pdf |Capitoli 1, 2, 3, 4}} | * {{ :didattica:triennale:logica:slidescap1-2-3-4.pdf |Capitoli 1, 2, 3, 4}} | ||
* {{ :didattica:triennale:logica:slidescap4-5-6.pdf |Capitoli 4, 5, 6}} | * {{ :didattica:triennale:logica:slidescap4-5-6.pdf |Capitoli 4, 5, 6}} | ||
+ | * {{ :didattica:triennale:logica:ay_1718:dnfcnf.pdf |Forme Normali}} | ||
**Testi di Riferimento** | **Testi di Riferimento** | ||
* S. L'innocente "{{ :didattica:triennale:logica:dispense_linnocente16-17.pdf |Dispense di Logica Matematica}}" | * S. L'innocente "{{ :didattica:triennale:logica:dispense_linnocente16-17.pdf |Dispense di Logica Matematica}}" | ||
+ | * {{ :didattica:triennale:logica:ay_1718:naturaldeduction.pdf |Note sulla Deduzione Naturale}} | ||
</WRAP> | </WRAP> | ||
---- | ---- |