LOGIC 2
cod. 1005958

Academic year 2016/17
1° year of course - Second semester
Professor
Academic discipline
Logica e filosofia della scienza (M-FIL/02)
Field
Discipline filosofiche
Type of training activity
Characterising
30 hours
of face-to-face activities
6 credits
hub:
course unit
in

Integrated course unit module: Logic (Int.)

Learning objectives

1. Comprehension of technical methods.
2. Knowledge of formal methodology.

3. 4. 5 Formal justification of informal reasoning.

Prerequisites

Logica 1.

Course unit content

First order Logic and formalization.

Full programme

- - -

Bibliography

E. J. Lemmon, Elementi di Logica, La Terza 1975.

Teaching methods

Lectures

Assessment methods and criteria

Final exam.

Other information

- - -