Sudoku: ancora un esercizio
|
|
- Arturo Brescia
- 8 anni fa
- Visualizzazioni
Transcript
1 Sudoku: ancora un esercizio Silvio Ranise LORIA & INRIA-Lorraine Nancy (France) 17 Gennaio 2007
2 Un esempio (sempre lo stesso)
3 Regole (sempre le stesse!) 1. in ogni cella (i, j), un solo valore da 1 a 9 2. per ogni valore k (da 1 a 9): 2.1 per ogni linea i, il valore k appare in una sola cella 2.2 per ogni colonna j, il valore k appare in una sola cella 2.3 per ogni quadrato, il valore k appare in una sola cella
4 Regole (sempre le stesse!) 1. in ogni cella (i, j), un solo valore da 1 a 9 2. per ogni valore k (da 1 a 9): 2.1 per ogni linea i, il valore k appare in una sola cella 2.2 per ogni colonna j, il valore k appare in una sola cella 2.3 per ogni quadrato, il valore k appare in una sola cella
5 Regole (sempre le stesse!) 1. in ogni cella (i, j), un solo valore da 1 a 9 2. per ogni valore k (da 1 a 9): 2.1 per ogni linea i, il valore k appare in una sola cella 2.2 per ogni colonna j, il valore k appare in una sola cella 2.3 per ogni quadrato, il valore k appare in una sola cella
6 Regole (sempre le stesse!) 1. in ogni cella (i, j), un solo valore da 1 a 9 2. per ogni valore k (da 1 a 9): 2.1 per ogni linea i, il valore k appare in una sola cella 2.2 per ogni colonna j, il valore k appare in una sola cella 2.3 per ogni quadrato, il valore k appare in una sola cella
7 Regole (sempre le stesse!) 1. in ogni cella (i, j), un solo valore da 1 a 9 2. per ogni valore k (da 1 a 9): 2.1 per ogni linea i, il valore k appare in una sola cella 2.2 per ogni colonna j, il valore k appare in una sola cella 2.3 per ogni quadrato, il valore k appare in una sola cella
8 Esercizio Trasformare il problema di risolvere il sudoku in un problema di soddisfacibilitá nella logica dei predicati del primo ordine con eguaglianza
9 Suggerimento 1 (lo stesso) Come possiamo rappresentare la tavola del gioco? Utilizzate un predicato ternario p: p(i, j, k) dove (i, j) identifica la cella della tavola e k il valore in questa memorizzato Domanda: non potremmo usare una funzione che prende la cella ovvero la coppia (i, j) e ritorna il valore k? In questo caso, il dominio di Hebrand è finito oppure no? Nel caso in cui utilizziamo il predicato ternario p, il dominio di Herbrand è finito oppure no?
10 Suggerimento 1 (lo stesso) Come possiamo rappresentare la tavola del gioco? Utilizzate un predicato ternario p: p(i, j, k) dove (i, j) identifica la cella della tavola e k il valore in questa memorizzato Domanda: non potremmo usare una funzione che prende la cella ovvero la coppia (i, j) e ritorna il valore k? In questo caso, il dominio di Hebrand è finito oppure no? Nel caso in cui utilizziamo il predicato ternario p, il dominio di Herbrand è finito oppure no?
11 Suggerimento 1 (lo stesso) Come possiamo rappresentare la tavola del gioco? Utilizzate un predicato ternario p: p(i, j, k) dove (i, j) identifica la cella della tavola e k il valore in questa memorizzato Domanda: non potremmo usare una funzione che prende la cella ovvero la coppia (i, j) e ritorna il valore k? In questo caso, il dominio di Hebrand è finito oppure no? Nel caso in cui utilizziamo il predicato ternario p, il dominio di Herbrand è finito oppure no?
12 Suggerimento 2 (variante) Come possiamo imporre la regola 1? Ovvero: in ogni cella (i, j), un solo valore da 1 a 9 Utilizzare una sola formula della logica dei predicati del primo ordine con eguaglianza: x.(x = 1 x = 2 x = 9) La formula sopra scritta fissa la cardinalità del dominio di qualsiasi struttura che la soddisfi ad essere pari a 9? Indizio: Le costanti 1, 2,..., 9 sono distinte oppure no? Bisogna aggiungere delle formule per imporre che, ad esempio, 1 sia distinto da 2?
13 Suggerimento 2 (variante) Come possiamo imporre la regola 1? Ovvero: in ogni cella (i, j), un solo valore da 1 a 9 Utilizzare una sola formula della logica dei predicati del primo ordine con eguaglianza: x.(x = 1 x = 2 x = 9) La formula sopra scritta fissa la cardinalità del dominio di qualsiasi struttura che la soddisfi ad essere pari a 9? Indizio: Le costanti 1, 2,..., 9 sono distinte oppure no? Bisogna aggiungere delle formule per imporre che, ad esempio, 1 sia distinto da 2?
14 Suggerimento 2 (variante) Come possiamo imporre la regola 1? Ovvero: in ogni cella (i, j), un solo valore da 1 a 9 Utilizzare una sola formula della logica dei predicati del primo ordine con eguaglianza: x.(x = 1 x = 2 x = 9) La formula sopra scritta fissa la cardinalità del dominio di qualsiasi struttura che la soddisfi ad essere pari a 9? Indizio: Le costanti 1, 2,..., 9 sono distinte oppure no? Bisogna aggiungere delle formule per imporre che, ad esempio, 1 sia distinto da 2?
15 Suggerimento 3 (variante) Come possiamo imporre la regola 2.1? Ovvero: per ogni valore v (da 1 a 9), per ogni linea k, il valore v appare in una sola cella Utilizzate la seguente formula (dove l ed m identificano due righe della tabella): p(k, l, v 1 ) k, l, m, v 1, v 2. p(k, m, v 2 ) = v 1 v 2 l m Nota: v 1 v 2 abbrevia (v 1 = v 2 ) Domanda: è corretto quantificare universalmente su k, l, m, v 1, v 2 senza alcuna precisazione che tale variabili devono assumere valori appartenenti all insieme {1, 2,..., 9} oppure bisognerebbe imporre delle restrizioni?
16 Suggerimento 3 (variante) Come possiamo imporre la regola 2.1? Ovvero: per ogni valore v (da 1 a 9), per ogni linea k, il valore v appare in una sola cella Utilizzate la seguente formula (dove l ed m identificano due righe della tabella): p(k, l, v 1 ) k, l, m, v 1, v 2. p(k, m, v 2 ) = v 1 v 2 l m Nota: v 1 v 2 abbrevia (v 1 = v 2 ) Domanda: è corretto quantificare universalmente su k, l, m, v 1, v 2 senza alcuna precisazione che tale variabili devono assumere valori appartenenti all insieme {1, 2,..., 9} oppure bisognerebbe imporre delle restrizioni?
17 Suggerimento 3 (variante) Come possiamo imporre la regola 2.1? Ovvero: per ogni valore v (da 1 a 9), per ogni linea k, il valore v appare in una sola cella Utilizzate la seguente formula (dove l ed m identificano due righe della tabella): p(k, l, v 1 ) k, l, m, v 1, v 2. p(k, m, v 2 ) = v 1 v 2 l m Nota: v 1 v 2 abbrevia (v 1 = v 2 ) Domanda: è corretto quantificare universalmente su k, l, m, v 1, v 2 senza alcuna precisazione che tale variabili devono assumere valori appartenenti all insieme {1, 2,..., 9} oppure bisognerebbe imporre delle restrizioni?
18 Suggerimento 4 (variante) Come possiamo imporre la regola 2.2? Ovvero: per ogni valore v (da 1 a 9), per ogni colonna k, il valore v appare in una sola cella Utilizzate la seguente formula (dove l ed m rappresentano due colonne della tabella): p(l, k, v 1 ) k, l, m, v 1, v 2. p(m, k, v 2 ) = v 1 v 2 l m
19 Suggerimento 4 (variante) Come possiamo imporre la regola 2.2? Ovvero: per ogni valore v (da 1 a 9), per ogni colonna k, il valore v appare in una sola cella Utilizzate la seguente formula (dove l ed m rappresentano due colonne della tabella): p(l, k, v 1 ) k, l, m, v 1, v 2. p(m, k, v 2 ) = v 1 v 2 l m
20 Suggerimento 5 Come possiamo imporre la regola 2.3? Ovvero: per ogni valore k (da 1 a 9), per ogni quadrato 3 3, il valore k appare in una sola cella Pensateci su un po...
21 Suggerimento 5 Come possiamo imporre la regola 2.3? Ovvero: per ogni valore k (da 1 a 9), per ogni quadrato 3 3, il valore k appare in una sola cella Pensateci su un po...
22 Suggerimento 6 (lo stesso) Come possiamo imporre che una certa cella abbia un certo valore? Per esempio per imporre che nella cella (1, 1) ci sia il valore 5, scriviamo semplicemente: p(1, 1, 5)
23 Suggerimento 6 (lo stesso) Come possiamo imporre che una certa cella abbia un certo valore? Per esempio per imporre che nella cella (1, 1) ci sia il valore 5, scriviamo semplicemente: p(1, 1, 5)
24 Suggerimento 7 (nuovo) Bisogna aggiungere qualcosa alla specifica di p? Ad esempio, vorremmo che ad ogni cella corrispondesse uno ed un solo valore e non molteplici, ovvero che il predicato p fosse funzionale nei suoi due primi argomenti. Come possiamo ottenere questo? Aggiungendo la seguente formula: ( ) p(x, y, z) x, y, z, w. = z = w p(x, y, w)
25 Suggerimento 7 (nuovo) Bisogna aggiungere qualcosa alla specifica di p? Ad esempio, vorremmo che ad ogni cella corrispondesse uno ed un solo valore e non molteplici, ovvero che il predicato p fosse funzionale nei suoi due primi argomenti. Come possiamo ottenere questo? Aggiungendo la seguente formula: ( ) p(x, y, z) x, y, z, w. = z = w p(x, y, w)
26 Suggerimento 7 (nuovo) Bisogna aggiungere qualcosa alla specifica di p? Ad esempio, vorremmo che ad ogni cella corrispondesse uno ed un solo valore e non molteplici, ovvero che il predicato p fosse funzionale nei suoi due primi argomenti. Come possiamo ottenere questo? Aggiungendo la seguente formula: ( ) p(x, y, z) x, y, z, w. = z = w p(x, y, w)
27 Suggerimento 7 (nuovo) Bisogna aggiungere altre formule a quelle scritte fino ad ora? Considerate il simbolo =...
28 Suggerimento 7 (nuovo) Bisogna aggiungere altre formule a quelle scritte fino ad ora? Considerate il simbolo =...
29 Domande 1. Qual é il problema di soddisfacibilitá nella logica dei predicati del primo ordine che corrisponde alla soluzione di un certo problema di sudoku? 2. Utilizzate il metodo di Herbrand per risolvere il problema. Ci sono delle differenze con le formule ottenute con la rappresentazione proposizionale diretta suggerita nelle trasparenze del 29/11/2006?
30 Domande 1. Qual é il problema di soddisfacibilitá nella logica dei predicati del primo ordine che corrisponde alla soluzione di un certo problema di sudoku? 2. Utilizzate il metodo di Herbrand per risolvere il problema. Ci sono delle differenze con le formule ottenute con la rappresentazione proposizionale diretta suggerita nelle trasparenze del 29/11/2006?
RISOLUTORE AUTOMATICO PER SUDOKU
RISOLUTORE AUTOMATICO PER SUDOKU Progetto Prolog - Pierluigi Tresoldi 609618 INDICE 1.STORIA DEL SUDOKU 2.REGOLE DEL GIOCO 3.PROGRAMMAZIONE CON VINCOLI 4.COMANDI DEL PROGRAMMA 5.ESEMPI 1. STORIA DEL SUDOKU
DettagliGestionalino è un Software che gestisce altri Software Specifici per risolvere le varie
Tempi & Metodi di Giorgio Andreani Servizi di Controllo e di Organizzazione dei Processi Produttivi Iscrizione al Registro delle Imprese CCIAA di Verona REA 357269 Partita Iva 03686020235 - Cod. Fisc.
Dettaglix u v(p(x, fx) q(u, v)), e poi
0.1. Skolemizzazione. Ogni enunciato F (o insieme di enunciati Γ) è equisoddisfacibile ad un enunciato universale (o insieme di enunciati universali) in un linguaggio estensione del linguaggio di F (di
DettagliSommario. Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi.
Algoritmi 1 Sommario Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi. 2 Informatica Nome Informatica=informazione+automatica. Definizione Scienza che si occupa dell
DettagliSoluzione dell esercizio del 2 Febbraio 2004
Soluzione dell esercizio del 2 Febbraio 2004 1. Casi d uso I casi d uso sono riportati in Figura 1. Figura 1: Diagramma dei casi d uso. E evidenziato un sotto caso di uso. 2. Modello concettuale Osserviamo
DettagliALTRI SUGGERIMENTI PER IL PERCORSO AD OSTACOLI
ALTRI SUGGERIMENTI PER IL PERCORSO AD OSTACOLI Con l intento di proseguire l osservazione sulle competenze che i bambini posseggono nei confronti della matematica è stata intrapresa una rivisitazione del
DettagliEsercizio per casa. Filosofia della scienza Gianluigi Bellin. October 29, 2013. 1. Si formalizzino i seguenti enunciati nel calcolo dei predicati.
Esercizio per casa. Filosofia della scienza Gianluigi Bellin October 29, 2013 1. Si formalizzino i seguenti enunciati nel calcolo dei predicati. 1.1 Condizione necessaria e sufficiente perché un corpo
DettagliLE SUCCESSIONI 1. COS E UNA SUCCESSIONE
LE SUCCESSIONI 1. COS E UNA SUCCESSIONE La sequenza costituisce un esempio di SUCCESSIONE. Ecco un altro esempio di successione: Una successione è dunque una sequenza infinita di numeri reali (ma potrebbe
DettagliLE FUNZIONI A DUE VARIABILI
Capitolo I LE FUNZIONI A DUE VARIABILI In questo primo capitolo introduciamo alcune definizioni di base delle funzioni reali a due variabili reali. Nel seguito R denoterà l insieme dei numeri reali mentre
DettagliOttimizzazione Multi Obiettivo
Ottimizzazione Multi Obiettivo 1 Ottimizzazione Multi Obiettivo I problemi affrontati fino ad ora erano caratterizzati da una unica (e ben definita) funzione obiettivo. I problemi di ottimizzazione reali
DettagliUSO DI EXCEL CLASSE PRIMAI
USO DI EXCEL CLASSE PRIMAI In queste lezioni impareremo ad usare i fogli di calcolo EXCEL per l elaborazione statistica dei dati, per esempio, di un esperienza di laboratorio. Verrà nel seguito spiegato:
DettagliEsercizio 1 Soluzione Esercizio 2 Soluzione
Esercizio 1 Si specifichi, mediante una formula del prim ordine un apparato che funziona nel modo seguente: All istante 0 esso emette un segnale s, che può essere uno 0 o un 1. Se, dopo l emissione di
DettagliFasi di creazione di un programma
Fasi di creazione di un programma 1. Studio Preliminare 2. Analisi del Sistema 6. Manutenzione e Test 3. Progettazione 5. Implementazione 4. Sviluppo 41 Sviluppo di programmi Per la costruzione di un programma
DettagliAttributi e domini. A per {A}; XY per X Y (pertanto A 1 A 2 A 3 denota
Attributi e domini Assumiamo un universo infinito numerabile U = {A 0, A 1, A 2...} di attributi. Denotiamo gli attributi con A, B, C, B 1, C 1... e gli insiemi di attributi con X, Y, Z, X 1,... per brevità
DettagliAlgebra e Logica Matematica. Calcolo delle proposizioni Logica del primo ordine
Università di Bergamo Anno accademico 2006 2007 Ingegneria Informatica Foglio Algebra e Logica Matematica Calcolo delle proposizioni Logica del primo ordine Esercizio.. Costruire le tavole di verità per
DettagliGestionalino-Base è un Software che gestisce altri Software Specifici progettati per
Tempi & Metodi di Giorgio Andreani Servizi di Controllo e di Organizzazione dei Processi Produttivi Iscrizione al Registro delle Imprese CCIAA di Verona REA 357269 Partita Iva 03686020235 - Cod. Fisc.
DettagliUNA LEZIONE SUI NUMERI PRIMI: NASCE LA RITABELLA
UNA LEZIONE SUI NUMERI PRIMI: NASCE LA RITABELLA Tutti gli anni, affrontando l argomento della divisibilità, trovavo utile far lavorare gli alunni sul Crivello di Eratostene. Presentavo ai ragazzi una
Dettaglimacchine sono di tre tipi: quelle per i cibi, quelle per le bevande fredde e quelle per le bevande calde. Per
Specifica iniziale Passo 1: identifichiamo frasi che descrivono concetti autonomi Concetti autonomi: macchina, prodotto, cliente Passo 2: identifichiamo frasi che correlano concetti autonomi Passo 3: eliminiamo
DettagliCapitolo 13: L offerta dell impresa e il surplus del produttore
Capitolo 13: L offerta dell impresa e il surplus del produttore 13.1: Introduzione L analisi dei due capitoli precedenti ha fornito tutti i concetti necessari per affrontare l argomento di questo capitolo:
DettagliEquilibrio bayesiano perfetto. Giochi di segnalazione
Equilibrio bayesiano perfetto. Giochi di segnalazione Appunti a cura di Stefano Moretti, Silvia VILLA e Fioravante PATRONE versione del 26 maggio 2006 Indice 1 Equilibrio bayesiano perfetto 2 2 Giochi
DettagliPULSANTI E PAGINE Sommario PULSANTI E PAGINE...1
Pagina 1 Sommario...1 Apertura...2 Visualizzazioni...2 Elenco...2 Testo sul pulsante e altre informazioni...3 Comandi...3 Informazioni...4 Flow chart...5 Comandi...6 Pulsanti Principali e Pulsanti Dipendenti...6
DettagliFUNZIONI ELEMENTARI - ESERCIZI SVOLTI
FUNZIONI ELEMENTARI - ESERCIZI SVOLTI 1) Determinare il dominio delle seguenti funzioni di variabile reale: (a) f(x) = x 4 (c) f(x) = 4 x x + (b) f(x) = log( x + x) (d) f(x) = 1 4 x 5 x + 6 ) Data la funzione
DettagliCalcolo del Valore Attuale Netto (VAN)
Calcolo del Valore Attuale Netto (VAN) Il calcolo del valore attuale netto (VAN) serve per determinare la redditività di un investimento. Si tratta di utilizzare un procedimento che può consentirci di
DettagliProbabilità discreta
Probabilità discreta Daniele A. Gewurz 1 Che probabilità c è che succeda...? Una delle applicazioni della combinatoria è nel calcolo di probabilità discrete. Quando abbiamo a che fare con un fenomeno che
DettagliCosa è un foglio elettronico
Cosa è un foglio elettronico Versione informatica del foglio contabile Strumento per l elaborazione di numeri (ma non solo...) I valori inseriti possono essere modificati, analizzati, elaborati, ripetuti
DettagliCORSO DI CALCOLO DELLE PROBABILITÀ E STATISTICA. Esercizi su eventi, previsioni e probabilità condizionate
CORSO DI CALCOLO DELLE PROBABILITÀ E STATISTICA Esercizi su eventi, previsioni e probabilità condizionate Nota: Alcuni esercizi sono tradotti, più o meno fedelmente, dal libro A first course in probability
DettagliLEZIONE 23. Esempio 23.1.3. Si consideri la matrice (si veda l Esempio 22.2.5) A = 1 2 2 3 3 0
LEZIONE 23 231 Diagonalizzazione di matrici Abbiamo visto nella precedente lezione che, in generale, non è immediato che, data una matrice A k n,n con k = R, C, esista sempre una base costituita da suoi
DettagliLe equazioni. Diapositive riassemblate e rielaborate da prof. Antonio Manca da materiali offerti dalla rete.
Le equazioni Diapositive riassemblate e rielaborate da prof. Antonio Manca da materiali offerti dalla rete. Definizione e caratteristiche Chiamiamo equazione l uguaglianza tra due espressioni algebriche,
DettagliAPPLICAZIONI LINEARI
APPLICAZIONI LINEARI 1. Esercizi Esercizio 1. Date le seguenti applicazioni lineari (1) f : R 2 R 3 definita da f(x, y) = (x 2y, x + y, x + y); (2) g : R 3 R 2 definita da g(x, y, z) = (x + y, x y); (3)
DettagliAPPUNTI SU PROBLEMI CON CALCOLO PERCENTUALE
APPUNTI SU PROBLEMI CON CALCOLO PERCENTUALE 1. Proporzionalità diretta e proporzionalità inversa Analizziamo le seguenti formule Peso Lordo = Peso Netto + Tara Ricavo = Utile + Costo Rata = Importo + Interesse
DettagliOrganizzazione degli archivi
COSA E UN DATA-BASE (DB)? è l insieme di dati relativo ad un sistema informativo COSA CARATTERIZZA UN DB? la struttura dei dati le relazioni fra i dati I REQUISITI DI UN DB SONO: la ridondanza minima i
DettagliPredicati e Quantificatori
Predicati e Quantificatori Limitazioni della logica proposizionale! Logica proposizionale: il mondo è descritto attraverso proposizioni elementari e loro combinazioni logiche! I singoli oggetti cui si
DettagliUn gioco con tre dadi
Un gioco con tre dadi Livello scolare: biennio Abilità interessate Costruire lo spazio degli eventi in casi semplici e determinarne la cardinalità. Valutare la probabilità in diversi contesti problematici.
DettagliLezione 8. La macchina universale
Lezione 8 Algoritmi La macchina universale Un elaboratore o computer è una macchina digitale, elettronica, automatica capace di effettuare trasformazioni o elaborazioni su i dati digitale= l informazione
DettagliESERCIZI DI MATEMATICA FINANZIARIA DIPARTIMENTO DI ECONOMIA E MANAGEMENT UNIFE A.A. 2015/2016. 1. Esercizi 4
ESERCIZI DI MATEMATICA FINANZIARIA DIPARTIMENTO DI ECONOMIA E MANAGEMENT UNIFE A.A. 2015/2016 1. Esercizi 4 Piani di ammortamento Esercizio 1. Un debito di 1000e viene rimborsato a tasso annuo i = 10%
DettagliMETODI per effettuare previsioni con analisi di tipo WHAT-IF
METODI per effettuare previsioni con analisi di tipo WHAT-IF 1. TABELLA DATI Una tabella di dati è un intervallo che mostra come la modifica di alcuni valori nelle formule ne influenza i risultati. Le
DettagliAmministrazione gruppi (Comunità)
Amministrazione gruppi (Comunità) Guida breve per il docente che amministra il gruppo Premessa Di regola i gruppi sono creati all interno della Scuola. Nel caso in cui vi fosse la necessità di aprire un
DettagliSPECIFICHE E LIMITI DI EXCEL
SPECIFICHE E LIMITI DI EXCEL Un "FOGLIO DI CALCOLO" è un oggetto di un programma per computer costituito da un insieme di celle, organizzate in righe e colonne, atte a memorizzare dati ed effettuare operazioni
DettagliDatabase. Si ringrazia Marco Bertini per le slides
Database Si ringrazia Marco Bertini per le slides Obiettivo Concetti base dati e informazioni cos è un database terminologia Modelli organizzativi flat file database relazionali Principi e linee guida
DettagliAnno 3. Classificazione delle funzioni
nno 3 Classificazione delle funzioni 1 Introduzione In questa lezione affronteremo lo studio delle principali proprietà delle funzioni, imparando a classificarle e a compiere alcune operazioni su esse.
DettagliFunzioni. Funzioni /2
Funzioni Una funzione f è una corrispondenza tra due insiemi A e B che a ciascun elemento di A associa un unico elemento di B. Si scrive: f : A B l'insieme A si chiama il dominio della funzione f, l'insieme
DettagliGestione della memoria centrale
Gestione della memoria centrale Un programma per essere eseguito deve risiedere in memoria principale e lo stesso vale per i dati su cui esso opera In un sistema multitasking molti processi vengono eseguiti
DettagliModello Relazionale dei DBMS - Vincoli Tradizionalmente, esistono quattro modelli logici: Gerarchico Reticolare Relazionale A oggetti XML I modelli
Modello Relazionale dei DBMS - Vincoli Tradizionalmente, esistono quattro modelli logici: Gerarchico Reticolare Relazionale A oggetti XML I modelli gerarchico e reticolare sono più vicini alle strutture
DettagliLinguaggi del I ordine - semantica. Per dare significato ad una formula del I ordine bisogna specificare
Linguaggi del I ordine - semantica Per dare significato ad una formula del I ordine bisogna specificare Un dominio Un interpretazione Un assegnamento 1 Linguaggi del I ordine - semantica (ctnd.1) Un modello
DettagliAmministrazione gruppi (all interno della Scuola)
Amministrazione gruppi (all interno della Scuola) Guida breve per il docente che amministra il gruppo Premessa Il gruppo viene creato solo dall amministratore della Scuola. Il docente che è stato inserito
DettagliIl confronto fra proporzioni
L. Boni Il rapporto Un rapporto (ratio), attribuendo un ampio significato al termine, è il risultato della divisione di una certa quantità a per un altra quantità b Il rapporto Spesso, in maniera più specifica,
Dettagli(anno accademico 2008-09)
Calcolo relazionale Prof Alberto Belussi Prof. Alberto Belussi (anno accademico 2008-09) Calcolo relazionale E un linguaggio di interrogazione o e dichiarativo: at specifica le proprietà del risultato
DettagliEsercizi di Macroeconomia per il corso di Economia Politica
Esercizi di Macroeconomia per il corso di Economia Politica (Gli esercizi sono suddivisi in base ai capitoli del testo di De Vincenti) CAPITOLO 3. IL MERCATO DEI BENI NEL MODELLO REDDITO-SPESA Esercizio.
DettagliScheda operativa Versione rif. 13.01.3c00. Libro Inventari
1 Inventario... 2 Prepara tabelle Inventario... 2 Gestione Inventario... 3 Tabella esistente... 3 Nuova tabella... 4 Stampa Inventario... 8 Procedure collegate... 11 Anagrafiche Archivi ditta Progressivi
DettagliElementi di Psicometria con Laboratorio di SPSS 1
Elementi di Psicometria con Laboratorio di SPSS 1 12-Il t-test per campioni appaiati vers. 1.2 (7 novembre 2014) Germano Rossi 1 germano.rossi@unimib.it 1 Dipartimento di Psicologia, Università di Milano-Bicocca
DettagliAppunti sulla Macchina di Turing. Macchina di Turing
Macchina di Turing Una macchina di Turing è costituita dai seguenti elementi (vedi fig. 1): a) una unità di memoria, detta memoria esterna, consistente in un nastro illimitato in entrambi i sensi e suddiviso
DettagliLinguaggi. Claudio Sacerdoti Coen 11/04/2011. 18: Semantica della logica del prim ordine. <sacerdot@cs.unibo.it> Universitá di Bologna
Linguaggi 18: Semantica della logica del prim ordine Universitá di Bologna 11/04/2011 Outline Semantica della logica del prim ordine 1 Semantica della logica del prim ordine Semantica
DettagliAnno 3. Funzioni: dominio, codominio e campo di esistenza
Anno 3 Funzioni: dominio, codominio e campo di esistenza 1 Introduzione In questa lezione parleremo delle funzioni. Ne daremo una definizione e impareremo a studiarne il dominio in relazione alle diverse
DettagliCONTINUITÀ E DERIVABILITÀ Esercizi risolti
CONTINUITÀ E DERIVABILITÀ Esercizi risolti. Determinare kπ/ [cos] al variare di k in Z. Ove tale ite non esista, discutere l esistenza dei iti laterali. Identificare i punti di discontinuità della funzione
DettagliProf.ssa Paola Vicard
Questa nota consiste perlopiù nella traduzione (con alcune integrazioni) da Descriptive statistics di J. Shalliker e C. Ricketts, 2000, University of Plymouth Consideriamo i dati nel file esercizio10_dati.xls.
DettagliCapitolo 13. Interrogare una base di dati
Capitolo 13 Interrogare una base di dati Il database fisico La ridondanza è una cosa molto, molto, molto brutta Non si devono mai replicare informazioni scrivendole in più posti diversi nel database Per
DettagliFunzioni. Il concetto di funzione nasce da quello di corrispondenza fra grandezze. Tale corrispondenza può essere data in svariati modi:
Funzioni Il concetto di funzione nasce da quello di corrispondenza fra grandezze. Tale corrispondenza può essere data in svariati modi: da un rilevamento empirico da una formula (legge) ESEMPI: 1. la temperatura
DettagliInformatica (Basi di Dati)
Corso di Laurea in Biotecnologie Informatica (Basi di Dati) Modello Entità-Relazione Anno Accademico 2009/2010 Da: Atzeni, Ceri, Paraboschi, Torlone - Basi di Dati Lucidi del Corso di Basi di Dati 1, Prof.
DettagliECDL - Database. European Computer Driving Licence - Modulo 5 - Database LEZIONE 2
ECDL - Database European Computer Driving Licence - Modulo 5 - Database LEZIONE 2 Ripasso Introduzione - Ripasso Cosa si intende per dbms? e cosa per database? Quali sono gli elementi che lo compongono?
DettagliBasi di dati 9 febbraio 2010 Compito A
Basi di dati 9 febbraio 2010 Compito A Domanda 0 (5%) Leggere e rispettare le seguenti regole: Scrivere nome, cognome, matricola (se nota), corso di studio e lettera del compito (ad esempio, A) sui fogli
DettagliALCUNE REGOLE DI SCRITTURA E STRUTTURAZIONE PER MIGLIORARE LA QUALITA DEL DATO
ALCUNE REGOLE DI SCRITTURA E STRUTTURAZIONE PER MIGLIORARE LA QUALITA DEL DATO BOZZA LUGLIO 2014 Pagina di riferimento: http://www.innovazione.provincia.tn.it/contenuti.php?t=opendata_tab&id=19 DATA Il
DettagliMathematical logic 1 st assessment Propositional Logic 23 October 2014
Name ID. 1 Mathematical logic 1 st assessment Propositional Logic 23 October 2014 Instructions Rispondete in Italiano utilizzando una penna ad inchiostro (no matite) a meno che le domande non vi diano
DettagliMODELLO RELAZIONALE. Introduzione
MODELLO RELAZIONALE Introduzione E' stato proposto agli inizi degli anni 70 da Codd finalizzato alla realizzazione dell indipendenza dei dati, unisce concetti derivati dalla teoria degli insiemi (relazioni)
Dettaglisumere, come peraltro confermato dalla giurisprudenza, che:
114 sumere, come peraltro confermato dalla giurisprudenza, che: Dottrina «sarebbe valida un accettazione beneficiata senza successivo inventario, che potrebbe essere formato dal minore entro un anno dalla
DettagliAmministrazione classi
Amministrazione classi Guida breve per il docente che amministra la classe Premessa Le classi vengono creata solo dall amministratore della Scuola. Il docente che è stato inserito nella classe come moderatore
DettagliProgetto di Reti di Telecomunicazione Modelli in Programmazione Lineare Problemi di flusso
Progetto di Reti di Telecomunicazione Modelli in Programmazione Lineare Problemi di flusso Flusso di costo minimo È dato un grafo direzionato G = (N, A). Ad ogni arco (i, j) A è associato il costo c ij
DettagliIl Modello Relazionale
Il Modello Relazionale Il modello relazionale 1 Il modello relazionale Proposto da E. F. Codd nel 1970 per favorire l indipendenza dei dati e reso disponibile come modello logico in DBMS reali nel 1981
Dettagli1 Giochi a due, con informazione perfetta e somma zero
1 Giochi a due, con informazione perfetta e somma zero Nel gioco del Nim, se semplificato all estremo, ci sono due giocatori I, II e una pila di 6 pedine identiche In ogni turno di gioco I rimuove una
DettagliIntroduzione alla teoria dei database relazionali. Come progettare un database
Introduzione alla teoria dei database relazionali Come progettare un database La struttura delle relazioni Dopo la prima fase di individuazione concettuale delle entità e degli attributi è necessario passare
DettagliEsercizio 1 Dato il gioco ({1, 2, 3}, v) con v funzione caratteristica tale che:
Teoria dei Giochi, Trento, 2004/05 c Fioravante Patrone 1 Teoria dei Giochi Corso di laurea specialistica: Decisioni economiche, impresa e responsabilità sociale, A.A. 2004/05 Soluzioni degli esercizi
DettagliL apposizione di firme e informazioni su documenti firmati
L apposizione di firme e informazioni su documenti firmati Il presente documento si pone l obiettivo di chiarire alcuni aspetti generali dei formati di firma CAdES (file con estensione p7m) e PAdES (file
DettagliT = Da questa relazione si può ricavare quella inversa con cui si ottiene il tempo impiegato a percorrere un determinato spazio: S
Logica Numerica Approfondimento 2 E. Barbuto pazio, Tempo e Velocità I quesiti sulle distanze mettono alla prova il senso pratico e l acume logico del candidato ed, in generale, non riciedono un grande
DettagliMetodi e Modelli Matematici di Probabilità per la Gestione
Metodi e Modelli Matematici di Probabilità per la Gestione Prova scritta del 1/6/06 Esercizio 1 Un sarto impiega un tempo aleatorio esponenziale a completare i suoi lavori. Mediamente gli servono 10 ore
DettagliProof. Dimostrazione per assurdo. Consideriamo l insieme complementare di P nell insieme
G Pareschi Principio di induzione Il Principio di Induzione (che dovreste anche avere incontrato nel Corso di Analisi I) consente di dimostrare Proposizioni il cui enunciato è in funzione di un numero
DettagliRicorsione in SQL-99. Introduzione. Idea di base
Ricorsione in SQL-99 Introduzione In SQL2 non è possibile definire interrogazioni che facciano uso della ricorsione Esempio Voli(lineaAerea, da, a, parte, arriva) non è possibile esprimere l interrogazione
Dettagli1 Applicazioni Lineari tra Spazi Vettoriali
1 Applicazioni Lineari tra Spazi Vettoriali Definizione 1 (Applicazioni lineari) Si chiama applicazione lineare una applicazione tra uno spazio vettoriale ed uno spazio vettoriale sul campo tale che "!$%!
DettagliIl Gestionale: Gestionalino-Magazzino
Tempi & Metodi di Giorgio Andreani Servizi di Controllo e di Organizzazione dei Processi Produttivi Iscrizione al Registro delle Imprese CCIAA di Verona REA 357269 Partita Iva 03686020235 - Cod. Fisc.
DettagliDescrizione attività
Descrizione attività Associazione complessa Nelle attività di associazione complessa le celle possono essere in quantità differente nelle due griglie per stabilire vari tipi di corrispondenza: biunivoca,
DettagliCorrispondenze e funzioni
Corrispondenze e funzioni L attività fondamentale della mente umana consiste nello stabilire corrispondenze e relazioni tra oggetti; è anche per questo motivo che il concetto di corrispondenza è uno dei
DettagliRicerca Operativa Esercizi sul metodo del simplesso. Luigi De Giovanni, Laura Brentegani
Ricerca Operativa Esercizi sul metodo del simplesso Luigi De Giovanni, Laura Brentegani 1 1) Risolvere il seguente problema di programmazione lineare. ma + + 3 s.t. 2 + + 2 + 2 + 3 5 2 + 2 + 6,, 0 Soluzione.
DettagliLezione 9: Cambio di base
Lezione 9: Cambio di base In questa lezione vogliamo affrontare uno degli argomenti piu ostici per lo studente e cioè il cambio di base all interno di uno spazio vettoriale, inoltre cercheremo di capire
DettagliWEB MARKETING. Indicizzazione nei motori di ricerca. SCHEDA PRODOTTO Versione 1.1
WEB MARKETING nei motori di ricerca SCHEDA PRODOTTO Versione 1.1 1 1. INTRODUZIONE I motori di ricerca sono la funzione più utilizzata sul web e sono secondi solo alla posta elettronica nella lista delle
DettagliDATABASE. nozioni di base
DATABASE nozioni di base Un database è una raccolta di informazioni organizzata in modo da poter essere facilmente accessibile per consultazione, modifiche e aggiornamenti. All'inizio della storia dei
DettagliModuli (schede compilabili) in Word Esempio: scheda di alimentazione per un degente
Moduli (schede compilabili) in Word Esempio: scheda di alimentazione per un degente Vediamo come utilizzare Word per costruire un modulo compilabile, ovvero una scheda che contenga delle parti fisse di
DettagliConvertitori numerici in Excel
ISTITUTO DI ISTRUZIONE SUPERIORE G. M. ANGIOY CARBONIA Convertitori numerici in Excel Prof. G. Ciaschetti Come attività di laboratorio, vogliamo realizzare dei convertitori numerici con Microsoft Excel
DettagliAlgoritmi e Strutture Dati II: Parte B Anno Accademico 2004-2005. Lezione 11
Algoritmi e Strutture Dati II: Parte B Anno Accademico 2004-2005 Docente: Ugo Vaccaro Lezione 11 In questa lezione vedremo alcune applicazioni della tecnica greedy al progetto di algoritmi on-line. Vediamo
DettagliMetodi Stocastici per la Finanza
Metodi Stocastici per la Finanza Tiziano Vargiolu vargiolu@math.unipd.it 1 1 Università degli Studi di Padova Anno Accademico 2011-2012 Lezione 6 Indice 1 Il metodo bootstrap 2 Esercitazione 3 Interpolazione
Dettagli9. Urti e conservazione della quantità di moto.
9. Urti e conservazione della quantità di moto. 1 Conservazione dell impulso m1 v1 v2 m2 Prima Consideriamo due punti materiali di massa m 1 e m 2 che si muovono in una dimensione. Supponiamo che i due
DettagliGUIDA RAPIDA PER LA COMPILAZIONE DELLA SCHEDA CCNL GUIDA RAPIDA PER LA COMPILAZIONE DELLA SCHEDA CCNL
GUIDA RAPIDA BOZZA 23/07/2008 INDICE 1. PERCHÉ UNA NUOVA VERSIONE DEI MODULI DI RACCOLTA DATI... 3 2. INDICAZIONI GENERALI... 4 2.1. Non modificare la struttura dei fogli di lavoro... 4 2.2. Cosa significano
DettagliProblema del trasporto
p. 1/1 Problema del trasporto Supponiamo di avere m depositi in cui è immagazzinato un prodotto e n negozi che richiedono tale prodotto. Nel deposito i è immagazzinata la quantità a i di prodotto. Nel
DettagliAutomazione Industriale (scheduling+mms) scheduling+mms. adacher@dia.uniroma3.it
Automazione Industriale (scheduling+mms) scheduling+mms adacher@dia.uniroma3.it Introduzione Sistemi e Modelli Lo studio e l analisi di sistemi tramite una rappresentazione astratta o una sua formalizzazione
DettagliG. Zaltman Domande di qualità producono risposte di qualità Capitolo dodici. Andrea Farinet
G. Zaltman Domande di qualità producono risposte di qualità Capitolo dodici Andrea Farinet 12. L importanza delle domande La maggiore parte dei manager si focalizza di più sulle risposte che sulle domande.
DettagliBasi di Dati e Sistemi Informativi. Progettazione logica: Il modello relazionale
Basi di Dati e Sistemi Informativi Progettazione logica: Il modello relazionale Corso di Laurea in Ing. Informatica Ing. Gestionale Magistrale Introduzione Basato sul lavoro di Codd (~1970) E attualmente
DettagliParte 6. Applicazioni lineari
Parte 6 Applicazioni lineari A Savo Appunti del Corso di Geometria 203-4 Indice delle sezioni Applicazioni fra insiemi, 2 Applicazioni lineari tra spazi vettoriali, 2 3 Applicazioni lineari da R n a R
DettagliFogli Elettronici: MS Excel
Fogli Elettronici: MS Excel Informatica - A.A. 2010/2011 - Excel 7.0 Foglio Elettronico Un foglio elettronico (o spreadsheet) è un software applicativo nato dall esigenza di: organizzare insiemi di dati
DettagliEQUAZIONI DIFFERENZIALI Esercizi svolti. y = xy. y(2) = 1.
EQUAZIONI DIFFERENZIALI Esercizi svolti 1. Determinare la soluzione dell equazione differenziale (x 2 + 1)y + y 2 =. y + x tan y = 2. Risolvere il problema di Cauchy y() = 1 2 π. 3. Risolvere il problema
DettagliPer visualizzare e immettere i dati in una tabella è possibile utilizzare le maschere;
Maschere e Query Le Maschere (1/2) Per visualizzare e immettere i dati in una tabella è possibile utilizzare le maschere; Le maschere sono simili a moduli cartacei: ad ogni campo corrisponde un etichetta
DettagliIniziamo con un esercizio sul massimo comun divisore: Esercizio 1. Sia d = G.C.D.(a, b), allora:
Iniziamo con un esercizio sul massimo comun divisore: Esercizio 1. Sia d = G.C.D.(a, b), allora: G.C.D.( a d, b d ) = 1 Sono state introdotte a lezione due definizioni importanti che ricordiamo: Definizione
DettagliStatistica e biometria. D. Bertacchi. Variabili aleatorie. V.a. discrete e continue. La densità di una v.a. discreta. Esempi.
Iniziamo con definizione (capiremo fra poco la sua utilità): DEFINIZIONE DI VARIABILE ALEATORIA Una variabile aleatoria (in breve v.a.) X è funzione che ha come dominio Ω e come codominio R. In formule:
DettagliConcetto di Funzione e Procedura METODI in Java
Fondamenti di Informatica Concetto di Funzione e Procedura METODI in Java Fondamenti di Informatica - D. Talia - UNICAL 1 Metodi e Sottoprogrammi Mentre in Java tramite le classi e gli oggetti è possibile
Dettagli