Spiegazione delle regole dei quantificatori in logica classica
|
|
- Maddalena Sartori
- 5 anni fa
- Visualizzazioni
Transcript
1 Spiegazione delle regole dei quantificatori in logica classica Qui spieghiamo la forma delle regole della quantificazione universale ed esistenziale. 1. La regola della quantificazione universale a sinistra Γ, x A(x),A(t) Γ, x A(x) S la formula ( (Γ & & x A(x)) & A(t) ) ( Γ & & x A(x) ) che è una legge logica in quanto è pure una legge logica x A(x) & A(t) x A(x) Dunque nella regola la validità logica sale e scende rendendo la regola sicura e difatti è una legge logica la formula ( (Γ & & x A(x)) & A(t) ) ( Γ & & x A(x) ) Esiste anche una forma NON sicura della regola che permette di abbreviare le derivazioni che è l enunciato Γ,A(t) Γ, x A(x) Sv che è una legge logica. (Γ & & A(t) ) (Γ & & x A(x) ) Per comprendere la sua validità logica consideriamo questo esempio di applicazione della regola di quantificazione universale a sinistra veloce T= Il cielo è del tutto coperto di nubi v= Venere N,B(v) T N, x B(x) T Sv Assumendo che, se è notte e Venere brilla nel cielo allora il cielo non è del tutto coperto di nubi allora se è notte e tutto brilla nel cielo allora il cielo non è del tutto coperto di nubi. 6
2 Chiaramente la regola non è sicura e lo si vede con questo esempio A(x)= x ha la cintura allacciata P= l aereo parte m= Mario x A(x) P M(v) P inv Sv l argomentazione scorretta se tutti hanno le cinture allacciate allora l aereo parte se Mario ha la cintura allacciata allora l aereo parte. perchè la premessa richiede tutti abbiano la cintura allacciata affinchè l aereo parta mentre nella premessa sotto sappiamo solo che Mario ha la cintura allacciata e non che l abbiano anche gli altri passeggeri dell aereo. 2. La regola di quantificazione universale a destra Γ A(w), Γ x A(x), D (w VL(Γ, x A(x), )) formalizza la formula (associando a sinistra i disgiunti delle conclusioni dei sequenti) w ( Γ & A(w) ) (Γ & x A(x) ) che è una legge logica proprio perchè la variabile w NON è libera in Γ, x A(x),. Per comprendere la sua validità logica consideriamo questo esempio N S(w) B(w),C N x (S(x) B(x)),C S(x)=x è una stella C= Il cielo è coperto di nubi D (w VL(N, x (S(x) B(x)),C)) qualsiasi cosa, se è notte allora o, se è una stella brilla nel cielo, oppure il cielo è coperto di nubi se è notte, allora o tutte le stelle brillano nel cielo oppure il cielo è coperto di nubi. 7
3 Si noti che la regola è sicura, ovvero la verità sale e scende nella regola, poichè è una legge logica la formula w ( Γ & A(w) ) (Γ & x A(x) ) 3. La regola di quantificazione esistenziale a sinistra formalizza la formula Γ, A(w) Γ, x A(x) S (w VL(Γ, x A(x), )) w ( Γ & & A(w) ) ( Γ & & x A(x) ) che è una legge logica proprio perchè la variabile w NON è libera in Γ, x A(x),. Per comprendere la sua validità logica consideriamo questo esempio N,S(w) & B(w) T N, x (S(x) B(x)) T S(x)=x è una stella T= Il cielo è del tutto coperto di nubi S (w VL(N, x (S(x) & B(x)),T)) qualsiasi cosa, se è notte ed è una stella che brilla nel cielo allora il cielo non è del tutto coperto di nubi se è notte e c è una stella che brilla nel cielo allora il cielo non è del tutto coperto di nubi. Si noti che la regola è sicura, ovvero la verità sale e scende nella regola, poichè è una legge logica la formula w ( Γ & & A(w) ) ( Γ & & x A(x) ) 8
4 4. La regola di quantificazione esistenziale a destra Γ A(t), x A(x), Γ x A(x), formalizza la formula (a meno di associatività dei disgiunti delle conclusioni di entrambi i sequenti) D ( Γ & (A(t) x A(x)) ) ( Γ & x A(x) ) che è una legge logica in quanto è pure una legge logica x A(x) A(t) x A(x) Dunque nella regola la validità logica sale e scende rendendo la regola sicura e difatti è una legge logica la formula ( Γ & (A(t) x A(x)) ) ( Γ & x A(x) ) Esiste anche una forma NON sicura della regola che permette di abbreviare le derivazioni che è Γ A(t), Γ x A(x), Dv l enunciato (associando a sinistra i disgiunti delle conclusioni dei sequenti) che è una legge logica. ( Γ & A(t) ) ( Γ & x A(x) ) Per comprendere la sua validità logica consideriamo questo esempio di applicazione della regola di quantificazione esistenziale a destra veloce A(x)= x è arrivato in stazione P(x)= le porte del treno x sono aperte S(x,y)= x sale su y. m= Marco v= treno per Venezia A(v) S(m,v), P(v) A(v) x S(x,v), P(v) Dv se il treno per Venezia è arrivato in stazione allora o Marco sale sul treno per Venezia oppure le porte del treno per Venezia non sono aperte se il treno per Venezia è arrivato in stazione allora o qualcuno sale sul treno per Venezia oppure Chiaramente la regola non è sicura e lo si vede con questo esempio 9
5 A(x)= x è arrivato in stazione P(x)= le porte del treno x sono aperte S(x,y)= x sale su y. g= il giornalaio della stazione v= il treno per Venezia A(v) x S(x,v), P(v) A(v) S(g,v), P(v) inv Dv l argomentazione scorretta se il treno per Venezia è arrivato in stazione allora o qualcuno sale sul treno per Venezia oppure se il treno per Venezia è arrivato in stazione allora o il giornalaio sale sul treno per Venezia oppure Tale argomentazione non è corretta in quanto le porte del treno potrebbero essere aperte e il giornalaio è al suo posto a vendere giornali! 10
I-Compitino LOGICA 14 giugno 2014
I-Compitino LOGICA 14 giugno 2014 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si considerano le BRUTTE copie. - Ricordatevi di ESPLICITARE l uso della
DettagliII appello 17 febbraio 2015
II appello 17 febbraio 2015 nome: cognome: - Scrivete in modo CHIARO. Elaborati illegibili non saranno considerati. - NON si contano le BRUTTE copie. - Ricordatevi di ETICHETTARE LE DERIVAZIONI CON LE
DettagliTRIBUNALE DI ROMA TABELLA DANNO BIOLOGICO -ANNO 2013
INV Valore Età Età Età Età Età Età Età % punto 0-10 11 12 13 14 15 16 1 0,995 0,99 0,985 0,98 0,975 0,97 1 814,72 814,72 810,64 806,57 802,50 798,42 794,35 790,28 2 1040,29 2.080,59 2.070,19 2.059,78 2.049,38
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
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
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
Dettaglirecent exhibition: A Blow-by-Blow Account of Stonecarving in Oxford (2014) at Modern Art Oxford, Dublin City Gallery The Hugh Lane, and
Av: C k S L I V I Pv B A 2015. Av: C v j vv v j v. S L xv - z q v vk. T L vk I x v v. T j I B Av: C /. P L v v I k j v. T x Av: C k x. T j L v v Av: C v. S x x v. Lv v x. M k k. 1 Av: C è v S L I V P B
DettagliElementi di Informatica e Programmazione
Elementi di Informatica e Programmazione Il concetto di Algoritmo e di Calcolatore Corsi di Laurea in: Ingegneria Civile Ingegneria per l Ambiente e il Territorio Università degli Studi di Brescia Cos
DettagliPROBLEMI TRADIZIONALI SIMULAZIONE DELLA PROVA DI MATEMATICA
Simulazione 01/15 ANNO SCOLASTICO 01/15 PROBLEMI TRADIZIONALI SIMULAZIONE DELLA PROVA DI MATEMATICA DELL ESAME DI STATO PER IL LICEO SCIENTIFICO Il candidato risolva uno dei due problemi Problema 1 Nella
Dettaglif(x) = Ax + B. + (B x + 1 A
A NOME... COGNOME...A =... B =... eax+b Ax + B. di ascissa B A A. (B x + 1 A 1 x 2 )(Ax2 )dx, 1 3x + B dx. 1 B NOME... COGNOME...A =... B =... eax+b Ax B. di ascissa B A A. (A x + 1 B 1 x 2 )(Bx2 )dx,
Dettagliax- & D P &Q Q P &Q P P &Q Q&P P &Q C P &Q Q P P &Q (C&Q) P
6. Calcolo dei sequenti LC p della Logica classica proposizionale ax-id ax- Γ, A, Γ, A, Γ,, Γ Σ, Γ, Θ, Γ, Σ Σ, Γ, Θ, Γ, Σ sc sx Γ A, Γ B, & D Γ A&B, Γ A, B, Γ A B, D Γ, A Γ, B Γ, A B Γ, A ax-tt Γ, tt,
DettagliProposta di soluzione della prova di matematica Liceo scientifico di Ordinamento - 2014
Proposta di soluzione della prova di matematica Liceo scientifico di Ordinamento - 14 Problema 1 Punto a) Osserviamo che g (x) = f(x) e pertanto g () = f() = in quanto Γ è tangente all asse delle ascisse,
Dettagli39ma edizione della Dobbiaco Cortina 2016. Il percorso utilizza la prestigiosa pista dell Tour de Ski
39ma edizione della Dobbiaco Cortina 2016 Il percorso utilizza la prestigiosa pista dell Tour de Ski La gara classica di 50km fa parte del circuito Ski Classic Series Weekend dedicato a coloro che vogliono
DettagliNozze d Argento. Pergamena Luna. 25Anni di vita insieme!!! Anna e Franco
Non dispiacerti di ciò che non hai potuto fare, rammaricati solo di quanto potevi e non hai voluto. (Mao Tse-Tung) 25Anni di vita insieme!!! mattina l uno di fianco all altro. tramuti in oro, desideriamo
DettagliLOGICA 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
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
DettagliFISICA. MECCANICA: La Cinematica unidimensionale. Autore: prof. Pappalardo Vincenzo docente di Matematica e Fisica
FISICA MECCANICA: La Cinematica unidimensionale Autore: prof. Pappalardo Vincenzo docente di Matematica e Fisica LA MECCANICA La Meccanica è quella parte della fisica che studia il movimento e si compone
DettagliEsercizi di Calcolo delle Probabilità con Elementi di Statistica Matematica
Esercizi di Calcolo delle Probabilità con Elementi di Statistica Matematica Lucio Demeio Dipartimento di Scienze Matematiche Università Politecnica delle Marche 1. Esercizio. Siano X ed Y due variabili
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
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
DettagliDalla Stazione Marittima a B&B Sandra
Dalla Stazione Marittima a B&B Sandra Una volta sbarcati alla Stazione Marittima di Venezia, per raggiungerci, ci sono due alternative: Alternativa 1: In Taxi Questa alternativa è certamente la più comoda
DettagliCalcolo 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
Dettagli2-sinistri Rcauto CIDIU_servizi
Data Accadimento Sx Stato Sx Garanzia Sx Importo Liquidato di cui lesioni Importo Riservato 02/07/2008 Chiuso Assistenza 392,92 0,00 0,00 05/07/2008 Chiuso Rca 5.500,00 0,00 0,00 08/07/2008 Chiuso Rca
DettagliNOME:... MATRICOLA:... Scienza dei Media e della Comunicazione, A.A. 2007/2008 Analisi Matematica 1, Esame scritto del 08.02.2008. x 1.
NOME:... MATRICOLA:.... Scienza dei Media e della Comunicazione, A.A. 007/008 Analisi Matematica, Esame scritto del 08.0.008 Indicare per quali R vale la seguente diseguaglianza : + >. Se y - - è il grafico
DettagliPREFAZIONE - RANGER - EQ
PREFAZIONE - RANGER - EQ Questo catalogo ricambi contiene informazioni sul modello "Ranger" costruito dal 2002 Il veicolo è classificato in base ai codici delle specifiche. Tali codici sono indicati di
DettagliSudoku: ancora un esercizio
Sudoku: ancora un esercizio Silvio Ranise LORIA & INRIA-Lorraine Nancy (France) 17 Gennaio 2007 Un esempio (sempre lo stesso) 5 3 7 6 1 9 5 9 8 6 8 6 3 4 8 3 1 7 2 6 6 2 8 4 1 9 5 8 7 9 Regole (sempre
DettagliLaboratorio teorico-pratico per la preparazione alle gare di matematica
Laboratorio teorico-pratico per la preparazione alle gare di matematica Ercole Suppa Liceo Scientifico A. Einstein, Teramo e-mail: ercolesuppa@gmail.com Teramo, 3 dicembre 2014 USR Abruzzo - PLS 2014-2015,
DettagliAuto Vip Principale. Truebikecar.com
Auto Vip Principale Truebikecar.com Questo progetto nasce dalla necessità di sodisfare tutte le esigenze dei partecipanti alla community Truebikecar, dando ai membri, tanti modelli Auto di livello superiore
DettagliMatematica II: Calcolo delle Probabilità e Statistica Matematica
Matematica II: Calcolo delle Probabilità e Statistica Matematica ELT A-Z Docente: dott. F. Zucca Esercitazione # Esercizi Statistica Descrittiva Esercizio I gruppi sanguigni di persone sono B, B, AB, O,
DettagliAlgebra di Boole ed Elementi di Logica
Algebra di Boole ed Elementi di Logica 53 Cenni all algebra di Boole L algebra di Boole (inventata da G. Boole, britannico, seconda metà 8), o algebra della logica, si basa su operazioni logiche Le operazioni
DettagliLinguaggi 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
DettagliProf. Silvio Reato Valcavasia Ricerche. Il piano cartesiano
Il piano cartesiano Per la rappresentazione di grafici su di un piano si utilizza un sistema di riferimento cartesiano. Su questo piano si rappresentano due rette orientate (con delle frecce all estremità
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
DettagliPremessa. Premessa. In auto. Quanti seggiolini nella vita di un bambino? Attenzione! Abbiate cura della vostra bicicletta!
Premessa Premessa In auto Quanti seggiolini nella vita di un bambino? Attenzione! Abbiate cura della vostra bicicletta! In bicicletta pag. 2 pag. 3 pag. 5 pag. 15 pag. 21 pag. 23 In Italia, ogni anno,
DettagliL Italia sembra giovane. e nuova, con le case bruciate
pp f I 25 p f v Rz Lbz I. I 25 p bz I pz v f. G h v Rz I. I I Rz è p h h b f. A q pp pp p h ppv v f. I v f, è v h pv pv f bà p. Iv p pp p h pp Rz v z bà. L I b v v, b, q p,, p p, p. N bb v,. pp f CITAZIONI
DettagliLogica 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 è
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
DettagliInserire questa intestazione centrata, corsivo, grassetto, Arial a 10 punti. LAB. WORD -
PUNTO 1 Impostare il font Arial, dimensione 14, allineamento a sinistra. P.2 Impostare i margini del foglio in questo modo: superiore e inferiore a 2.5 cm, destro e sinistro a 2 cm, intestazione e piè
DettagliGrafico della parabola
Grafico della parabola Il grafico matematico è un disegno che mostra l andamento di una funzione f(x) al variare della variabile x. Per tracciare un grafico sul video del computer, si deve scegliere un
Dettagli1 Definizione: lunghezza di una curva.
Abstract Qui viene affrontato lo studio delle curve nel piano e nello spazio, con particolare interesse verso due invarianti: la curvatura e la torsione Il primo ci dice quanto la curva si allontana dall
DettagliL espressione torna invece sempre vera (quindi la soluzione originale) se cambiamo contemporaneamente il verso: 1 < 0.
EQUAZIONI E DISEQUAZIONI Le uguaglianze fra espressioni numeriche si chiamano equazioni. Cercare le soluzioni dell equazione vuol dire cercare quelle combinazioni delle lettere che vi compaiono che la
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
Dettagli2. Semantica proposizionale classica
20 1. LINGUAGGIO E SEMANTICA 2. Semantica proposizionale classica Ritorniamo un passo indietro all insieme dei connettivi proposizionali che abbiamo utilizzato nella definizione degli enunciati di L. L
DettagliI]nhhZc@gjee :azkvidg >iva^v. Latitude. L ultima generazione di ascensori gearless senza locale macchina
I]nhhZc@gjee :azkvidg >iva^v Latitude. L ultima generazione di ascensori gearless senza locale macchina Sviluppare prodotti di alta qualità è nella filosofia ThyssenKrupp. Il Latitude ne è un esempio.
Dettaglix (x i ) (x 1, x 2, x 3 ) dx 1 + f x 2 dx 2 + f x 3 dx i x i
NA. Operatore nabla Consideriamo una funzione scalare: f : A R, A R 3 differenziabile, di classe C (2) almeno. Il valore di questa funzione dipende dalle tre variabili: Il suo differenziale si scrive allora:
Dettaglip atm 1. V B ; 2. T B ; 3. W A B 4. il calore specifico a volume costante c V
1 Esercizio (tratto dal Problema 13.4 del Mazzoldi 2) Un gas ideale compie un espansione adiabatica contro la pressione atmosferica, dallo stato A di coordinate, T A, p A (tutte note, con p A > ) allo
DettagliFunzione reale di variabile reale
Funzione reale di variabile reale Siano A e B due sottoinsiemi non vuoti di. Si chiama funzione reale di variabile reale, di A in B, una qualsiasi legge che faccia corrispondere, a ogni elemento A x A
DettagliIMPIEGO DI UN MODELLO AGROMETEOROLOGICO PER LA CARATTERIZZAZIONE DEL RISCHIO POTENZIALE DI PRODUZIONE DI MICOTOSSINE NELLE AREE MAIDICOLE PIEMONTESI.
IMPIEGO DI UN MODELLO AGROMETEOROLOGICO PER LA CARATTERIZZAZIONE DEL RISCHIO POTENZIALE DI PRODUZIONE DI MICOTOSSINE NELLE AREE MAIDICOLE PIEMONTESI. F. Spanna 1, G. Cressano 1, T. La Iacona 1, I. Vercellino
DettagliTruebikecar AutoVip. Presentazione progetto Auto Vip. Truebikecar.com
Truebikecar AutoVip Presentazione progetto Auto Vip. Truebikecar.com Questo progetto nasce dalla necessità di sodisfare tutte le esigenze dei partecipanti alla community Truebikecar, dando ai membri, tanti
DettagliCorso di LOGICA II: indagini semantiche su modalità e quantificazione. Uno studio di logica della necessità e della possibilità
Corso di LOGICA II: indagini semantiche su modalità e quantificazione. Uno studio di logica della necessità e della possibilità Luisa Bortolotti Trento, 30.04.04 Lezione 26 : IL SISTEMA K-G (3) 2. MODALITA
DettagliCLASSE terza SEZIONE E A.S. 2014-15 PROGRAMMA SVOLTO
CLASSE terza SEZIONE E A.S. 2014-15 L insieme dei numeri razionali. Equazioni e disequazioni di primo grado Sistemi di equazioni e disequazioni di primo grado.. IL PIANO CARTESIANO Il piano cartesiano.
DettagliEsercizio 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
DettagliDifatti essa è leggibile, capovolta, come l elemento decorativo, l elmetto, la figura conclusiva di un antica torre.
Il progetto è espressione prima di sintesi. Interpretando e raccogliendo stimolo dai motivi dettati dal bando di concorso, il logotipo cerca di raccontarsi e riferirsi da subito attraverso geometrie e
DettagliCAPITOLO 3 TRASFORMARE FORMULE E DEDURRE DA TEORIE.
pag. 1 Capitolo 3 CAPITOLO 3 TRASFORMARE FORMULE E DEDURRE DA TEORIE. 1. Sistemi di trasformazione. La nozione di relazione binaria che abbiamo già esaminato nel capitolo precedente è anche alla base della
DettagliDa Piazzale Roma a B&B Sandra
Da Piazzale Roma a B&B Sandra Una volta arrivati a Piazzale Roma ci sono due possibili alternative per raggiungerci,: Map Alternativa 1: A Piedi Questa alternativa va bene se il vostro bagaglio non è troppo
DettagliMetodi di previsione
Metodi di previsione Giovanni Righini Università degli Studi di Milano Corso di Logistica I metodi di previsione I metodi di previsione sono usati per ricavare informazioni a sostegno dei processi decisionali
DettagliIntroduzione alla Programmazione
Introduzione alla Programmazione Lorenzo Bettini Corso di Laurea in Scienze dell'educazione 2014/2015 Cosa è un programma Costituito da tante istruzioni Una lista di cose da fare Che il processore esegue
DettagliCorso di Calcolo Numerico
Corso di Calcolo Numerico Dottssa MC De Bonis Università degli Studi della Basilicata, Potenza Facoltà di Ingegneria Corso di Laurea in Ingegneria Meccanica Corso di Calcolo Numerico - Dottssa MC De Bonis
DettagliA i è un aperto in E. i=1
Proposizione 1. A è aperto se e solo se A c è chiuso. Dimostrazione. = : se x o A c, allora x o A = A o e quindi esiste r > 0 tale che B(x o, r) A; allora x o non può essere di accumulazione per A c. Dunque
DettagliSVILUPPO IN SERIE DI FOURIER. Prof. Attampato Daniele
SVILUPPO IN SERIE DI FOURIER Prof. Attampato Daniele SVILUPPO IN SERIE DI UNA FUNZIONE Uno dei problemi più frequenti in matematica è legato alla necessità di approssimare una funzione. Uno degli strumenti
DettagliISOMAX. Catalogo Family
Catalogo Family COLLEZIONE CONTEMPORANEA LUCIDE Finitura brillante a specchio con anta nei colori rosso, bianco e nero e telaio nei colori frassino nero, bianco soft, rovere sbiancato, mogano e alluminio.
DettagliSpecchi retrovisori. Motoagricole furgoni Fiat Coppa (mm. 198 x 140) attacco a 3 fori. Destro completo OC07 1000. Sinistro completo OC07 1001
Specchi retrovisori Specchi retrovisori OC07 1000 OC07 1001 Motoagricole furgoni Fiat Coppa (mm. 198 x 140) attacco a 3 fori OC07 1010 OC07 1011 Motoagricole, furgoni Fiat, Alfa-Romeo, Peugeot, Citroen
DettagliScuola dell Infanzia «Andersen» Sezione 2 Anno scolastico 2010/2011. Insegnanti: Tenace M. Teresa, Martinelli Liana
Scuola dell Infanzia «Andersen» Sezione 2 Anno scolastico 2010/2011 Insegnanti: Tenace M. Teresa, Martinelli Liana Obiettivi fissati: Stimolare il piacere della lettura come momento emotivamente coinvolgente;
DettagliTutto l usato con un clic, seguici sul NOSTRO SITO! www.mollofratelli.com MARCA MODELLO H ANNO NOTE
C.so Canale 112, Alba (CN) Ufficio Vendite Tel. 0173.444830-335.1236797 Fax 0173.444886 Email: usato@mollonoleggio.com M A C C H I N E B E L L E E G A R A N T I T E C O N K M E / O O R E D I L AV O R O
Dettagli3. 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
DettagliESEMPI INTEGRAZIONE PRODOTTI
System Manual ESEMPI INTEGRAZIONE PRODOTTI Invio e Ricezione SMS mediante Modem GSM Digicom(LEECAWEBDIG) e plc con SCP111 SM_mod_sms SOMMARIO 1 - OGGETTO 2 - ARCHITETTURA 2.1 - Hardware 2.2 - Software
DettagliTECNOLOGIE INFORMATICHE DELLA COMUNICAZIONE ORE SETTIMANALI 2 TIPO DI PROVA PER GIUDIZIO SOSPESO PROVA DI LABORATORIO
CLASSE DISCIPLINA MODULO Conoscenze Abilità e competenze Argomento 1 Concetti di base Argomento 2 Sistema di elaborazione Significato dei termini informazione, elaborazione, comunicazione, interfaccia,
DettagliCONCETTO DI LIMITE DI UNA FUNZIONE REALE
CONCETTO DI LIMITE DI UNA FUNZIONE REALE Il limite di una funzione è uno dei concetti fondamentali dell'analisi matematica. Tramite questo concetto viene formalizzata la nozione di funzione continua e
DettagliIntroduzione alla contabilità generale
Economia e organizzazione aziendale I Contabilità generale Analisi degli eventi gestionali Rettifiche di fine esercizio Esercizio: stato patrimoniale iniziale Esercizio: la gestione Esercizio: primo bilancio
DettagliGuida rapida al collegamento e all uso. HDD Network Audio Component NAC-HD1E. Collegamenti... 2. Ascolto di CD o trasmissioni radio...
3-213-272-51(1) Guida rapida al collegamento e all uso Collegamenti... 2 Ascolto di CD o trasmissioni radio... 5 HDD Network Audio Component NAC-HD1E Nel presente manuale sono illustrate le modalità di
DettagliNEWJERSEY CON PIASTRE PER CANCELLI
NEWJERSEY CON PIASTRE PER CANCELLI Sono previsti mini NEWJERSEY Centrali (), NEWJERSEY Centrali () e vari elementi speciali con applicate nelle testate piastre in acciaio inserite nel getto e collegate
DettagliProgrammazione Matematica classe V A. Finalità
Finalità Acquisire una formazione culturale equilibrata in ambito scientifico; comprendere i nodi fondamentali dello sviluppo del pensiero scientifico, anche in una dimensione storica, e i nessi tra i
DettagliCapitolo 6. Soluzione degli esercizi a cura di Rosa Falotico
Capitolo 6 Soluzione degli esercizi a cura di Rosa Falotico Esercizio 6.1 Dopo aver notato che quando le modalità si presentano con frequenze unitarie, la formula per il calcolo della media si semplifica,
DettagliConferenza LibreItalia 28 Novembre 2015 Palazzo Gazzoli Via del Teatro Romano 16 05100 - Terni (TR)
Conferenza LibreItalia 28 Novembre 2015 Palazzo Gazzoli Via del Teatro Romano 16 05100 - Terni (TR) Conferenza LibreItalia Programma 9:00 Apertura lavori 9:15 Un anno di LibreItalia, Sonia Montegiove 9:30
DettagliCOMUNE DI BOSNASCO (PV) Data 14/07/2015 Pag. 1
COMUNE DI BOSNASCO (PV) Data 14/07/2015 Pag. 1 Programma : 0001 FUNZIONAMENTO SERVIZI GENERALI SPESE CORRENTI TITOLO I Personale CO 201.784,75 202.452,52 201.952,52 205.451,60 205.451,60 612.855,72 T 201.784,75
Dettagliwww.sapienzafinanziaria.com la formazione finanziaria è il miglior investimento per il tuo domani
www.sapienzafinanziaria.com la formazione finanziaria è il miglior investimento per il tuo domani Coaching 1 Edizione marzo / luglio 2015 Istruzioni EA WIZARD Una strategia base www.sapienzafinanziaria.com
DettagliRETE DI PRODOTTO RAPPRESENTA LE CONNESSIONI TRA I SINGOLI COMPONENTI CHE VANNO A COSTITUIRE IL PRODOTTO FINALE
RETE DI PRODOTTO RAPPRESENTA LE CONNESSIONI TRA I SINGOLI COMPONENTI CHE VANNO A COSTITUIRE IL PRODOTTO FINALE RETE DI PRODOTTO Grezzi Lavorati Sottogruppi Prodotto A1 B1 A2 B2 A3 B3 C2,3,4 A4 Prodotto
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
DettagliRappresentazione della conoscenza. ha poco potere espressivo in quanto ha un ontologia limitata: il mondo consiste di fatti, es.
Scaletta argomenti: Rappresentazione della conoscenza Logica del primo ordine Logiche non-monotone Reti semantiche Frame e script Regole di produzione Logica del Primo Ordine - Logica proposizionale ha
Dettagli1 Appunti a cura di prof.ssa MINA Maria Letizia integrati e pubblicati in data 12/10/10
FUNZIONE OMOGRAFICA ASINTOTO VERTICALE: ASINTOTO ORIZZONTALE: 1 abbiamo verificato che, applicando all iperbole equilatera base, la dilatazione verticale di coefficiente 7 e la traslazione di vettore di
Dettagli( ) ( ) Verifica di matematica classe 5 a A LST
Verifica di matematica classe 5 a A LST - Dopo aver dato le definizioni di asintoto orizzontale, verticale ed obliquo, determina il Dominio e scrivi le equazioni degli asintoti della seguente funzione.
DettagliTeoria 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
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
DettagliLE OPZIONI DI GESTIONE DEI MENÙ DI NEWCART
LE OPZIONI DI GESTIONE DEI MENÙ DI NEWCART I possibili menù di un E-Shop NewCart sono 4 e sono disposti rispettivamente in alto (Menù testata), nella colonna destra (Menù Dx), nella colonna sinistra (Menù
DettagliRiconoscere e formalizzare le dipendenze funzionali
Riconoscere e formalizzare le dipendenze funzionali Giorgio Ghelli 25 ottobre 2007 1 Riconoscere e formalizzare le dipendenze funzionali Non sempre è facile indiduare le dipendenze funzionali espresse
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
Dettagliinfo e contatti: info@loveat2016.it
Perché tutto comincia da un assaggio. LovEat è la prima Fiera Alimentare a Venezia, in programma al Pala ExpoVenice il 2-3 - 4 dicembre 2016. Un percorso enogastronomico costellato di eccellenze italiane.
DettagliLogica e codifica binaria dell informazione
Politecnico di Milano Corsi di Laurea in Ingegneria Matematica e Ingegneria Fisica Dipartimento di Elettronica ed Informazione Logica e codifica binaria dell informazione Anno Accademico 2002 2003 L. Muttoni
Dettagli2011 Alma Edizioni. Materiale fotocopiabile
Proponiamo alcune possibili attività didattiche da fare in classe con i calendari di Domani, in cui sono riportati gli eventi significativi della cultura e della Storia d Italia. 2011 Alma Edizioni Materiale
DettagliAnalisi Complessa. Prova intermedia del 7 novembre 2002 - Soluzioni. (z 11 1) 11 1 = 0.
Analisi Complessa Prova intermedia del 7 novembre 2002 - Soluzioni Esercizio. Si consideri l equazione z 0. Quante soluzioni distinte esistono in C? Quante di esse sono contenute all interno del disco
DettagliProposte per la linea ferroviaria Cuneo Breil sur Roya Ventimiglia/Nizza ed il traffico ferroviario in Provincia
CONVEGNO ITE A CUNEO DEL 4 GIUGNO 2010-06-02 Dopo Copenhagen: Le scelte da fare su trasporti ed infrastrutture Proposte per la linea ferroviaria Cuneo Breil sur Roya Ventimiglia/Nizza ed il traffico ferroviario
DettagliMOVIMENTO ACCESSO E GUIDA DIRETTAMENTE DALLA CARROZZINA
INDIPENDENZA e LIBERTÀ di MOVIMENTO Sappiamo che l indipendenza e la mobilità è estremamente importante per tutte le persone, in particolare per le persone che vivono quotidianamente su una carrozzina
DettagliSyllabus: argomenti di Matematica delle prove di valutazione
Syllabus: argomenti di Matematica delle prove di valutazione abcdef... ABC (senza calcolatrici, senza palmari, senza telefonini... ) Gli Argomenti A. Numeri frazioni e numeri decimali massimo comun divisore,
DettagliIl problema della ver-calità. Maffini Achille Liceo Scientifico Ulivi (PR)
Il problema della ver-calità Maffini Achille Liceo Scientifico Ulivi (PR) 1 I problemi della ver-calità: una consegna Quali problemi individui nella costruzione di un curricolo veramente verticale? Su
DettagliDISORGANIZZAZIONE DISLESSIA CONCENTRAZIONE DISGRAFIA DSA DISORTOGRAFIA LENTEZZA MEMORIA DISCALCULIA DISPRASSIA DISNOMIA.
DISORGANIZZAZIONE DISLESSIA CONCENTRAZIONE DISGRAFIA LENTEZZA DSA DISORTOGRAFIA MEMORIA DISCALCULIA DISPRASSIA DISNOMIA 2 DISLESSIA difficoltà Studio della teoria sul libro. Comprensione del testo di un
DettagliVARIANZA CAMPIONARIA E DEVIAZIONE STANDARD. Si definisce scarto quadratico medio o deviazione standard la radice quadrata della varianza.
VARIANZA CAMPIONARIA E DEVIAZIONE STANDARD Si definisce varianza campionaria l indice s 2 = 1 (x i x) 2 = 1 ( xi 2 n x 2) Si definisce scarto quadratico medio o deviazione standard la radice quadrata della
DettagliTot. Dist. fam. R corretto. F_01 foliazione 275 14 estrem strett molto alta chius 0-2 nessuno HW umid 13 16 18 12 10 15 10 22 18 10 12 13.78 3.
stazione 101118_01 Data 18 Nov. 2010 Torrente Giampilieri Quota 380 micascisti J_01 joint 75 30 larga molto alt chius 2-4 nessuno SW compl asc 44 15 18 12 19 20 9 11 8 11 13.48 4.51 J_02 joint 70 15 strett
DettagliServizio ferroviario regionale in Lombardia: progetto e prospettive
Brescia 21 settembre 2015 Elena Foresti Regione Lombardia - DG Infrastrutture e Mobilità Servizio ferroviario regionale in Lombardia: progetto e prospettive Il servizio ferroviario regionale oggi FS-RFI:
Dettaglihttp://www.apriliasulweb.it/
http://www.apriliasulweb.it/ Il portale su Aprilia, per Aprilia e di Aprilia ITINERARI APRILIA CENTRO CIRCOLARE DESTRA Via Cattaneo Via Lazio Via delle Margherite Piazza Parlamento Corso Giovanni XXIII
Dettagli