L1 Logic 1
L1 Logic 1
ADDITIONAL
TOPIC HOURS CORE RESOURCES 1
RESOURCES
https://www.harryhike
General introduction 1.5hCM Patrick J. Hurley, Lori Watson. A r.com
Concise Introduction to Logic.
Why Study Logic?
https://www.harryhike
Propositional logic 7.5hCM Patrick J. Hurley, Lori Watson. A r.com
Concise Introduction to Logic.
Logic connectors, well- 6hTD
formed formulas pp. 327-467
Page 2 from 2
https://www.harryhike
Logic of predicates 9hCM Patrick J. Hurley, Lori Watson. A r.com
Concise Introduction to Logic.
Existential and universal 6hTD
quantifiers, well-formed pp. 470-539
formulas Mordechai Ben-Ari. Mathematical
Logic for Computer Science
Formalization of statements
pp. 131-202
Truth in an interpretation, a
structure
Remarkable equivalences
CORE REFERENCES
ADDITIONAL REFERENCES
WEB RESOURCES
1. https://www.harryhiker.com
2. www.cengage.com
3. http://www.satlive.org/solvers/
4. http://intrologic.stanford.edu/logica/homepage/index.php
5. https://leanprover.github.io/logic_and_proof/
6. https://www.phil.cmu.edu/projects/apros/ STRUCTURE OF THE COURSE &
ADDITIONAL INFORMATION REGARDING THE
Page 2 from 2
Page 3 from 2