Dimostrare l'equivalenza di due proposizioni

Due proposizioni, o meglio, due espressioni logiche sono equivalenti quando assumono gli stessi valori logici al variare dei parametri che le condizionano.

Regole fondamentali usate nelle dimostrazioni

Quando si fa una dimostrazione, di un teorema, o in generale di una proposizione che si vuole far vedere essere vera, bisogna procedere seguendo delle regole ben precise, dette regole di deduzione.

Un meta esercizio: descrivere il modello ER tramite uno schema ER

Il modello ER mette a disposizione dei costrutti logici con cui rappresentare una realtà d'interesse. Per procedere alla descrizione del modello ER è necessario innanzitutto determinare quali sono questi costrutti: essi saranno poi rappresentati nel nostro schema come delle entità.

Web 2.0 ... The Machine is Us/ing Us

Esercitazione Libreoffice Base

Esercitazione Libreoffice Base 17/10/2012

Si crei un database con 3 tabelle, ciascuna con 5 colonne, tali che il database possa rappresentare un ambiente di propria scelta.

Svolgimento:

Base marziana

I marziani hanno tre dita in una mano e solo un dito nell'altra.
I marziani maschi hanno le loro tre dita sulla mano sinistra, mentre le femmine hanno le loro tre dita sulla mano destra. Ciò rende più semplice ballare il valzer.

Come gli esseri umani ed altre specie intelligenti, i Marziani hanno incominciato a contare usando le loro dita ed avendo solo quattro dita hanno sviluppato un sistema numerico posizionale in base quattro.

Esercizi sulle query in SQL

Dato il seguente schema di database: 

CREATE TABLE maternita(
madre text references persone(nome),
figlio text unique references persone(nome)
);
CREATE TABLE paternita(
padre text references persone(nome),
figlio text unique references persone(nome)
);
CREATE TABLE persone(
nome text primary key,
eta numeric,
reddito numeric
);

Scrivere in SQL le query necessarie a: