LOGIC AND COMPUTER SYSTEMS

Università degli Studi
"G. d'Annunzio"

Chieti - Pescara

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).

General Module

Course Sheet

Course code:

000371L

Academic Year of enrolment:

2021

Year of supply:

2021/2022

Type of Course:

Related/Supplementary

Degree:

Course of 1st Cycle Degree in ECONOMICS AND BUSINESS INFORMATICS

Disciplinary Sector:

Mathematical Logic

Is part of:

FOUNDATIONS OF COMPUTER SCIENCE

Location:

PESCARA

Credits:

Programme Year:

Professor and Collaborators:

AMATO Gianluca

Cycle:

Second semester

Hours of classroom activity:

Individual study hours:

102

Prerequisites:

None

Objectives

Introduce the basic concepts of propositional and first order logic. Understanding the basic principles of computers and operating systems.

LEARNING OUTCOMES

KNOWLEDGE AND UNDERSTANDING

At the end of the course the student must:
* understand the basics of logic and the different types of reasoning
* understand the architecture of computers and their hardware components
* know the main services of operating systems

APPLYING KNOWLEDGE AND UNDERSTANDING

At the end of the course the student will be able to:
* determine the validity of a deductive reasoning
* formalize propositions in the languages of propositional and first order logic
* operate in binary and hexadecimal number bases
* recognize the components of a computer system

COMMUNICATION SKILLS:

At the end of the course the student will be able to express concepts using a correct and precise language for logic and computer science.

LEARNING SKILLS:

At the end of the course the student will be able to read and understand texts on elementary concepts of logic, computer architecture and operating systems.

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 of first order logic.
- Inference rules of first order logic.
- Logic with equality.

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.
- Lecture notes.

Teaching Methods

The teaching will be held mainly in the form of lectures, with a laboratory part concerning the binary representation of data and the machine language of the Little Man Computer.

Evaluation methods

Verification of learning:

Refers to the syllabus for the integrated course "Fondamenti di Informatica".

Contacts/More Information

Further information, including the teacher's handouts, will be provided via the e-learning platform fad.unich.it. The same platform will also be used as a forum for communicating with students.

Other courses

Course year: 1

FOUNDATIONS OF COMPUTER SCIENCE
9 Credits
PROGRAMMING AND ALGORITHMS 1
9 Credits
BUSINESS ADMINISTRATION
9 Credits - Basic
CALCULUS
9 Credits - Basic
MICROECONOMICS
9 Credits - Basic
PRIVATE LAW AND NEW TECHNOLOGY LAW
9 Credits - Basic
CERTIFICATE OF COMPETENCY IN TECHNICAL-SCIENTIFIC ENGLISH
6 Credits - Language/Final Examination

Course year: 2

DATABASES
6 Credits
PROGRAMMING AND ALGORITHMS 2
9 Credits
WEB PROGRAMMING
6 Credits
COMMERCIAL AND ECONOMIC LAW
9 Credits - Characterising
ECONOMIC GEOGRAPHY
6 Credits - Characterising
GAME THEORY
6 Credits - Characterising
INTERNET ECONOMICS
9 Credits - Characterising
LABOUR LAW
9 Credits - Characterising
MACROECONOMICS
9 Credits - Characterising
STATISTICS
9 Credits - Characterising

Course year: 3

ARTIFICIAL INTELLIGENCE
6 Credits
DATA MINING
6 Credits - Characterising
ECONOMETRICS
9 Credits - Characterising
FINANCIAL REPORTING
9 Credits - Characterising
ADVANCED PROGRAMMING
6 Credits - Related/Supplementary
INTERNET AND NETWORKING
6 Credits - Related/Supplementary
MOBILE SYSTEMS
6 Credits - Related/Supplementary
REINFORCEMENT LEARNING IN ARTIFICIAL INTELLIGENCE
6 Credits - Related/Supplementary
DEEPENING OF STATISTICS
9 Credits - Elective Course
ELECTIVE COURSES
18 Credits - Elective Course
IN-DEPTH STATISTICS
6 Credits - Elective Course
IN-DEPTH STATISTICS
3 Credits - Elective Course
FINAL EXAMINATION
3 Credits - Language/Final Examination
PROFESSIONAL SEMINARS
6 Credits

Search form

Aree

Error message

LOGIC AND COMPUTER SYSTEMS