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 ).
FOUNDATIONS OF COMPUTER SCIENCE Single discipline educational activity
Course Sheet Academic Year of enrolment:
Hours of classroom activity:
Objectives
Contents The aim of this course is to teach the basics of computer architecture (hardware and operating systems) and logic (inferences and reasonings).
Extended Syllabus Logic
- Inferences and reasonings
- Atomic and composite propositions
- Truth functional connectives
- Truth tables
- Tautologies
- Equivalence and logical consequence
- Language and rules of first order logic.
Architecture
- Overview of computer systems
- Number systems
- Representation of numerical and non-numerical data
- CPU and memory
- Von Neumann's acrhitecture
- Input/output
- Peripherals
Operating systems
- Overview
- User interface
- File management
- Internal structure.
Recommended Bibliography - Dario Palladino. Corso di logica: Introduzione elementare al calcolo dei predicati (nuova edizione). Carocci editore.
- Andrew S. Tanenbaum. Architettura dei calcolatori. Un approccio strutturale. Pearson editore.
Methods of Provision
Teaching Methods Lectures and computer laboratory.
Evaluation methods Verification of learning:
Written/practical and oral examination.