• Edizioni di altri A.A.:
  • 2017/2018
  • 2018/2019
  • 2019/2020
  • 2020/2021
  • 2021/2022
Attenzione! Per visualizzare le informazioni dettagliate può essere necessario navigare nei moduli/canali indicati di seguito.

  • Lingua Insegnamento:
    Italiano 
  • Testi di riferimento:
    - Dario Palladino. Corso di logica: Introduzione elementare al calcolo dei predicati (nuova edizione). Carocci editore.
    - dispense del docente. 
  • Obiettivi formativi:
    Introdurre i fondamenti della logica proposizionale e del prim'ordine. Comprendere i principi fondamentali del funzionamento dei calcolatori, dei sistemi operativi e del web.

    RISULTATI DI APPRENDIMENTO ATTESI

    CONOSCENZA E CAPACITÀ DI COMPRENSIONE:

    Alla fine dell’insegnamento lo studente dovrà:
    * comprendere la logica di base e le diverse tipologie di ragionamento
    * capire l'architettura degli elaboratori ed i suoi componenti hardware
    * conoscere i principali servizi dei sistemi operativi
    * conoscere i fondamenti dei linguaggi HTML e CSS

    CONOSCENZA E CAPACITÀ DI COMPRENSIONE APPLICATE:

    Alla fine dell’insegnamento lo studente dovrà essere in grado di:
    * determinare la validità di un ragionamento deduttivo
    * formalizzare le proposizioni nei linguaggi della logica proposizionale e del prim'ordine
    * operare nelle basi binarie e esadecimale
    * riconoscere i componenti di un elaboratore
    * interagire con i sistemi operativi
    * realizzare una pagina web.

    ABILITÀ DI COMUNICAZIONE:

    Alla fine dell’insegnamento lo studente dovrà essere in grado di esprimere concetti utilizzando un linguaggio logico ed informatico corretto e preciso.

    CAPACITÀ DI APPRENDERE:

    Alla fine dell’insegnamento lo studente dovrà essere in grado di leggere e capire testi in cui si utilizzino concetti elementari di logica, architettura degli elaboratori, sistemi operativi e web. 
  • Prerequisiti:
    Nessuno. 
  • Metodi didattici:
    Lezioni frontali in aula e in laboratorio di informatica. Si utilizzeranno degli ambienti di sviluppo integrati per la realizzazione di pagine web. 
  • Modalità di verifica dell'apprendimento:
    Esame scritto/pratico e orale. Lo scritto verte sugli argomenti di logica, architettura e sistemi operativi, mentre la prova pratica sui linguaggi assemblativi ed i linguaggi per il web. L'orale è opzionale, su richiesta dello studente o del docente. 
  • Sostenibilità:
     

Scopo del corso è presentare i concetti fondamentali sulla architettura degli elaboratori, per ciò che riguarda l'hardware e i sistemi operativi, sul web, e sulla logica, in particolare le inferenze e i ragionamenti.

Logica
- Inferenze e ragionamenti
- Proposizioni semplici e composte
- Connettivi vero-funzionali
- Tabelle di verità
- Tautologie
- Equivalenza e conseguenza logica
- Linguaggio e regole della logica del prim'ordine

Architettura
- Panoramica sui sistemi di elaborazione
- Sistemi numerici
- Rappresentazione di informazione numerica e non numerica
- CPU e memoria
- Architettura di von Neumann e sue estensioni
- Input/output
- Periferiche

Sistemi operativi
- Struttura di un sistema operativo
- Interfaccia utente
- Gestione dei file
- Funzionamento interno

Linguaggi per il web
- Principali protocolli per il web
- Fondamenti di HTML e CSS

Avvisi

 

08 Feb 2021

 

23 Gen 2021

Documenti

Nessun documento in evidenza

Scopri cosa vuol dire essere dell'Ud'A

SEDE DI CHIETI
Via dei Vestini,31
Centralino 0871.3551

SEDE DI PESCARA
Viale Pindaro,42
Centralino 085.45371

email: info@unich.it
PEC: ateneo@pec.unich.it
Partita IVA 01335970693

icona Facebook   icona Twitter

icona Youtube   icona Instagram