S::= Aa bb bc A::= 1B 0 B::= 0A 1 C::= Cc d Si scriva un riconoscitore in Prolog del linguaggio generato da G. Suggerimento: si elimini la ricorsione

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "S::= Aa bb bc A::= 1B 0 B::= 0A 1 C::= Cc d Si scriva un riconoscitore in Prolog del linguaggio generato da G. Suggerimento: si elimini la ricorsione"

Transcript

1 COMPITO DI LINGUAGGI SIMBOLICI DOCENTE MICHELA MILANO - 11 GENNAIO 2001 Esercizio 1 Si scriva un metaprogramma Prolog che lavori su un programma Prolog P ricevendo in ingresso da utente una lista La di atomi. Il metaprogramma deve produrre una lista LL con lo stesso numero di elementi di La. Ogni elemento ElL di LL corrisponde a un elemento ElLa in La e in particolare è la lista di tutte le teste delle clausole del programma P che hanno lo stesso simbolo predicativo dell atomo ElLa e lo stesso numero di parametri (non devono necessariamente unificare). Al termine della creazione di LL, si scriva una procedura che appiattisca la lista LL in una lista semplice LL1 senza ripetizioni. Esempio: dato il programma P p(a,b):- q(a), r(b). p(3,b). p(4,b). q(5). r(6). E la query: :- meta([p(2,t), r(7), p(x,t)], LL, LL1). Il primo elemento della lista LL contiene [p(a,b), p(3,b), p(4,b)] (si noti che tranne la prima le altre teste delle clausole non unificano con quella definita dall utente p(2,t). Il secondo elemento contiene [r(6)], il terzo [p(a,b), p(3,b), p(4,b)] è uguale al primo Quindi LL = [[p(a,b),p(3,b),p(4,b)],[r(6)],[p(a,b),p(3,b),p(4,b)]] e LL1 = [r(6), p(a,b), p(3,b), p(4,b)] Esercizio 2 Data la grammatica G con scopo S e simboli terminali {a,b,c,d,0,1} S::= Aa bb bc A::= 1B 0 B::= 0A 1 C::= Cc d Si scriva un riconoscitore in Prolog del linguaggio generato da G. Suggerimento: si elimini la ricorsione a sinistra per non entrare in un ciclo infinito Esercizio 3 vincoli([x,y,z,k]):- X::[1..15], Y::[4..23], Z::[7..15], K::[11..19], X > Y, Y = Z, Z K, Y > K, labelling([x,y,z,k). Si descriva il comportamento di un risolutore di vincoli CLP(FD) durante l esecuzione di questo programma fino alla prima soluzione specificando le modifiche del constraint store ad ogni passo

2 Esercizio 4 Dato il programma Prolog: s(0). s(s(x)) :- s(x). p(0). Si rappresenti l'albero di derivazione SLDNF relativo alla query: :- s(y), not(p(y)),!. Esercizio 5 (punti 3) Supponendo di avere un programma Prolog con un unico fatto: p([a,b,c],[a,b,c],[b,c]). Si scrivano i risultati delle seguenti query con relative unificazioni: :- p([x],[x T], T). :- p(x,[x T],T). :- p(a,[x T],T).

3 Esercizio 1 COMPITO DI LINGUAGGI SIMBOLICI DOCENTE MICHELA MILANO 11 GENNAIO 2001 Soluzione meta(la,ll,ll1) :- meta1(la,ll), appiattisci(ll,ll1). % meta(la,ll) meta1([],[]). meta1([ella TLa],[ElLL TLL]) :- % Costruisco un template dell'atomo ElLa functor(ella,funtore,arita), functor(template,funtore,arita), % Trovo la lista delle clausole che unificano col template findall(template,clause(template,_),elll), % Chiamata ricorsiva meta1(tla,tll). appiattisci([],[]). appiattisci([h T],LL1) :- app(h,t,ha), appiattisci(t,ta), append(ha,ta,ll1). app([],_,[]). % Se l'elemento appartiene ad una delle liste che sono in LL % allora non lo riporto nella lista appiattita app([h T],LL,LL1) :- member(lista,ll), member_no_unif(h,lista),!, app(t,ll,ll1). app([h T],LL,[H TLL1]) :- app(t,ll,tll1). % member_no_unif(x,l) % Verifica che l elemento X appartenga alla lista L % ma non effettua l unificazione member_no_unif(x,[x1 _]) :- unifiable(x=x1). member_no_unif(x,[_ T]) :- member_no_unif(x,t). unifiable(x,_) :- var(x),!. unifiable(_,y) :- var(y),!. unifiable([],[]) :-!. unifiable([hx Tx],[Hy Ty]) :-!, unifiable(hx,hy), unifiable(tx,ty). unifiable(x,y) :- X =.. [F Ax], Y=.. [F Ay], unifiable(ax,ay).

4 Esercizio 2 La grammatica è di tipo 2 (libera dal contesto). Eliminiamo la ricorsione a sinistra: S::= Aa bb bc A::= 1B 0 B::= 0A 1 C ::= dc' C'::= cc' C'::= ε Un riconoscitore è quindi: s(lin,lout) :- a(lin,[a Lout]). s([b Lin],Lout) :- b(lin,lout). s([b Lin],Lout) :- c(lin,lout). a([1 Lin],Lout) :- b(lin,lout). a([0 L],L). b([0 Lin],Lout) :- a(lin,lout). b([1 L],L). c([d Lin],Lout) :- c1(lin,lout). c1([c Lin],Lout) :- c1(lin,lout). c1(l,l). Esercizio 3 1. Definizione delle variabili e dei domini: X::[1..15], Y::[4..23], Z::[7..15], K::[11..19] 2. X > Y vengono tolti dai domini di X ed Y gli elementi inconsistenti col vincolo X::[5..15], Y::[4..14] 3. Y=Z Intersezione dei domini di Y e Z: Y::[7..14] Z::[7..14] Sono stati eliminati elementi dal dominio di Y, quindi viene risvegliato il vincolo X>Y X::[8..15], Y::[7..14] 3. Z K Il vincolo non può eliminare valori e viene sospeso

5 4. Y > K Y::[12..14] K::[11..13] Si attivano i vincoli su Y X>Y: X::[13..15], Y::[12..14] Y=Z: Y::[12..14], Z::[12..14] 5. labeling: X=13 si attivano i vincoli su X X>Y: X=13 Y=12 Il vincolo è soddisfatto ed esce dal constraint store si attivano i vincoli su Y: Y=Z: Z=12 Il vincolo è soddisfatto ed esce dal constraint store Y>K: K=11 Il vincolo è soddisfatto ed esce dal constraint store Esercizio 4 s(y), not(p(y)),! Y/0 Y/s(X) not(p(0)),! s(x), not(p(s(x))),! X/0 p(0) not(p(s(0))),! true p(s(0)) fail fail true

6 Esercizio 5 (punti 3) :- p([x],[x T], T). No. (Infatti [X] unifica solo con liste di un solo elemento) :- p(x,[x T],T). No. (Infatti X dovrebbe unificare contemporaneamente con [a,b,c] e con a) :- p(a,[x T],T). Yes, A/[a,b,c], X/a, T/[b,c]

Basi di dati. Una visione d insieme. Classificazione. Linguaggi di interrogazione. Algebra relazionale. selezione σ

Basi di dati. Una visione d insieme. Classificazione. Linguaggi di interrogazione. Algebra relazionale. selezione σ a linguaggi formali Classificazione Basi di dati Linguaggi di interrogazione Docente: tefano Paraboschi parabosc@elet.polimi.it Algebra relazionale Calcolo relazionale Programmazione logica b linguaggi

Dettagli

(anno accademico 2008-09)

(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

Dettagli

NORMALIZZAZIONE DI SCHEMI RELAZIONALI. Prof.ssa Rosalba Giugno

NORMALIZZAZIONE DI SCHEMI RELAZIONALI. Prof.ssa Rosalba Giugno NORMALIZZAZIONE DI SCHEMI RELAZIONALI Prof.ssa Rosalba Giugno PROBLEMA GENERALE La progettazione concettuale e logica produce uno schema relazionale che rappresenta la realta dei dati nella nostra applicazione.

Dettagli

La programmazione con vincoli in breve. La programmazione con vincoli in breve

La programmazione con vincoli in breve. La programmazione con vincoli in breve Obbiettivi Introdurre la nozione di equivalenza di CSP. Dare una introduzione intuitiva dei metodi generali per la programmazione con vincoli. Introdurre il framework di base per la programmazione con

Dettagli

Logica del primo ordine

Logica del primo ordine Logica del primo ordine Sistema formale sviluppato in ambito matematico formalizzazione delle leggi del pensiero strette relazioni con studi filosofici In ambito Intelligenza Artificiale logica come linguaggio

Dettagli

FONDAMENTI DI INTELLIGENZA ARTIFICIALE 1 parte (6 CFU) 12 Luglio 2012 Tempo a disposizione: 2 h Risultato: 32/32 punti

FONDAMENTI DI INTELLIGENZA ARTIFICIALE 1 parte (6 CFU) 12 Luglio 2012 Tempo a disposizione: 2 h Risultato: 32/32 punti FONDAMENTI DI INTELLIGENZA ARTIFICIALE 1 parte (6 CFU) 12 Luglio 2012 Tempo a disposizione: 2 h Risultato: 32/32 punti Esercizio 1 (7 punti) Si formalizzi in logica dei predicati del primo ordine la seguente

Dettagli

TERMINI, OPERATORI e METALIVELLO

TERMINI, OPERATORI e METALIVELLO TERMINI, OPERATORI e METALIVELLO In Prolog tutto è un termine: variabile, costante (numerica o atomica), struttura (lista come caso particolare con funtore. ) Ciascun termine struttura ha un funtore e

Dettagli

Esercitazioni (a cura di R. Basili)

Esercitazioni (a cura di R. Basili) Esercitazioni (a cura di R. Basili) E1. Elementi di Algebra Insiemi Nozione intuitiva di insieme L'insieme vuoto Operazioni tra insiemi Domini Prodotto Cartesiano Proprieta' delle operazioni tra insiemi

Dettagli

CALCOLO COMBIN I A N T A O T RIO

CALCOLO COMBIN I A N T A O T RIO CALCOLO COMBINATORIO Disposizioni Si dicono disposizioni di N elementi di classe k tutti quei gruppi che si possono formare prendendo ogni volta k degli N elementi e cambiando ogni volta un elemento o

Dettagli

Teoria degli insiemi

Teoria degli insiemi Teoria degli insiemi pag 1 Easy Matematica di dolfo Scimone Teoria degli insiemi Il concetto di insieme si assume come primitivo, cioè non riconducibile a concetti precedentemente definiti. Sinonimi di

Dettagli

Indice generale. Modulo 1 Algebra 2

Indice generale. Modulo 1 Algebra 2 Indice generale Modulo 1 Algebra 2 Capitolo 1 Scomposizione in fattori. Equazioni di grado superiore al primo 1.1 La scomposizione in fattori 2 1.2 Raccoglimento a fattor comune 3 1.3 Raccoglimenti successivi

Dettagli

Esercizi di Algebra Lineare. Claretta Carrara

Esercizi di Algebra Lineare. Claretta Carrara Esercizi di Algebra Lineare Claretta Carrara Indice Capitolo 1. Operazioni tra matrici e n-uple 1 1. Soluzioni 3 Capitolo. Rette e piani 15 1. Suggerimenti 19. Soluzioni 1 Capitolo 3. Gruppi, spazi e

Dettagli

BASI DI DATI LINGUAGGI PER BASI DI DATI

BASI DI DATI LINGUAGGI PER BASI DI DATI BASI DI DATI LINGUAGGI PER BASI DI DATI Pof. Fabio A. Scheibe Dipatimento di Elettonica e Infomazione Politecnico di Milano tatto da: Atzeni, Cei, Paaboschi, Tolone - Basi di Dati - McGaw-Hill CLASSIFICAZIONE

Dettagli

Alla pagina successiva trovate la tabella

Alla pagina successiva trovate la tabella Tabella di riepilogo per le scomposizioni Come si usa la tabella di riepilogo per le scomposizioni Premetto che, secondo me, questa tabella e' una delle pochissime cose che in matematica bisognerebbe "studiare

Dettagli

(! )##%% *'!!+%(*!,, '- -..,,.,.. o - / 01- '-- 4'5 *%*'!! '6 *%! '-,3. '-,3 ' 7%8. o '3 o 6. '- 3-9--, 3-3

(! )##%% *'!!+%(*!,, '- -..,,.,.. o - / 01- '-- 4'5 *%*'!! '6 *%! '-,3. '-,3 ' 7%8. o '3 o 6. '- 3-9--, 3-3 !"#$ %&"%' (! )##%% *'!!+%(*!, o,, o, '..,,.,.. o / 01 ' o / 01 2 o # 3. 3 3 3 4'5 *%*'!! '6 *%! ' ' ',3. ',3 ' 7%8 '6 3 ''36. o '3 o 6. ' 39, ''. o.. ' o.. 3 3 ' 3 ' : o 3 o (3(3, ' $ o ', ',; ' + '6!'%!

Dettagli

FONDAMENTI DI INTELLIGENZA ARTIFICIALE (8 CFU)

FONDAMENTI DI INTELLIGENZA ARTIFICIALE (8 CFU) FONDAMENTI DI INTELLIGENZA ARTIFICIALE (8 CFU) 13 Febbraio 2015 Tempo a disposizione: 2 h Risultato: 32/32 punti Esercizio 1 (punti 6) Si esprimano in logica dei predicati del I ordine le seguenti frasi:

Dettagli

RETTE, PIANI, SFERE, CIRCONFERENZE

RETTE, PIANI, SFERE, CIRCONFERENZE RETTE, PIANI, SFERE, CIRCONFERENZE 1. Esercizi Esercizio 1. Dati i punti A(1, 0, 1) e B(, 1, 1) trovare (1) la loro distanza; () il punto medio del segmento AB; (3) la retta AB sia in forma parametrica,

Dettagli

RELAZIONI BINARIE. Proprietà delle relazioni Data una relazione R, definita in un insieme non vuoto U, si hanno le seguenti proprietà :

RELAZIONI BINARIE. Proprietà delle relazioni Data una relazione R, definita in un insieme non vuoto U, si hanno le seguenti proprietà : RELAZIONI INARIE Dati due insiemi non vuoti, A detto dominio e detto codominio, eventualmente coincidenti, si chiama relazione binaria (o corrispondenza) di A in, e si indica con f : A, (oppure R ) una

Dettagli

RISOLUTORE AUTOMATICO PER SUDOKU

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

Dettagli

Algebra Booleana 1 ALGEBRA BOOLEANA: VARIABILI E FUNZIONI LOGICHE

Algebra Booleana 1 ALGEBRA BOOLEANA: VARIABILI E FUNZIONI LOGICHE Algebra Booleana 1 ALGEBRA BOOLEANA: VARIABILI E FUNZIONI LOGICHE Andrea Bobbio Anno Accademico 2000-2001 Algebra Booleana 2 Calcolatore come rete logica Il calcolatore può essere visto come una rete logica

Dettagli

Progettazione di una base di dati Ufficio della Motorizzazione

Progettazione di una base di dati Ufficio della Motorizzazione Corso di Gestione dell Informazione Studenti NON frequentanti A.A. 2008/2009 1 Scopo del progetto Progettazione di una base di dati Ufficio della Motorizzazione Si vuole realizzare un applicazione base

Dettagli

Esame di Geometria - 9 CFU (Appello del 28 gennaio 2013 - A)

Esame di Geometria - 9 CFU (Appello del 28 gennaio 2013 - A) Esame di Geometria - 9 CFU (Appello del 28 gennaio 23 - A) Cognome: Nome: Nr.matricola: Corso di laurea: Esercizio. Nello spazio R 3, siano dati il piano e i punti P = (, 2, ), Q = (2,, ). π : x + 2y 3

Dettagli

Linguaggi e tecnologie per il Web

Linguaggi e tecnologie per il Web Sapienza Università di Roma Corso di Laurea in Ingegneria Informatica e Automatica Linguaggi e tecnologie per il Web a.a. 2015/2016 Riccardo Rosati Dipartimento di ingegneria informatica, automatica e

Dettagli

Programmazione Dichiarativa in Prolog, CLP e ASP

Programmazione Dichiarativa in Prolog, CLP e ASP Programmazione Dichiarativa in Prolog, CLP e ASP Agostino Dovier Dipartimento di Matematica e Informatica Università di Udine Via delle Scienze 206 I-33100 Udine (UD) Italy http://www.dimi.uniud.it/dovier

Dettagli

Ottimizzazione in ECLiPSe

Ottimizzazione in ECLiPSe OTTIMIZZAZIONE In molte applicazioni non siamo interessati a soluzioni ammissibili, ili, ma alla soluzione ottima rispetto a un certo criterio. ENUMERAZIONE trova tutte le soluzioni ammissibili scegli

Dettagli

LOGICA DEI PREDICATI. Introduzione. Predicati e termini individuali. Termini individuali semplici e composti

LOGICA DEI PREDICATI. Introduzione. Predicati e termini individuali. Termini individuali semplici e composti Introduzione LOGICA DEI PREDICATI Corso di Intelligenza Artificiale A.A. 2009/2010 Prof. Ing. Fabio Roli La logica dei predicati, o logica del primo ordine (LPO) considera schemi proposizionali composti

Dettagli

È fatta male? Perché? Come si può correggere?

È fatta male? Perché? Come si può correggere? UNA TABELLA N Inv Stanza Resp Oggetto Produttore Descrizione 1012 256 Ghelli Mac Mini Apple Personal Comp 1015 312 Albano Dell XPS M1330 Dell Notebook 2 GHZ 1034 256 Ghelli Dell XPS M1330 Dell Notebook

Dettagli

Prolog: aritmetica e ricorsione

Prolog: aritmetica e ricorsione Capitolo 13 Prolog: aritmetica e ricorsione Slide: Aritmetica e ricorsione 13.1 Operatori aritmetici In logica non vi è alcun meccanismo per la valutazione di funzioni, che è fondamentale in un linguaggio

Dettagli

UNIVERSITÀ DEGLI STUDI DI PARMA

UNIVERSITÀ DEGLI STUDI DI PARMA UNIVERSITÀ DEGLI STUDI DI PARMA FACOLTÀ DI SCIENZE MATEMATICHE, FISICHE e NATURALI Corso di Laurea in Informatica Tesi di Laurea Triennale Progettazione e realizzazione in Java di un risolutore di vincoli

Dettagli

ESAME DI STATO 2010 SECONDA PROVA SCRITTA PER IL LICEO SCIENTIFICO DI ORDINAMENTO

ESAME DI STATO 2010 SECONDA PROVA SCRITTA PER IL LICEO SCIENTIFICO DI ORDINAMENTO Archimede ESAME DI STATO SECONDA PROVA SCRITTA PER IL LICEO SCIENTIFICO DI ORDINAMENTO ARTICOLO Il candidato risolva uno dei due problemi e risponda a 5 quesiti del questionario. Sia ABCD un quadrato di

Dettagli

ELEMENTI DI GEOMETRIA ANALITICA: LA RETTA.

ELEMENTI DI GEOMETRIA ANALITICA: LA RETTA. ELEMENTI DI GEOMETRIA ANALITICA: LA RETTA. Prerequisiti I radicali Risoluzione di sistemi di equazioni di primo e secondo grado. Classificazione e dominio delle funzioni algebriche Obiettivi minimi Saper

Dettagli

Calcolo Relazionale Basi di dati e sistemi informativi 1. Calcolo Relazionale. Angelo Montanari

Calcolo Relazionale Basi di dati e sistemi informativi 1. Calcolo Relazionale. Angelo Montanari Calcolo Relazionale Basi di dati e sistemi informativi 1 Calcolo Relazionale Angelo Montanari Dipartimento di Matematica e Informatica Università di Udine Calcolo Relazionale Basi di dati e sistemi informativi

Dettagli

Prodotto elemento per elemento, NON righe per colonne Unione: M R S

Prodotto elemento per elemento, NON righe per colonne Unione: M R S Relazioni binarie Una relazione binaria può essere rappresentata con un grafo o con una matrice di incidenza. Date due relazioni R, S A 1 A 2, la matrice di incidenza a seguito di varie operazioni si può

Dettagli

3. Sia g(x) = 4. Si calcoli l area del triangolo mistilineo ROS, ove l arco RS appartiene al grafico di f(x) o, indifferentemente, di g(x).

3. Sia g(x) = 4. Si calcoli l area del triangolo mistilineo ROS, ove l arco RS appartiene al grafico di f(x) o, indifferentemente, di g(x). Esame liceo Scientifico : ordinamento Il candidato risolva uno dei due problemi e risponda a 5 quesiti del questionario. PROBLEMI Problema. Sia ABCD un quadrato di lato, P un punto di AB e γ la circonferenza

Dettagli

UN CASO DI STUDIO PER CLP(FD): ROSTERING OSPEDALIERO

UN CASO DI STUDIO PER CLP(FD): ROSTERING OSPEDALIERO Seminario per il corso di Linguaggi di nuova concezione UN CASO DI STUDIO PER CLP(FD): ROSTERING OSPEDALIERO RAFFAELE CIPRIANO 22 Maggio 2007 Struttura del seminario 2 Il problema reale Modello decisionale

Dettagli

Algebra e Logica Matematica. Calcolo delle proposizioni Logica del primo ordine

Algebra 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

Dettagli

Dispense del corso di ALGEBRA 1 a.a. 2007 2008. Parte 1: NOZIONI DI BASE

Dispense del corso di ALGEBRA 1 a.a. 2007 2008. Parte 1: NOZIONI DI BASE Dispense del corso di ALGEBRA 1 a.a. 2007 2008 Parte 1: NOZIONI DI BASE 1 Indice 1 Nozioni introduttive 3 1.1 Insiemi..................................... 3 1.2 Operazioni tra insiemi.............................

Dettagli

ALGEBRA I: ARITMETICA MODULARE E QUOZIENTI DI ANELLI

ALGEBRA I: ARITMETICA MODULARE E QUOZIENTI DI ANELLI ALGEBRA I: ARITMETICA MODULARE E QUOZIENTI DI ANELLI 1. CLASSI DI RESTO E DIVISIBILITÀ In questa parte sarò asciuttissimo, e scriverò solo le cose essenziali. I commenti avete potuto ascoltarli a lezione.

Dettagli

Linguaggi Elementari

Linguaggi Elementari Linguaggi Elementari Marzo 2007 In questi appunti verranno introdotte le conoscenze essenziali relative ai linguaggi del primo ordine e alla loro semantica. Verrà anche spiegato come preprocessare un problema

Dettagli

b) Costruire direttamente le relazioni e poi correggere quelle che presentano anomalie

b) Costruire direttamente le relazioni e poi correggere quelle che presentano anomalie TEORIA RELAZIONALE: INTRODUZIONE 1 Tre metodi per produrre uno schema relazionale: a) Partire da un buon schema a oggetti e tradurlo b) Costruire direttamente le relazioni e poi correggere quelle che presentano

Dettagli

FONDAMENTI DI INTELLIGENZA ARTIFICIALE M 15 Luglio 2010 Tempo a disposizione 2h 45min Risultato 32/32 punti

FONDAMENTI DI INTELLIGENZA ARTIFICIALE M 15 Luglio 2010 Tempo a disposizione 2h 45min Risultato 32/32 punti FONDAMENTI DI INTELLIGENZA ARTIFICIALE M Luglio 2010 Tempo a disposizione 2h 45min Risultato 32/32 punti Esercizio 1 (punti 4) Si formalizzino il logica dei predicati del I ordine le seguenti frasi: Ogni

Dettagli

Algebra Booleana ed Espressioni Booleane

Algebra Booleana ed Espressioni Booleane Algebra Booleana ed Espressioni Booleane Che cosa è un Algebra? Dato un insieme E di elementi (qualsiasi, non necessariamente numerico) ed una o più operazioni definite sugli elementi appartenenti a tale

Dettagli

$ % Coordinamento del Servizio Produzioni Vegetali della Provincia di Cremona:

$ % Coordinamento del Servizio Produzioni Vegetali della Provincia di Cremona: ! "! $ % ##! Coordinamento del Servizio Produzioni Vegetali della Provincia di Cremona: & &## '! # $ ( " $!! (! # ) * +,&(-.-&/00&1.(&2-3&"4-536# 2&7 "!8* 6 5 # *(!! /! 1 5 " $ 6 '-3&" ( ## #!5!5!# *(

Dettagli

Il problema della fattorizzazione nei domini di Dedekind

Il problema della fattorizzazione nei domini di Dedekind Il problema della fattorizzazione nei domini di Dedekind Stefania Gabelli Dipartimento di Matematica, Università degli Studi Roma Tre Note per i corsi di Algebra Commutativa a.a. 2010/2011 1 Indice 1 Preliminari

Dettagli

Programmazione Dichiarativa con Prolog, CLP, CCP, e ASP. Agostino Dovier. Andrea Formisano

Programmazione Dichiarativa con Prolog, CLP, CCP, e ASP. Agostino Dovier. Andrea Formisano Programmazione Dichiarativa con Prolog, CLP, CCP, e ASP Agostino Dovier Dipartimento di Matematica e Informatica Università di Udine Via delle Scienze 206 I-33100 Udine (UD) Italy http://www.dimi.uniud.it/dovier

Dettagli

Agent and Object Technology Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma. Fondamenti di Informatica

Agent and Object Technology Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma. Fondamenti di Informatica Agent and Object Technology Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma Fondamenti di Informatica Linguaggi di Programmazione Michele Tomaiuolo Linguaggi macchina I

Dettagli

Analisi e specifica dei requisiti

Analisi e specifica dei requisiti Capitolo 3 Analisi e specifica dei requisiti In questo capitolo presentiamo alcuni linguaggi e metodi usati nella fase di analisi e specifica dei requisiti. I requisiti descrivono ciò che l utente si aspetta

Dettagli

Calcolo dei Sequenti Predicativo: Note ed Esercizi

Calcolo dei Sequenti Predicativo: Note ed Esercizi Calcolo dei Sequenti Predicativo: Note ed Esercizi mace@dsi.unive.it 15 novembre 2007 1 Logica predicativa: sintassi La logica proposizionale è piuttosto limitata. La logica predicativa estende quella

Dettagli

Regole aggiuntive ADR della Corte arbitrale presso la Camera Economica della Repubblica Ceca e la Camera Agraria della Repubblica Ceca

Regole aggiuntive ADR della Corte arbitrale presso la Camera Economica della Repubblica Ceca e la Camera Agraria della Repubblica Ceca Economica della e la Camera Agraria della A GENERALITÀ... 2 1 Ambito di applicazione...2 2 Definizioni...2 3 Tariffe e pagamento...2 4 Istruzioni per le comunicazioni...2 5 Firma elettronica...2 6 Scadenze...3

Dettagli

0. Piano cartesiano 1

0. Piano cartesiano 1 0. Piano cartesiano Per piano cartesiano si intende un piano dotato di due assi (che per ragioni pratiche possiamo scegliere ortogonali). Il punto in comune ai due assi è detto origine, e funziona da origine

Dettagli

Tecniche di DM: Link analysis e Association discovery

Tecniche di DM: Link analysis e Association discovery Tecniche di DM: Link analysis e Association discovery Vincenzo Antonio Manganaro vincenzomang@virgilio.it, www.statistica.too.it Indice 1 Architettura di un generico algoritmo di DM. 2 2 Regole di associazione:

Dettagli

Il modello relazionale

Il modello relazionale Il modello relazionale Il modello relazionale è stato introdotto nel 1970 da E.F. Codd. Soltanto a metà degli anni ottanta ha trovato una buona diffusione sul mercato, in quanto all epoca della sua introduzione

Dettagli

Le macchine di Turing

Le macchine di Turing Le macchine di Turing Alan Turing (1912-1954) 1954) Il problema della decisione i L Entscheidungsproblem [il problema della decisione] è risolto se si conosce una procedura che permette di decidere la

Dettagli

GEOMETRIA I Corso di Geometria I (seconda parte)

GEOMETRIA I Corso di Geometria I (seconda parte) Corso di Geometria I (seconda parte) anno acc. 2009/2010 Cambiamento del sistema di riferimento in E 3 Consideriamo in E 3 due sistemi di riferimento ortonormali R e R, ed un punto P (x, y, z) in R. Lo

Dettagli

09 - Funzioni reali di due variabili reali

09 - Funzioni reali di due variabili reali Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 09 - Funzioni reali di due variabili reali Anno Accademico 2013/2014

Dettagli

LE FIBRE DI UNA APPLICAZIONE LINEARE

LE FIBRE DI UNA APPLICAZIONE LINEARE LE FIBRE DI UNA APPLICAZIONE LINEARE Sia f:a B una funzione tra due insiemi. Se y appartiene all immagine di f si chiama fibra di f sopra y l insieme f -1 y) ossia l insieme di tutte le controimmagini

Dettagli

Generation (NLG) Argomenti trattati nella lezione: INTRODUZIONE ARCHITETTURA SURFACE REALIZER DISCOURSE PLANNER MICROPLANNING

Generation (NLG) Argomenti trattati nella lezione: INTRODUZIONE ARCHITETTURA SURFACE REALIZER DISCOURSE PLANNER MICROPLANNING Natural Language Generation (NLG) 1 Argomenti trattati nella lezione: INTRODUZIONE ARCHITETTURA SURFACE REALIZER DISCOURSE PLANNER MICROPLANNING Introduzione Il Generazione di Linguaggio Naturale (NLG)

Dettagli

Logica dei predicati

Logica dei predicati IV Logica dei predicati 14. FORMULE PREDICATIVE E QUANTIFICATORI 14.1. Dalla segnatura alle formule predicative Il simbolo (x).ϕ(x) [per ogni x, ϕ(x) è vera] denota una proposizione definita, e non c è

Dettagli

Algebra di Boole. Le operazioni base sono AND ( ), OR ( + ), NOT ( )

Algebra di Boole. Le operazioni base sono AND ( ), OR ( + ), NOT ( ) Algebra di Boole Circuiti logici: componenti hardware preposti all'elaborazione delle informazioni binarie. PORTE LOGICHE (logical gate): circuiti di base. Allo scopo di descrivere i comportamenti dei

Dettagli

Vincere a testa o croce

Vincere a testa o croce Vincere a testa o croce Liceo B. Russell - Cles (TN) Classe 3D Insegnante di riferimento: Claretta Carrara Ricercatrice: Ester Dalvit Partecipanti: Alessio, Christian, Carlo, Daniele, Elena, Filippo, Ilaria,

Dettagli

Decomposizioni di uno schema, Decomposizioni che preservano i dati (loss-less joins) Prof.ssa Rosalba Giugno

Decomposizioni di uno schema, Decomposizioni che preservano i dati (loss-less joins) Prof.ssa Rosalba Giugno Decomposizioni di uno schema, Decomposizioni che preservano i dati (loss-less joins) Prof.ssa Rosalba Giugno Decomposizione di uno schema Dato uno schema relazionale R={A1,A2, An} una sua decomposizione

Dettagli

Algebra Relazionale. algebra relazionale

Algebra Relazionale. algebra relazionale Algebra Relazionale algebra relazionale Linguaggi di Interrogazione linguaggi formali Algebra relazionale Calcolo relazionale Programmazione logica linguaggi programmativi SQL: Structured Query Language

Dettagli

Esercitazioni di Reti Logiche. Lezione 2 Algebra Booleana e Porte Logiche. Zeynep KIZILTAN zkiziltan@deis.unibo.it

Esercitazioni di Reti Logiche. Lezione 2 Algebra Booleana e Porte Logiche. Zeynep KIZILTAN zkiziltan@deis.unibo.it Esercitazioni di Reti Logiche Lezione 2 Algebra Booleana e Porte Logiche Zeynep KIZILTAN zkiziltan@deis.unibo.it Argomenti Algebra booleana Funzioni booleane e loro semplificazioni Forme canoniche Porte

Dettagli

PROBABILITA CONDIZIONALE

PROBABILITA CONDIZIONALE Riferendoci al lancio di un dado, indichiamo con A l evento esce un punteggio inferiore a 4 A ={1, 2, 3} B l evento esce un punteggio dispari B = {1, 3, 5} Non avendo motivo per ritenere il dado truccato,

Dettagli

Linguaggi 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 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

Dettagli

Basi di Dati. Programmazione e gestione di sistemi telematici

Basi di Dati. Programmazione e gestione di sistemi telematici Basi di Dati. Programmazione e gestione di sistemi telematici Coordinatore: Prof. Paolo Nesi Docenti: Prof. Paolo Nesi Dr.sa Michela Paolucci Dr. Emanuele Bellini SQL SQL = Structured Query Language Linguaggio

Dettagli

DOMINI A FATTORIZZAZIONE UNICA

DOMINI A FATTORIZZAZIONE UNICA DOMINI A FATTORIZZAZIONE UNICA CORSO DI ALGEBRA, A.A. 2012-2013 Nel seguito D indicherà sempre un dominio d integrità cioè un anello commutativo con unità privo di divisori dello zero. Indicheremo con

Dettagli

Dispense del corso di ALGEBRA 1 a.a. 2008 2009

Dispense del corso di ALGEBRA 1 a.a. 2008 2009 Dispense del corso di ALGEBRA 1 a.a. 2008 2009 2 Indice I INSIEMI E NUMERI 5 1 Insiemi e applicazioni 7 1.1 Insiemi..................................... 7 1.2 Operazioni tra insiemi.............................

Dettagli

Cos è un Calcolatore?

Cos è un Calcolatore? Cos è un Calcolatore? Definizione A computer is a machine that manipulates data according to a (well-ordered) collection of instructions. 24/105 Riassumendo... Un problema è una qualsiasi situazione per

Dettagli

Programmazione lineare

Programmazione lineare Programmazione lineare Un modello matematico per un problema di programmazione lineare Problema 1. Un reparto di un azienda di elettrodomestici può produrre giornalmente non più di 6 lavatrici, delle quali

Dettagli

Probabilità e Statistica Esercitazioni. a.a. 2006/2007

Probabilità e Statistica Esercitazioni. a.a. 2006/2007 Probabilità e Statistica Esercitazioni a.a. 2006/2007 C.d.L.: Ingegneria per l Ambiente ed il Territorio, Ingegneria Civile, Ingegneria Gestionale, Ingegneria dell Informazione C.d.L.S.: Ingegneria Civile

Dettagli

EQUAZIONI E DISEQUAZIONI POLINOMIALI E COLLEGAMENTI CON LA GEOMETRIA ELEMENTARE

EQUAZIONI E DISEQUAZIONI POLINOMIALI E COLLEGAMENTI CON LA GEOMETRIA ELEMENTARE EQUAZIONI E DISEQUAZIONI POLINOMIALI E COLLEGAMENTI CON LA GEOMETRIA ELEMENTARE 1. EQUAZIONI Definizione: un equazione è un uguaglianza tra due espressioni letterali (cioè in cui compaiono numeri, lettere

Dettagli

ESAME DI STATO DI LICEO SCIENTIFICO CORSO SPERIMENTALE P.N.I. 2004 Sessione straordinaria

ESAME DI STATO DI LICEO SCIENTIFICO CORSO SPERIMENTALE P.N.I. 2004 Sessione straordinaria ESAME DI STATO DI LICEO SCIENTIFICO CORSO SPERIMENTALE P.N.I. 004 Sessione straordinaria Il candidato risolva uno dei due problemi e 5 dei 0 quesiti in cui si articola il questionario. PROBLEMA In un piano

Dettagli

+ / operatori di confronto (espressioni logiche/predicati) / + 5 3 9 = > < Pseudo codice. Pseudo codice

+ / operatori di confronto (espressioni logiche/predicati) / + 5 3 9 = > < Pseudo codice. Pseudo codice Pseudo codice Pseudo codice Paolo Bison Fondamenti di Informatica A.A. 2006/07 Università di Padova linguaggio testuale mix di linguaggio naturale ed elementi linguistici con sintassi ben definita e semantica

Dettagli

Corso di Laurea Ingegneria Informatica Fondamenti di Informatica

Corso di Laurea Ingegneria Informatica Fondamenti di Informatica Corso di Laurea Ingegneria Informatica Fondamenti di Informatica Dispensa 19 Ricorsione A. Miola Marzo 2012 http://www.dia.uniroma3.it/~java/fondinf/ Ricorsione 1 Contenuti q Funzioni e domini definiti

Dettagli

4. Operazioni binarie, gruppi e campi.

4. Operazioni binarie, gruppi e campi. 1 4. Operazioni binarie, gruppi e campi. 4.1 Definizione. Diremo - operazione binaria ovunque definita in A B a valori in C ogni funzione f : A B C - operazione binaria ovunque definita in A a valori in

Dettagli

Rette e piani con le matrici e i determinanti

Rette e piani con le matrici e i determinanti CAPITOLO Rette e piani con le matrici e i determinanti Esercizio.. Stabilire se i punti A(, ), B(, ) e C(, ) sono allineati. Esercizio.. Stabilire se i punti A(,,), B(,,), C(,, ) e D(4,,0) sono complanari.

Dettagli

Esercizio 1. Svolgimento

Esercizio 1. Svolgimento Esercizio 1 Vengono lanciate contemporaneamente 6 monete. Si calcoli: a) la probabilità che si presentino esattamente 2 testa ; b) la probabilità di ottenere almeno 4 testa ; c) la probabilità che l evento

Dettagli

Il costrutto monitor [Hoare 74]

Il costrutto monitor [Hoare 74] Il monitor 1 Il costrutto monitor [Hoare 74] Definizione: Costrutto sintattico che associa un insieme di operazioni (entry o public) ad una struttura dati comune a più processi, tale che: Le operazioni

Dettagli

Brevissima introduzione al Lisp

Brevissima introduzione al Lisp Brevissima introduzione al Lisp Versione preliminare Giorgio Ausiello, Luigi Laura May 16, 2001 Queste pagine costituiscono un riferimento per gli studenti del corso di Informatica Teorica e non hanno

Dettagli

Corso di Basi di Dati A.A. 2013/2014

Corso di Basi di Dati A.A. 2013/2014 Corso di Laurea in Ingegneria Gestionale Sapienza Università di Roma Corso di Basi di Dati A.A. 2013/2014 Tiziana Catarci, Andrea Marrella Ultimo aggiornamento : 29/03/2014 SQL : Structured Query Language

Dettagli

Differenza in punti percentuali 25,0 20,0 15,0 10,0 5,0 0,0 -5,0 -10,0 -15,0 -20,0. B3_a. A5_f. B3_d. B3_b. A5_i. A5_a. A5_e. A5_h. A5_d. A5_b.

Differenza in punti percentuali 25,0 20,0 15,0 10,0 5,0 0,0 -5,0 -10,0 -15,0 -20,0. B3_a. A5_f. B3_d. B3_b. A5_i. A5_a. A5_e. A5_h. A5_d. A5_b. A1 A2 A3 A4 A5_a A5_b A5_c A5_d A5_e A5_f A5_g A5_h A5_i B1 B2 B3_a B3_b B3_c B3_d B4 B5 B6 B7 B8 B9 B10 B11 B12 B13 B14 C1 C2 C3 C4 C5 C6 Differenza in punti percentuali Media punteggi classe per ambito

Dettagli

Esercizi sull Association Analysis

Esercizi sull Association Analysis Data Mining: Esercizi sull Association Analysis 1 Esercizi sull Association Analysis 1. Si consideri il mining di association rule da un dataset T di transazioni, rispetto a delle soglie minsup e minconf.

Dettagli

Sistemi Informativi Territoriali

Sistemi Informativi Territoriali ANNO ACCADEMICO 2004-2005 SISTEMI INFORMATIVI GEOGRAFICI SISTEMI INFORMATIVI TERRITORIALI (SIT) GEOGRAPHICAL INFORMATION SYSTEMS (GIS) Sistemi Informativi Territoriali 3. I sistemi per la gestione delle

Dettagli

Gli algoritmi. Gli algoritmi. Analisi e programmazione

Gli algoritmi. Gli algoritmi. Analisi e programmazione Gli algoritmi Analisi e programmazione Gli algoritmi Proprietà ed esempi Costanti e variabili, assegnazione, istruzioni, proposizioni e predicati Vettori e matrici I diagrammi a blocchi Analisi strutturata

Dettagli

LA PROVA PER LE BORSE DI STUDIO INDAM DEL 2002 4000 EURO PER I MIGLIORI STUDENTI DI MATEMATICA

LA PROVA PER LE BORSE DI STUDIO INDAM DEL 2002 4000 EURO PER I MIGLIORI STUDENTI DI MATEMATICA 00 rchimede L PROV PER LE BORSE DI STUDIO INDM DEL 00 RTICOLI 4000 EURO PER I MIGLIORI STUDENTI DI MTEMTIC Per il terzo anno consecutivo, l INdM ha bandito il concorso per assegnare 50 borse di studio

Dettagli

INFORMATICA. Applicazioni WEB a tre livelli con approfondimento della loro manutenzione e memorizzazione dati e del DATABASE.

INFORMATICA. Applicazioni WEB a tre livelli con approfondimento della loro manutenzione e memorizzazione dati e del DATABASE. INFORMATICA Applicazioni WEB a tre livelli con approfondimento della loro manutenzione e memorizzazione dati e del DATABASE. APPLICAZIONI WEB L architettura di riferimento è quella ampiamente diffusa ed

Dettagli

Archivi e Basi di Dati

Archivi e Basi di Dati Archivi e Basi di Dati A B C File Programma 1 Programma 2 A B C File modificati Programma 1 DBMS DB Programma 2 Informatica Generale (CdL in E&C), A.A. 2000-2001 55 Problemi nella gestione di archivi separati

Dettagli

ALGEBRA I: NUMERI INTERI, DIVISIBILITÀ E IL TEOREMA FONDAMENTALE DELL ARITMETICA

ALGEBRA I: NUMERI INTERI, DIVISIBILITÀ E IL TEOREMA FONDAMENTALE DELL ARITMETICA ALGEBRA I: NUMERI INTERI, DIVISIBILITÀ E IL TEOREMA FONDAMENTALE DELL ARITMETICA 1. RICHIAMI SULLE PROPRIETÀ DEI NUMERI NATURALI Ho mostrato in un altra dispensa come ricavare a partire dagli assiomi di

Dettagli

GeoGebra vers.5 - vista Grafici 3D

GeoGebra vers.5 - vista Grafici 3D GeoGebra vers.5 - vista Grafici 3D Marzo 2015 (manuale on-line, con aggiunte a cura di L. Tomasi) Questo articolo si riferisce a un componente della interfaccia utente di GeoGebra. Viste Menu Vista Algebra

Dettagli

I contratti di gestione delle strutture alberghiere

I contratti di gestione delle strutture alberghiere 12/06/2013 il Contratti tipici: Contratti atipici: contratto di locazione di bene immobile contratto di affitto di azienda (alberghiera) contratto di gestione di azienda. alberghiera (c.d. contratto di

Dettagli

7. OSSA. Alessio Maculani

7. OSSA. Alessio Maculani 7. OSSA ossa è il modulo software realizzato in questo stage di laurea. Esso aggiunge all applicazione composta da MadCow, VisualOntoGraph e FormalAnnotation, gli strumenti necessari all utente annotatore

Dettagli

SISTEMI OPERATIVI. Sincronizzazione dei processi. Domande di verifica. Luca Orrù Centro Multimediale Montiferru 30/05/2007

SISTEMI OPERATIVI. Sincronizzazione dei processi. Domande di verifica. Luca Orrù Centro Multimediale Montiferru 30/05/2007 2007 SISTEMI OPERATIVI Sincronizzazione dei processi Domande di verifica Luca Orrù Centro Multimediale Montiferru 30/05/2007 Sincronizzazione dei processi 1. Si descrivano i tipi di interazione tra processi?

Dettagli

Calcolo delle P robabilitá. Esercizi svolti e quesiti per il CdS in Economia e Finanza

Calcolo delle P robabilitá. Esercizi svolti e quesiti per il CdS in Economia e Finanza Calcolo delle P robabilitá Esercizi svolti e quesiti per il CdS in Economia e Finanza Giuseppe Sanfilippo Dipartimento di Scienze Statistiche e Matematiche S. Vianelli Università degli Studi di Palermo

Dettagli

Applicazioni lineari

Applicazioni lineari Applicazioni lineari Esempi di applicazioni lineari Definizione. Se V e W sono spazi vettoriali, una applicazione lineare è una funzione f: V W tale che, per ogni v, w V e per ogni a, b R si abbia f(av

Dettagli

TASSI DI ASSENZA, MAGGIOR PRESENZA E ASSENTEISMO NETTO DEL PERSONALE DIPENDENTE DIVISO PER AREE DIRIGENZIALI (compresi i Dirigenti)

TASSI DI ASSENZA, MAGGIOR PRESENZA E ASSENTEISMO NETTO DEL PERSONALE DIPENDENTE DIVISO PER AREE DIRIGENZIALI (compresi i Dirigenti) CAMERA DI COMMERCIO NUMERO UNITA' DI PERSONALE 333 333 333 329 332 332 329 328 363 365 360 358 1.256 996 896 1.691 879 1.089 1.736 3.368 1.157 817 1.049 1.543 B) GIORNI LAVORATI COMPLESSIVI 5.709 5.962

Dettagli

Introduzione. Elenco telefonico Conti correnti Catalogo libri di una biblioteca Orario dei treni aerei

Introduzione. Elenco telefonico Conti correnti Catalogo libri di una biblioteca Orario dei treni aerei Introduzione Elenco telefonico Conti correnti Catalogo libri di una biblioteca Orario dei treni aerei. ESEMPI DI INSIEMI DI DATI DA ORGANIZZARE ED USARE IN MANIERA EFFICIENTE Introduzione Più utenti con

Dettagli

Evoluzioni di Ontologie in Frame Logic

Evoluzioni di Ontologie in Frame Logic Evoluzioni di Ontologie in Frame Logic Francesco Mele 1, Antonio Sorgente 1, Giuseppe Vettigli 1 1 C.N.R. Istituto di Cibernetica E. Caianiello, Via Campi Flegrei, 34 Pozzuoli, Naples, Italy. {f.mele,

Dettagli

Modelli relazionali. Esistono diversi modi di modellare un database. Il modello piu' usato al momento e' il modello relazionale

Modelli relazionali. Esistono diversi modi di modellare un database. Il modello piu' usato al momento e' il modello relazionale Cenni sui DATABASE Cos'e' un database Un database puo' essere definito come una collezione strutturata di record (dati) I dati sono memorizzati su un computer in modo opportuno e possono essere recuperati

Dettagli

Capitolo I STRUTTURE ALGEBRICHE ELEMENTARI

Capitolo I STRUTTURE ALGEBRICHE ELEMENTARI Capitolo I STRUTTURE ALGEBRICHE ELEMENTARI In matematica, per semplificare la stesura di un testo, si fa ricorso ad un linguaggio specifico. In questo capitolo vengono fornite in maniera sintetica le nozioni

Dettagli