| MC440 - FIRST ORDER CLASSICAL LOGIC
(objectives)
TO KNOW – AT A GRADUATE LEVEL – RESULTS ON LOGIC, INDEED MATHEMATICAL THEOREMS ON LOGIC, WHICH ARE AT THE BASIS OF THE INTERACTION BETWEEN LOGIC, COMPUTER SCIENCES AND OTHER SCIENCES (IN PARTICUALR, COMMUNICATION SCIENCES).
|
Università Roma Tre