Informatica appunti

FLAC:

- diversamente dagli altri non rimuove informazioni dal flusso audio: la qualità è

migliore, ma la dimensione dei file è maggiore.

Codifica dei suoni: MIDI

Lo standard audio MIDI si discosta dallo schema di codifica che campiona l’onda, in quanto

codifica la musica attraverso un formato testuale.

Nella pratica, si comporta come un pentagramma digitale: codifica le note e gli strumenti che

devono eseguirle, e nella decodifica il computer riprodurrà le note usando dei suoni campionati.

Il file risultante è molto piccolo, ma non permette di codificare la voce umana, e la riproduzione

dipende dalla qualità dei suoni degli strumenti virtuali presenti sul computer.

Codifica di video : fotogrammi frame).

Un filmato è una sequenza di immagini statiche (dette o

Una tecnica di base per codificare un filmato è quella di digitalizzare i suoi fotogrammi come se

fossero immagini singole.

Esempio:

- 30 immagini ad alta risoluzione (1280x800) al secondo

- Bit-immagine = 24 * 1280 * 800 = 2.457.600

- 30 imm./sec x 2.457.600 bit/imm. = 73.728.000 bit/sec

- un minuto richiederebbe 60 sec x 73.728.000 = 4.423.680.000 bit

(552.960.000 byte)

Questa codifica semplice nella realtà non viene mai utilizzata, o meglio viene usata come base

su cui poi applicare delle tecniche di compressione: lo standard di compressione più usato e

MPEG (Moving Picture Expert Group),che sfrutta le differenze tra fotogrammi: esistono diverse

versioni di MPEG, identificate da un numero.

! I formati video più noti, che sfruttano MPEG per la codifica del video più altri standard per la

codifica dell’audio, sono: avi, mov, wmv, mp4.

[Informatica, Venerdì 5 Ottobre 2018]

La logica matematica in informatica :

È un tipo di logica utilizzata per scrivere i programmi (come ad esempio Excell).

La logica formale è alla base della geometria, della probabilità e, in generale, della matematica

La logica formale va intesa come studio sistematico del discorso ragionato.

I suoi obbiettivi è tentare di eliminare dal linguaggio ogni forma di ambiguità

Definizioni fondamentali alla base della logica in informatica :

Linguaggio:

- un linguaggio è un sistema di segni distinti corrispondenti a idee distinte utilizzati per

comunicare

Semiotica:

- scienza che studia i linguaggi come insiemi di segni significativi: studia i segni ed il

modo in cui questi abbiano un senso

Sintassi:

- studio della struttura di un linguaggio indipendentemente dal significato del materiale

linguistico (in poche parole essa controlla che le regole del linguaggio vengano

rispettate e che si scriva in maniera corretta)

! Alcuni esempi di combinazioni ben e mal formate dal punto di vista sintattico:

- Combinazioni ben formate (all'interno della lingua italiana):

1. Casa

2. Ombrello

3. Cadarevostirolsendo (per il computer questa parola ha senso, perché il susseguirsi di

queste lettere è grammaticalmente corretto in Italiano, anche se non ha alcun senso

compiuto)

4. 8 + 2 = 10

- Combinazioni mal formate (all'interno della lingua italiana):

1. Canpo

2. Prtca

3. 8*2+=4

Semantica:

- interpretazione del significato degli elementi linguistici usati nel linguaggio. I

noltre essa controlla la veridicità (o falsità) delle espressioni sintatticamente corrette e

dotate di significato.

8 + 2 = 10 [vera se intesa come scrittura di relazione tra numeri espressi in base 10]

4 – 1 > 12 [falsa se intesa come scrittura di relazione tra numeri espressi in base 10]

1+1=10[veraofalsa?]

Falsa se i numeri sono scritti nel sistema decimale

Vera se i numeri sono scritti nel sistema binario

! La decisionalità di vero o falso è strettamente legata all’universo linguistico a cui ci si

riferisce:

Lo stambecco inforcò gli occhiali e iniziò a leggere ai suoi uditori il ritrovato poema omerico

sulla genealogia degli Dei (Matematicamente non so dire se ciò sia vero o falso).

La proposizione e le sue proprietà nella logica :

Una proposizione, dal punto di vista grammaticale, indica un’espressione di un pensiero

compiuto, formata cioè almeno da un soggetto e un predicato (più eventuali complementi)

! Sono escluse le esclamazioni, le domande, gli imperativi, etc..

La logica formale si occupa di proposizioni (enunciati) che esprimono un giudizio.

Alcuni esempi di proposizioni sono:

- L’uomo è un mammifero vera, per le nostre conoscenze e il nostro sistema culturale

→

- 34 è un numero dispari falsa

→

- La rosa è il fiore più bello né vera né falsa (giudizio soggettivo)

→

Nella logica bivalente (o classica), una proposizione può essere solo o vera o falsa.

È la logica più semplice, ed è l’unica che vedremo, ma è comunque alla base di concetti

fondamentali in matematica ed informatica.

! Nel calcolo delle probabilità, più aderente alla realtà, questa dicotomia viene modificata con

un insieme infinito di valori di verità.

I principi generali della logica (classica) sono:

Principio di identità:

- una proposizione uguale a se stessa è se stessa (ed è determinata)

Principio di non contraddizione:

- una proposizione non può essere contemporaneamente sia vera sia falsa

Principio del terzo escluso:

- i valori di verità sono soltanto due, quindi una proposizione può essere solo o vera o

falsa, tertium non datur.

Dalla proposizione atomica a quella molecolare : i collegamenti.

Si definisce proposizione atomica una frase semplice, non scomponibile in più frasi.

Si definisce invece frase molecolare un' insieme di frasi atomiche, quindi una frase complessa

legata da connettori logici.

Proposizioni complesse :

- Daniele suona la tromba

P1:

- Il numero 4 è un multiplo di 5

P2:

- Oggi pomeriggio vado in giardino oppure suono il violino

P3:

- Un quadrato ha 4 angoli retti e 3 è un numero dispari

P4:

- Se oggi nevica allora domani vado a sciare

P5:

P1 e P2 sono proposizioni atomiche: non sono ulteriormente decomponibili

 P3, P4 e P5 sono proposizioni molecolari: composte cioè da due o più proposizioni

 atomiche

! valore di verità è

ATTENZIONE: solo il esaminato non il significato

La congiunzione :

La congiunzione è un’operazione che consente di far corrispondere a una coppia ordinata di

proposizioni(P1, P2) P, P1, P2

una nuova proposizione composta ottenuta collegando mediante

congiunzione e (et):

la P: P1 et P2



Tavola di verità: la preposizione composta è VERA se e soltanto se entrambe le proposizioni

singole sono VERE

Consideriamo le proposizioni atomiche:

- Il numero quattro è un numero pari

A:

- Un cubo è sempre inscrivibile in una sfera

B:

- Il triangolo ha quattro lati

C:

Quale grado di verità avranno le proposizioni composte

- P1: A et B

- P2: A et C

- P3: B et C

P1: A et B

 Risulta vera, essendo vere entrambe le proposizioni atomiche

P2: A et C

 Risulta falsa, essendo falsa la seconda delle proposizioni atomiche

P3: B et C

 Risulta falsa, essendo falsa la seconda delle proposizioni atomiche

La disgiunzione inclusiva :

La disgiunzione inclusiva è un’operazione che consente di far corrispondere a una coppia

(P1, P2) P, P1,

ordinata di proposizioni una nuova proposizione composta ottenuta collegando

P2 mediante la

disgiunzione inclusiva o (vel):

vel

P: P1 P2



Tavola di verità: la preposizione composta e VERA quando almeno una delle proposizioni

componenti e VERA

Consideriamo le proposizioni atomiche:

- Il numero quattro è un numero pari

A:

- Un cubo è sempre inscrivibile in una sfera

B:

- Il triangolo ha quattro lati

C:

Quale grado di verità avranno le proposizioni composte

vel

- P1: A B

vel

- P2: A C

vel

- P3: B C

vel

- P3: C C

vel

P1: A B

 inclusiva)

Risulta vera, essendo vere entrambe le proposizioni atomiche (da cui

vel

P2: A C

 Risulta vera, essendo vera la prima delle proposizioni atomiche

vel

P3: B C

 Risulta vera, essendo vera la prima delle proposizioni atomiche

vel

P4: C C

 Risulta falsa, essendo false entrambe le proposizioni atomiche

La disgiunzione esclusiva :

La disgiunzione esclusiva è un’operazione che consente di far corrispondere a una coppia

(P1, P2) P, P1,

ordinata di proposizioni una nuova proposizione composta ottenuta collegando

P2 mediante la

disgiunzione esclusiva o (aut..aut…):

aut aut

P: P1 P2



Tavola di verità: la preposizione composta e VERA se e soltanto se solo una delle proposizioni

componenti e VERA

Consideriamo le proposizioni atomiche:

Il numero quattro è un numero pari

- A: Il numero quattro è un numero dispari

- B: Il numero quattro è un numero primo

- C:

Quale grado di verità avranno le proposizioni composte

aut aut

- P1: A B

aut aut

- P2: A C

aut aut

- P3: B C

aut A aut

- P4: A

aut aut

P1: A B

 Risulta vera, essendo vera la prima delle proposizioni atomiche e falsa la seconda

aut aut

P2: A C

 Risulta vera, essendo vera la prima delle proposizioni atomiche e falsa la seconda

aut aut

P3: B C

 Risulta falsa, essendo false entrambe le proposizioni atomiche

aut A aut A

 P4:

Risulta falsa, essendo vere entrambe le proposizioni atomiche

La negazione : (P1)

La negazione è un’operazione unaria che fa corrispondere a una proposizione una nuova

P, P1 negazione non (non):

proposizione ottenuta negando mediante la

non

P: P1



Tavola di verità: la preposizione ottenuta e VERA se la proposizione iniziale e FALSA e viceversa

Consideriamo le proposizioni atomiche:

- Il numero quattro è un numero pari

A:

- Un cubo è sempre inscrivibile in una sfera

B:

- Il triangolo ha quattro lati

C:

Quale grado di verità avranno le proposizioni composte

- P1: non A

- P2: non B

- P3: non C

non

P1: A

 Risulta falsa, essendo vera la prima proposizione atomica

non

P2: B

 Risulta falsa, essendo vera la prima proposizione atomica

non

P3: C

 Risulta vera, essendo falsa la prima proposizione atomica

L’implicazione materiale :

L’implicazione materiale è un’operazione binaria che consente di far corrispondere a una

(P1, P2) P,

coppia ordinata di proposizioni una nuova proposizione composta ottenu