Basic Mathematics (2007/2008)

  1. Home
  2. Teaching
  3. Bachelor's degree
  4. Bachelor in Computer Science (until 2008-2009 academic year)
  5. Insegnamenti

Course Not running, not visible

Course code
4S00023
Name of lecturer
Francesca Mantese
Number of ECTS credits allocated
4
Academic sector
MAT/01 - MATHEMATICAL LOGIC
Language of instruction
Italian
Location
VERONA
Period
Periodo zero dal Sep 10, 2007 al Oct 1, 2007.
Course news Seminars related to the course

Lesson timetable

Learning outcomes

The aim is to introduce some basic mathematical concepts.

Syllabus

Introduction to set theory: definitions, notations and examples; subsets, unions, intersections and relative complements; difference between classes and sets, Russell's paradox.
Relations and functions: properties of relations; order relations, equivalence relations and equivalence classes. Functions and their properties; total, injective, surjective and bijective functions; composition between functions and the inverse function.
Cardinality: finite and infite sets; countable and uncountable sets; cardinality of sets of numbers.
The mathematical induction.
Elements of mathematical logic: structures and languages; terms, quantifiers and formula; interpretation of a formula, satisfaction and truth.

Assessment methods and criteria

Written test

Teaching aids

Documents

Share