Error message
User error : Failed to connect to memcache server: druportbe01:11211 in dmemcache_object() (line 415 of /production/drupal/dim_prod/drupal/d7cl4/prod/unich/releases/7/web/sites/all/modules/contrib/memcache/dmemcache.inc ).
Course Sheet Academic Year of enrolment:
Professor and Collaborators:
Hours of classroom activity:
Objectives Contents The aim of this course is to make students able to read and understand definitions, theorems and proofs in a mathematical text. The first part of the course is an informal introduction to mathematical logic, so that students may become familiar with the language of mathematics and deductive reasoning. In the second part of the course we apply what we have learned in the first part to basic mathematical concepts: sets, relations and functions,
Extended Syllabus Sentential Logic: deductive reasoning, logical connectives, truth tables, variables, sets, operations on sets.
Recommended Bibliography Daniel J. Velleman
Teaching Methods Evaluation methods Verification of learning:
Written and oral examination.
