Prerequisiti di Matematica Richiami di Logica
|
|
|
- Mariano Belli
- 7 anni fa
- Visualizzazioni
Transcript
1 Prerequisiti di Matematica Richiami di Logica Annalisa Amadori e Benedetta Pellacci amadori@uniparthenope.it pellacci@uniparthenope.it Università di Napoli Parthenope
2 Prerequisiti di Matematica Elementi di Logica
3 Prerequisiti di Matematica Elementi di Logica Insiemi numerici e operazioni
4 Prerequisiti di Matematica Elementi di Logica Insiemi numerici e operazioni Monomi, Polinomi, Frazioni algebriche
5 Prerequisiti di Matematica Elementi di Logica Insiemi numerici e operazioni Monomi, Polinomi, Frazioni algebriche Equazioni e disequazioni di primo e secondo grado (con interpretazione graca)
6 Prerequisiti di Matematica Elementi di Logica Insiemi numerici e operazioni Monomi, Polinomi, Frazioni algebriche Equazioni e disequazioni di primo e secondo grado (con interpretazione graca) Equazioni e disequazioni razionali
7 Prerequisiti di Matematica Elementi di Logica Insiemi numerici e operazioni Monomi, Polinomi, Frazioni algebriche Equazioni e disequazioni di primo e secondo grado (con interpretazione graca) Equazioni e disequazioni razionali Sistemi
8 Prerequisiti di Matematica Elementi di Logica Insiemi numerici e operazioni Monomi, Polinomi, Frazioni algebriche Valore assoluto
9 Prerequisiti di Matematica Elementi di Logica Insiemi numerici e operazioni Monomi, Polinomi, Frazioni algebriche Valore assoluto Equazioni e disequazioni con valore assoluto
10 Prerequisiti di Matematica Elementi di Logica Insiemi numerici e operazioni Monomi, Polinomi, Frazioni algebriche Valore assoluto Potenze, esponenziali, logaritmi
11 Prerequisiti di Matematica Elementi di Logica Insiemi numerici e operazioni Monomi, Polinomi, Frazioni algebriche Valore assoluto Potenze, esponenziali, logaritmi Equazioni e disequazioni irrazionali
12 Prerequisiti di Matematica Elementi di Logica Insiemi numerici e operazioni Monomi, Polinomi, Frazioni algebriche Valore assoluto Potenze, esponenziali, logaritmi Equazioni e disequazioni irrazionali Equazioni e disequazioni logaritmiche
13 Prerequisiti di Matematica Elementi di Logica Insiemi numerici e operazioni Monomi, Polinomi, Frazioni algebriche Valore assoluto Potenze, esponenziali, logaritmi Equazioni e disequazioni irrazionali Equazioni e disequazioni logaritmiche Equazioni e disequazioni esponenziali
14 Prerequisiti di Matematica Elementi di Logica Insiemi numerici e operazioni Monomi, Polinomi, Frazioni algebriche Valore assoluto Potenze, esponenziali, logaritmi Trigonometria (goniometria): angoli, archi e principali funzioni trigonometriche
15 Prerequisiti di Matematica Elementi di Logica Insiemi numerici e operazioni Monomi, Polinomi, Frazioni algebriche Valore assoluto Potenze, esponenziali, logaritmi Trigonometria (goniometria): angoli, archi e principali funzioni trigonometriche Equazioni e disequazioni trigonometriche
16 Prerequisiti di Matematica Elementi di Logica Insiemi numerici e operazioni Monomi, Polinomi, Frazioni algebriche Valore assoluto Potenze, esponenziali, logaritmi Trigonometria (goniometria): angoli, archi e principali funzioni trigonometriche Geometria analitica del piano: rette e coniche
17 Un po' di Vocabolario Un predicato (o proprietà) è una frase che contiene una o più variabili: la sua verità dipende dal valore assunto dalle variabili. Una proposizione è una frase che aerma una proprietà di esse: essa contiene, oltre alle variabili, i cosiddetti quanticatori. Essa può essere vera o falsa. Esempio 1. Il numero naturale n è dispari. 2. Esiste un numero naturale dispari. 3. Ogni numero naturale è dispari.
18 Un po' di Vocabolario Un predicato (o proprietà) è una frase che contiene una o più variabili: la sua verità dipende dal valore assunto dalle variabili. Una proposizione è una frase che aerma una proprietà di esse: essa contiene, oltre alle variabili, i cosiddetti quanticatori. Essa può essere vera o falsa. Esempio 1. Il numero naturale n è dispari. 2. Esiste un numero naturale dispari. 3. Ogni numero naturale è dispari. 1 è un predicato. Possiamo dire se è vera o falsa? Dipende da quale valore attribuiamo a n.
19 Un po' di Vocabolario Un predicato (o proprietà) è una frase che contiene una o più variabili: la sua verità dipende dal valore assunto dalle variabili. Una proposizione è una frase che aerma una proprietà di esse: essa contiene, oltre alle variabili, i cosiddetti quanticatori. Essa può essere vera o falsa. Esempio 1. Il numero naturale n è dispari. 2. Esiste un numero naturale dispari. 3. Ogni numero naturale è dispari. 2 è una proposizione. È vera in quanto il numero naturale 3 è dispari.
20 Un po' di Vocabolario Un predicato (o proprietà) è una frase che contiene una o più variabili: la sua verità dipende dal valore assunto dalle variabili. Una proposizione è una frase che aerma una proprietà di esse: essa contiene, oltre alle variabili, i cosiddetti quanticatori. Essa può essere vera o falsa. Esempio 1. Il numero naturale n è dispari. 2. Esiste un numero naturale dispari. 3. Ogni numero naturale è dispari. 3 è una proposizione. È falsa in quanto il numero naturale 2 non è dispari.
21 Quanticatori (per ogni o qualunque) quanticatore universale ; (esiste) quanticatore esistenziale.
22 Quanticatori (per ogni o qualunque) quanticatore universale ; (esiste) quanticatore esistenziale. Quando si vuole provare che una certa proprietà vale per tutti i numeri reali ( x R), bisognerà prendere in considerazione un generico numero x e vedere se tale proprietà è soddisfatta da x.
23 Quanticatori (per ogni o qualunque) quanticatore universale ; (esiste) quanticatore esistenziale. Quando si vuole provare che una certa proprietà vale per tutti i numeri reali ( x R), bisognerà prendere in considerazione un generico numero x e vedere se tale proprietà è soddisfatta da x. Quando diciamo generico, intendiamo un numero NON noto per questo motivo lo chiamiamo x, perché potrebbe essere 3, 2 o π/2 (o qualsiasi altro numero), NON lo sappiamo!
24 Quanticatori (per ogni o qualunque) quanticatore universale ; (esiste) quanticatore esistenziale. Quando si vuole provare che una certa proprietà vale per tutti i numeri reali ( x R), bisognerà prendere in considerazione un generico numero x e vedere se tale proprietà è soddisfatta da x. Esempio Tutti i numeri positivi sono maggiori di x 0 = 1.
25 Quanticatori (per ogni o qualunque) quanticatore universale ; (esiste) quanticatore esistenziale. Quando si vuole provare che una certa proprietà vale per tutti i numeri reali ( x R), bisognerà prendere in considerazione un generico numero x e vedere se tale proprietà è soddisfatta da x. Esempio Tutti i numeri positivi sono maggiori di x 0 = 1. Quest'aermazione è vera poiché x > 0 risulta x > 0 > 1 = x 0.
26 Quanticatori (per ogni o qualunque) quanticatore universale ; (esiste) quanticatore esistenziale. Quando si vuole provare che una certa proprietà vale per tutti i numeri reali ( x R), bisognerà prendere in considerazione un generico numero x e vedere se tale proprietà è soddisfatta da x. Se si vuol provare che una certa proprietà NON è soddisfatta da tutti i numeri reali basterà far vedere che esiste un numero che non la soddisfa.
27 Quanticatori (per ogni o qualunque) quanticatore universale ; (esiste) quanticatore esistenziale. Quando si vuole provare che una certa proprietà vale per tutti i numeri reali ( x R), bisognerà prendere in considerazione un generico numero x e vedere se tale proprietà è soddisfatta da x. Se si vuol provare che una certa proprietà NON è soddisfatta da tutti i numeri reali basterà far vedere che esiste un numero che non la soddisfa. Cioè basterà trovare un numero particolare (scelto da noi, quindi questa volta conosciuto!) che non ha la proprietà in questione.
28 Quanticatori (per ogni o qualunque) quanticatore universale ; (esiste) quanticatore esistenziale. Quando si vuole provare che una certa proprietà vale per tutti i numeri reali ( x R), bisognerà prendere in considerazione un generico numero x e vedere se tale proprietà è soddisfatta da x. Se si vuol provare che una certa proprietà NON è soddisfatta da tutti i numeri reali basterà far vedere che esiste un numero che non la soddisfa. Esempio Tutti i numeri sono positivi.
29 Quanticatori (per ogni o qualunque) quanticatore universale ; (esiste) quanticatore esistenziale. Quando si vuole provare che una certa proprietà vale per tutti i numeri reali ( x R), bisognerà prendere in considerazione un generico numero x e vedere se tale proprietà è soddisfatta da x. Se si vuol provare che una certa proprietà NON è soddisfatta da tutti i numeri reali basterà far vedere che esiste un numero che non la soddisfa. Esempio Tutti i numeri sono positivi. Quest'aermazione è falsa poiché x = 1 che è negativo.
30 Congiunzioni e disgiunzioni Nelle proposizioni possono essere presenti delle congiunzioni o disgiunzioni. La congiunzione più usata è e La disgiunzione più frequente è o.
31 Congiunzioni e disgiunzioni Nelle proposizioni possono essere presenti delle congiunzioni o disgiunzioni. La congiunzione più usata è e La disgiunzione più frequente è o. Una proposizione, formata da due frasi legate da e, è vera se e solo se sono vere entrambe le frasi.
32 Congiunzioni e disgiunzioni Nelle proposizioni possono essere presenti delle congiunzioni o disgiunzioni. La congiunzione più usata è e La disgiunzione più frequente è o. Una proposizione, formata da due frasi legate da e, è vera se e solo se sono vere entrambe le frasi. L'insieme delle x che vericano il predicato P (x) e il predicato Q(x) è l'intersezione fra le x che vericano P (x) e quelle che vericano Q(x).
33 Congiunzioni e disgiunzioni Nelle proposizioni possono essere presenti delle congiunzioni o disgiunzioni. La congiunzione più usata è e La disgiunzione più frequente è o. Una proposizione, formata da due frasi legate da e, è vera se e solo se sono vere entrambe le frasi. Una proposizione in cui sono presenti due frasi legate da un o è vera non appena è vera una delle due frasi contenute.
34 Congiunzioni e disgiunzioni Nelle proposizioni possono essere presenti delle congiunzioni o disgiunzioni. La congiunzione più usata è e La disgiunzione più frequente è o. Una proposizione, formata da due frasi legate da e, è vera se e solo se sono vere entrambe le frasi. Una proposizione in cui sono presenti due frasi legate da un o è vera non appena è vera una delle due frasi contenute. L'insieme delle x che vericano il predicato P (x) o il predicato Q(x) è l'unione delle x che vericano P (x) e quelle che vericano Q(x).
35 Congiunzioni e disgiunzioni Nelle proposizioni possono essere presenti delle congiunzioni o disgiunzioni. La congiunzione più usata è e La disgiunzione più frequente è o. Una proposizione, formata da due frasi legate da e, è vera se e solo se sono vere entrambe le frasi. Una proposizione in cui sono presenti due frasi legate da un o è vera non appena è vera una delle due frasi contenute. Esempio = 4 e = 6 è vera = 4 o = 6 è vera = 4 e = 5 è falsa = 4 o = 5 è vera.
36 Denizioni e teoremi Una Denizione è una frase che spiega in modo univoco il signicato di una parola o di un concetto. Esempio Un numero razionale è un numero che si scrive come x = p/q con p e q interi, q 0.
37 Ipotesi e Tesi Un teorema (o enunciato matematico) è formato da almeno due predicati e da una connessione logica. Un predicato, detto ipotesi, svolge il ruolo di causa. L'altro predicato, detto tesi, ne è l'eetto. Esempio Se due bimbi sono gemelli allora sono fratelli
38 Ipotesi e Tesi Un teorema (o enunciato matematico) è formato da almeno due predicati e da una connessione logica. Un predicato, detto ipotesi, svolge il ruolo di causa. L'altro predicato, detto tesi, ne è l'eetto. Esempio Se due bimbi sono gemelli allora sono fratelli La proprietà di essere gemelli implica (causa, ha come consequenza) essere fratelli, se l'ipotesi di essere gemelli viene soddisfatta allora la tesi di essere fratelli sarà vera.
39 Ipotesi e Tesi Poniamo, per brevità A : essere gemelli, B : essere fratelli, = l'implicazione logica: allora o implica che. Abbiamo visto che A B cioè essere gemelli è condizione suciente per essere fratelli.
40 Ipotesi e Tesi Poniamo, per brevità A : essere gemelli, B : essere fratelli, = l'implicazione logica: allora o implica che. Abbiamo visto che A B cioè essere gemelli è condizione suciente per essere fratelli. Che possiamo dire delle altre implicazioni?
41 Ipotesi e Tesi Poniamo, per brevità A : essere gemelli, B : essere fratelli, = l'implicazione logica: allora o implica che. Abbiamo visto che A B cioè essere gemelli è condizione suciente per essere fratelli. Che possiamo dire delle altre implicazioni? B A? cioè Se due bimbi sono fratelli allora sono gemelli"?
42 Ipotesi e Tesi Poniamo, per brevità A : essere gemelli, B : essere fratelli, = l'implicazione logica: allora o implica che. Abbiamo visto che A B cioè essere gemelli è condizione suciente per essere fratelli. Che possiamo dire delle altre implicazioni? B A? cioè Se due bimbi sono fratelli allora sono gemelli"? NO, è possibile che A sia falsa anche se B è vera, cioè essere fratelli non è condizione suciente per essere gemelli, o, anche, essere gemelli è condizione suciente, ma non necessaria per essere fratelli
43 Ipotesi e Tesi Poniamo, per brevità A : essere gemelli, B : essere fratelli, = l'implicazione logica: allora o implica che. Abbiamo visto che A B cioè essere gemelli è condizione suciente per essere fratelli. Che possiamo dire delle altre implicazioni? nonb nona? Se due bambini non sono fratelli allora non sono gemelli?
44 Ipotesi e Tesi Poniamo, per brevità A : essere gemelli, B : essere fratelli, = l'implicazione logica: allora o implica che. Abbiamo visto che A B cioè essere gemelli è condizione suciente per essere fratelli. Che possiamo dire delle altre implicazioni? nonb nona? Se due bambini non sono fratelli allora non sono gemelli? SÍ, se B è falsa, allora anche A è falsa o, anche essere fratelli è condizione necessaria per essere gemelli
45 Ipotesi e Tesi Poniamo, per brevità A : essere gemelli, B : essere fratelli, = l'implicazione logica: allora o implica che. Abbiamo visto che A B cioè essere gemelli è condizione suciente per essere fratelli. Che possiamo dire delle altre implicazioni? nona nonb? cioè Se due bambini non sono gemelli allora non sono fratelli?
46 Ipotesi e Tesi Poniamo, per brevità A : essere gemelli, B : essere fratelli, = l'implicazione logica: allora o implica che. Abbiamo visto che A B cioè essere gemelli è condizione suciente per essere fratelli. Che possiamo dire delle altre implicazioni? nona nonb? cioè Se due bambini non sono gemelli allora non sono fratelli? NO, è possibile che B sia vera anche se A è falsa, di nuovo vediamo che essere gemelli è condizione suciente, ma non necessaria per essere fratelli
47 Poniamo, per brevità A : essere gemelli, B : essere fratelli, = l'implicazione logica: allora o implica che. In sintesi A B non B nona
48 Ipotesi e Tesi Poniamo, per brevità A : essere gemelli, B : essere fratelli, = l'implicazione logica: allora o implica che. In sintesi A B non B nona ma non possiamo concludere, in generale, che B A non A non B Quando anche queste due sono vere, diciamo che A è condizione necessaria e suciente per B.
49 Suciente e Necessario Esempio: Proposizione Se x = 2 allora x 2 = 4. Nell'ipotesi vengono aermate le condizioni sucienti a garantire che la tesi si avveri. L'essere uguale a due è una condizione suciente per un numero x anché il suo quadrato sia uguale a quattro. NON viene aermato che x 2 è uguale a quattro SOLTANTO se x è uguale a due. (Infatti x 2 = 4 anche quando x = 2.) Essere condizione suciente è DIVERSO dall'essere condizione necessaria.
50 Suciente e Necessario Esempio: Proposizione x 2 = 4 se e solo se x = ±2. In questo caso, l'essere uguale a più o meno due è una condizione suciente e necessaria per un numero x anché il suo quadrato sia uguale a quattro. Cioè x 2 è uguale a quattro se e soltanto se x è uguale a 2 o 2. Per indicare la doppia implicazione logica (necessario e suciente) si usa il simbolo
51 Negazioni NEGARE: P (x) è vera x, vuol dire: x per cui P (x) sia falsa; NEGARE : P (x) è vera per per un certo x P (x) è falsa x. vuol dire
52 Negazioni NEGARE: P (x) è vera x, vuol dire: x per cui P (x) sia falsa; NEGARE : P (x) è vera per per un certo x P (x) è falsa x. vuol dire Per negare il per ogni dobbiamo usare esiste, mentre per negare esiste dobbiamo usare il per ogni.
53 Negazioni NEGARE: P (x) è vera x, vuol dire: x per cui P (x) sia falsa; NEGARE : P (x) è vera per per un certo x P (x) è falsa x. vuol dire Per negare il per ogni dobbiamo usare esiste, mentre per negare esiste dobbiamo usare il per ogni. Allo stesso modo se in una proposizione è presente un e nella negazione otteniamo un o e viceversa.
54 Negazioni NEGARE: P (x) è vera x, vuol dire: x per cui P (x) sia falsa; NEGARE : P (x) è vera per per un certo x P (x) è falsa x. vuol dire Per negare il per ogni dobbiamo usare esiste, mentre per negare esiste dobbiamo usare il per ogni. Allo stesso modo se in una proposizione è presente un e nella negazione otteniamo un o e viceversa. Esempio Negare: Tutti i sabato vado al cinema e in pizzeria
55 Negazioni NEGARE: P (x) è vera x, vuol dire: x per cui P (x) sia falsa; NEGARE : P (x) è vera per per un certo x P (x) è falsa x. vuol dire Per negare il per ogni dobbiamo usare esiste, mentre per negare esiste dobbiamo usare il per ogni. Allo stesso modo se in una proposizione è presente un e nella negazione otteniamo un o e viceversa. Esempio Negare: Tutti i sabato vado al cinema e in pizzeria Risposta: Esiste un sabato in cui non vado al cinema o non vado in piazzeria.
56 Dimostrazione Per Assurdo Dimostrare una proposizione per assurdo consiste nel procedere come segue: Si suppone (per assurdo appunto!) che la tesi non sia vera, con lo scopo di arrivare attraverso passaggi logici all'ottenere che NEANCHE l'ipotesi è vera, il che ovviamente è assurdo! (perché???)
57 Esempio: Proposizione Non esiste un numero razionale il cui quadrato è due. Dimostrazione per Assurdo: Supponiamo che Esistono p, q N primi tra loro, tali che p 2 /q 2 = 2, da cui p 2 = 2q 2 ma allora p deve essere un numero pari, quindi esiste k N tale che p = 2k, da cui p 2 = 4k 2 ; ma allora q 2 = 2k 2, che implica che anche q è pari; il che è assurdo, perché p e q non possono avere divisori in comune; Quindi abbiamo concluso la dimostrazione.
58 Esercizi Esercizio Indicare qual è la negazione dell'aermazione Umberto ha almeno un glio biondo A. Almeno un glio di Umberto non è biondo B. Umberto non ha gli oppure ha soltanto gli non biondi C. Tutti i gli di Umberto sono bruni D. Non tutti i gli di Umberto sono biondi E. Umberto ha tutti i gli rossi di capelli
59 Esercizio Un accogliente cartello all'ingresso del ristorante L'Oca Giuliva recita: Se si è in pochi, si mangia bene Se si è in tanti, si spende poco Il Signor Aquilotto, con la sua mente acuta, ne deduce logicamente che: A. se si è pochi, si spende tanto B. per mangiar bene è necessario andarci in pochi C. se si mangia male non si è in pochi D. per spendere poco bisogna essere in tanti E. se si è in tanti, si mangia male.
60 Esercizio Un chimico, studiando una soluzione che si era tinta di arancione, constatò che in essa era presente del sodio o del potassio (o entrambi); inoltre osservò che, se NON c'era sodio, c'era ferro, e che, se c'era potassio, c'era anche jodio. Quale di queste situazione si può vericare? A. La soluzione contiene solo potassio e ferro B. La soluzione contiene solo ferro e jodio C. La soluzione contiene sodio e potassio, e non contiene jodio D. La soluzione non contiene né sodio né jodio E. La soluzione contiene solo sodio
61 Esercizio Premesso che: chi ascolta musica rock o blues non è stonato Agenore non è stonato chi ascolta blues non vince al Lotto quale tra le seguenti conclusioni NON si può trarre dalle precedenti premesse? A. È impossibile che Agenore ascolti blues B. Uno stonato non ascolta rock C. È possibile che Agenore non vinca al Lotto D. Chi vince al Lotto non ascolta blues E. Non è escluso che Agenore ascolti rock
62 Esercizio Un Marziolano, osservando che: metà di tutti i Tondolini sono remissivi metà di tutti i Marziolani sono testardi metà di tutti i Marziolani sono remissivi e tenendo presente che non si può essere insieme remissivi e testardi, deduce che una e una sola delle seguenti aermazioni NON può essere vera. Quale? A. Metà di tutti i Tondolini sono testardi B. Tutti i Tondolini sono Marziolani C. Tutti i Marziolani sono Tondolini e nessun Tondolino è testardo D. Non esistono Tondolini che siano anche Marziolani E. Tondolini e Marziolani sono lo stesso insieme di
63 Esercizio Il tenente Piccione, nel corso delle sue indagini su un assassinio, ha appurato questi due fatti: se X ha accoltellato la vittima, allora X è mancino; se Y ha accoltellato la vittima, allora Y è l'assassino. Quale di queste deduzioni è corretta? A. Il commissario Piccione accerta che il signor Bianchi non è mancino e ne deduce che non è l'assassino B. L'assassino ha accoltellato la vittima C. Il commissario Piccione accerta che il signor Rossi è mancino e ne deduce che è l'assassino D. Il commissario Piccione accerta che il signor Bianchi non è mancino e ne deduce che non ha accoltellato la vittima
64 Esercizio Una famosa congettura aerma che i numeri primi q tali che q + 2 è un numero primo sono inniti. Confutare questa aermazione equivale a provare che A. per ogni n N e per ogni numero primo q con q > n il numero q + 2 non è primo B. esistono n N e un numero primo q con q > n tali che il numero q + 2 non è primo C. per ogni n N esiste un numero primo q con q > n tale che il numero q + 2 non è primo D. esiste n N tale che, qualunque sia il numero primo q con q > n, il numero q + 2 non è primo E. esiste n N tale che, per ogni numero m N con m > n, il numero m + 2 non è primo
65 Esercizio In occasione delle elezioni primarie per la scelta del candidato premier di Burgundia, ciascuno dei sette candidati è sicuro di riuscire a classicarsi fra i tre più votati. Negare questa frase vuol dire aermare che: A. c'è almeno un candidato che teme di rientrare fra i tre meno votati B. c'è almeno un candidato che non è sicuro di rientrare fra i primi tre più votati C. alcuni dei sette candidati sono sicuri di riuscire a classicarsi fra i tre più votati D. ogni candidato è sicuro di non riuscire a classicarsi fra i tre più votati E. ciascuno dei sette candidati teme di rientrare fra i tre
66 Esercizio Il ministro dell'economia di Matlandia aerma: Se il bilancio non sarà tagliato, allora i prezzi rimarranno stabili se e soltanto se aumenteremo tutte le tasse. Sapendo che il bilancio non fu tagliato, che cosa può essere accaduto a Matlandia? A. Tutte le tasse furono aumentate e i prezzi rimasero stabili B. Tutte le tasse furono aumentate e i prezzi crebbero C. Le tasse non furono aumentate e i prezzi rimasero stabili D. Furono aumentate le tasse solo sugli stipendi degli impiegati dello Stato e i prezzi rimasero stabili E. I prezzi crebbero comunque
Prerequisiti di Matematica
Prerequisiti di Matematica Elementi di Logica, insiemi numerici e operazioni Monomi, Polinomi, Frazioni algebriche: operazioni, fattorizzazione eq. e diseq. di 1 o e 2 o grado, razionali sistemi di eq.
Analisi Matematica A CONTENUTI DEL CORSO. MODALITÀ D ESAME: Prova Scritta + Prova orale. Ingegneria Civile Ingegneria per l Ambiente e il Territorio
Analisi Matematica A Ingegneria Civile Ingegneria per l Ambiente e il Territorio Paola Gervasio orario di ricevimento: GIO. 9:30-11:30 Edificio di via Valotti, piano terra, tel. 030-3715734 e-mail: gervasio@ing.unibs.it
Analisi Matematica A
Analisi Matematica A Ingegneria Civile Ingegneria per l Ambiente e il Territorio Paola Gervasio orario di ricevimento: GIO. 9:30-11:30 Edificio di via Valotti, piano terra, tel. 030-3715734 e-mail: gervasio@ing.unibs.it
Elementi di logica. SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni.
Elementi di logica SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni. Quantificatori: elementi fondamentali del linguaggio matematico. quantificatore
Cenni di Logica. Hynek Kovarik. Università di Brescia. Analisi Matematica 1
Cenni di Logica Hynek Kovarik Università di Brescia Analisi Matematica 1 Hynek Kovarik (Università di Brescia) Cenni di Logica Analisi Matematica 1 1 / 15 Scopo: introdurre nozioni di logica & terminologia
Materiale didattico aggiuntivo - Analisi Matematica I CENNI DI LOGICA MATEMATICA. 1. Proposizioni. Valori logici. Connettivi logici. Tavole di verita.
Materiale didattico aggiuntivo - Analisi Matematica I CENNI DI LOGICA MATEMATICA 1. Proposizioni. Valori logici. Connettivi logici. Tavole di verita. Intenderemo per PROPOSIZIONE (o ENUNCIATO) una qualunque
1 Il linguaggio matematico
1 Il linguaggio matematico 1.1 La logica delle proposizioni La matematica è un linguaggio; a differenza del linguaggio letterario che utilizza una logica soggettiva, la matematica si serve di una logica
Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2017/2018 1 Corsi Introduttivi - a.a. 2017/2018 2 1 Logica matematica Serve
Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2018/2019 1 Corsi Introduttivi - a.a. 2017/2018 2 1 Logica matematica Serve
Cenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni 1 1 Logica matematica Corsi Introduttivi - a.a. 2016/2017 2 Serve
02 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 0 - Logica delle dimostrazioni Anno Accademico 015/016
Cenni di logica. Hynek Kovarik. Università di Brescia. Analisi Matematica A
Cenni di logica Hynek Kovarik Università di Brescia Analisi Matematica A Hynek Kovarik (Università di Brescia) Cenni di logica Analisi Matematica A 1 / 21 Scopo: introdurre nozioni di logica & terminologia
ELEMENTI DI LOGICA. Predicati: frasi sensate che contengono una (o più) variabili libere. Li indichiamo con P(x,y,...),...
ELEMENTI DI LOGICA Predicati: frasi sensate che contengono una (o più) variabili libere. Li indichiamo con P(x,y,...),... Le variabili libere x, y,... sono argomenti che possono assumere valori diversi
Correzione del test d ingresso CLEF-CLEI proposto l 11 settembre 2003
Correzione del test d ingresso CLEF-CLEI proposto l 11 settembre 2003 Sotto alle domande trovate le risposte corrette e, in testo enfatizzato, alcune considerazioni sulla valutazione del singolo quesito.
04 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 04 - Logica delle dimostrazioni Anno Accademico 013/014 D. Provenzano,
Ragionamenti e metodi di dimostrazione. Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica
Ragionamenti e metodi di dimostrazione Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica Proposizioni Si definisce proposizione una frase alla quale è possibile attribuire uno e un solo valore
Cenni di logica e calcolo proposizionale
Cenni di logica e calcolo proposizionale Corso di Laurea in Informatica Università degli Studi di Bari (sede Brindisi) Analisi Matematica S.Milella (sabina.milella@uniba.it) Cenni di logica 1 / 10 Proposizioni
Introduzione alla Matematica per le Scienze Sociali - parte I
Introduzione alla Matematica per le Scienze Sociali - parte I Lucrezia Fanti Istituto Nazionale per l Analisi delle Politiche Pubbliche (INAPP) lucrezia.fanti@uniroma1.it Lucrezia Fanti Intro Matematica
2 non è un numero razionale
2 non è un numero razionale 1. Richiami: numeri pari e dispari. Un numero naturale m è pari (rispettivamente dispari) se e solo se esiste un numero naturale r tale che m = 2r (rispettivamente m = 2r +
Istituto Tecnico Nautico San Giorgio - Genova - Anno scolastico PROGRAMMA SVOLTO DI MATEMATICA
Classe: 1 a C Libro di testo: Bergamini Trifone Barozzi Matematica verde vol. 1 ed. Zanichelli Insiemi Definizione di insieme, rappresentazione grafica, tabulare, caratteristica di un insieme Gli insiemi
SCIENZE MATEMATICHE FISICHE e NATURALI
UNIVERSITÀ di ROMA TOR VERGATA FACOLTÀ di SCIENZE MATEMATICHE FISICHE e NATURALI Argomenti di Matematica delle prove di valutazione Anno 03-04 A. Manipolazioni algebriche, semplificazioni; calcolo elementare
ISTITUTO TECNICO NAUTICO SAN GIORGIO. Anno scolastico 2011/12. Classe I Sezione E. Programma di Matematica. Docente: Pasquale Roberta.
Anno scolastico 2011/12 Classe I Sezione E Insiemistica. - Concetto di insieme e rappresentazione di un insieme. - Sottoinsiemi - Principali operazioni fra insiemi: unione, intersezione, complementare
ESERCIZI SUL DOMINIO DI UNA FUNZIONE A UNA VARIABILE REALE. Le FUNZIONI RAZIONALI INTERE (i polinomi) hanno come insieme di definizione R.
ESERCIZI SUL DOMINIO DI UNA FUNZIONE A UNA VARIABILE REALE PREMESSA Ai fini dello studio di una funzione la prima operazione da compiere è quella di determinare il suo dominio, ovvero l' insieme valori
Elementi di Logica matematica. Elementi di logica matematica
1 Elementi di logica matematica Molte grammatiche definiscono la proposizione come un giudizio della mente espresso con parole, cioè da un punto di vista grammaticale la parola proposizione sta ad indicare
La logica (dal greco logos=ragione/parola) è la scienza del ragionamento. Nasce come branca della filosofia e dall'ottocento in poi diviene campo di
La logica (dal greco logos=ragione/parola) è la scienza del ragionamento. Nasce come branca della filosofia e dall'ottocento in poi diviene campo di studio da parte anche dei matematici. LE PROPOSIZIONI
Teoria dei modelli. Alessandro Berarducci. 3 Marzo Dipartimento di Matematica Pisa
Teoria dei modelli Alessandro Berarducci Dipartimento di Matematica Pisa 3 Marzo 2014 Teoria dei campi algebricamente chiusi Denizione 1 La teoria del primo ordine dei campi algebricamente chiusi, ACF,
Indice. Prefazione. Fattorizzazione di A + B Fattorizzazione di trinomi particolari 22 2
Prefazione XI Test di ingresso 1 Capitolo 1 Insiemi numerici, intervalli e intorni 5 1.1 Introduzione 5 1.2 Insiemi generici 5 1.2.1 Relazioni e operazioni tra insiemi 7 1.3 Insiemi numerici 8 1.3.1 Rappresentazione
CORSO DI AZZERAMENTO DI MATEMATICA
CORSO DI AZZERAMENTO DI MATEMATICA 1 LE BASI FONDAMENTALI INSIEMI INSIEMI NUMERICI (naturali, interi, razionali e reali) CALCOLO LETTERALE RICHIAMI DI TRIGONOMETRIA I NUMERI COMPLESSI ELEMENTI DI GEOMETRIA
Frazioni. 8 Esercizi di Analisi Matematica Versione Argomenti: Operazioni sulle frazioni Tempo richiesto: Completare la seguente tabella: a b
8 Esercizi di Analisi Matematica ersione 2006 razioni Argomenti: Operazioni sulle frazioni Difficoltà: Tempo richiesto: Completare la seguente tabella: a b a + b a b 1/3 1/2 1/3 1/2 1/3 1/2 a b a a + b
Registro di Matematica /19 - F. Demontis 2
Registro delle lezioni di MATEMATICA 1 Corso di Laurea in Chimica 6 CFU - A.A. 2018/2019 docente: Francesco Demontis ultimo aggiornamento: 11 gennaio 2019 1. Mercoledì 03/10/2018, 11 13. ore: 2(2) Linguaggio
Lo studioso di logica si chiede se la conclusione segue correttamente dalla premesse fornite e se premesse sono buone per accettare la conclusione.
Logica binaria La logica è la scienza del corretto ragionamento e consiste nello studio dei principi e dei metodi che consentono di individuare il corretto ragionamento. Lo studioso di logica si chiede
La funzione esponenziale e logaritmica
La funzione esponenziale e logaritmica Roberto Boggiani Versione 4. 8 aprile 24 Le potenze dei numeri reali. Potenza con esponente intero di un numero reale Diamo la seguente Definizione. Sia a R ed n
Analisi Matematica 1 A.A. 2017/18
Analisi Matematica 1 A.A. 2017/18 Ingegneria Informatica Ingegneria Elettronica e delle Telecomunicazioni cognomi M-Z Paola Gervasio orario di ricevimento: MER. 10:30-11:30, GIO. 11:30 12:30 Edificio di
Richiami teorici ed esercizi di Logica
Facoltà di ingegneria Università della Calabria Corsi di Potenziamento Matematica e Logica A. A. 2008-2009 Richiami teorici ed esercizi di Logica Proposizioni logiche: Ogni espressione matematica alla
ANALISI MATEMATICA 1 ANALISI MATEMATICA A CORSI DI LAUREA TRIENNALE IN FISICA E MATEMATICA
ANALISI MATEMATICA 1 ANALISI MATEMATICA A CORSI DI LAUREA TRIENNALE IN FISICA E MATEMATICA 2018-19 Settimana 1 Cap 1. 4.1, 4.2, 4.3, 4.4: Nozione intuitiva di funzione f : X Y, Dominio, codominio, immagine,
PROGRAMMAZIONE DIDATTICA di MATEMATICA CLASSI TERZE TECNICO settore TECNOLOGICO
Il corso prevede 3 ore settimanali Sono previste 2 verifiche scritte nel trimestre e 3 nel pentamestre PROGRAMMAZIONE DIDATTICA di MATEMATICA CLASSI TERZE TECNICO settore TECNOLOGICO Testo in adozione:
Prerequisiti di Matematica Espressioni algebriche
Prerequisiti di Matematica Espressioni algebriche Annalisa Amadori e Benedetta Pellacci amadori@uniparthenope.it pellacci@uniparthenope.it Università di Napoli Parthenope Un' espressione in cui uno o più
PREREQUISITI PER SEGUIRE IL CORSO
PREREQUISITI PER SEGUIRE IL CORSO Insiemi numerici e aritmetica elementare. Equazioni e disequazioni di primo e secondo grado. Geometria elementare e geometria analitica: rette, parabole, iperbole equilatera.
Gli insiemi, la logica
Gli insiemi, la logica 1 Dato l insieme A = {x N : x < 5}, quale delle seguenti affermazioni è falsa: (a) 1 A (b) 5 / A (c) 2 A (d) A (e) {1, } A 2 Sono dati gli insiemi A = {, 5, 7, 9} e B = {5, 7} Quali
Appunti OFA Paola Rubbioni
Appunti OFA Paola Rubbioni Corso di Laurea Triennale in Chimica a.a. 2018/2019 1 OFA CdL in Chimica - a.a. 2018/2019 2 1 Logica matematica Serve ad inquadrare in schemi rigorosi gli strumenti ed i metodi
1. Esercizi sui numeri reali
1. Esercizi sui numeri reali 1.1. Ricavare la formula risolutiva per le equazioni di secondo grado. 1.. Scrivere in altro modo a, a R. 1.3. Dato a R, scrivere le soluzioni dell equazione x = a. 1.4. Se
Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati;
Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria,
Corso di Analisi Matematica I numeri reali
Corso di Analisi Matematica I numeri reali Laurea in Informatica e Comunicazione Digitale A.A. 2013/2014 Università di Bari ICD (Bari) Analisi Matematica 1 / 57 1 Insiemi e logica 2 Campi ordinati 3 Estremo
ANALISI MATEMATICA 1 ANALISI MATEMATICA A CORSI DI LAUREA TRIENNALE IN FISICA E MATEMATICA
ANALISI MATEMATICA 1 ANALISI MATEMATICA A CORSI DI LAUREA TRIENNALE IN FISICA E MATEMATICA 2017-18 Settimana 1 (1) Cap 1. 4.1, 4.2, 4.3, 4.4: Nozione intuitiva di funzione f : X Y, x f(x) Definizioni di
LICEO SCIENTIFICO STATALE G. GALILEI SIENA ANNO SCOLASTICO 2016/2017
LICEO SCIENTIFICO STATALE G. GALILEI SIENA ANNO SCOLASTICO 2016/2017 PIANO DI LAVORO CLASSI : II E, III B, IV D, IV S MATERIA : MATEMATICA DOCENTE : ANTONELLA TODARO CLASSE II E ALGEBRA : richiami (scomposizione
Affermazioni aperte e quantificatori Definizione affermazione aperta Esempi Esempio Definizione Esempio Definizione quantificatore universale
Affermazioni aperte e quantificatori Definizione Una affermazione aperta è una affermazione che coinvolge una o più variabili. Esempi (a) 5 ³ 3x 2 (b) Il bambino ha un quaderno rosso. Una affermazione
Soluzioni delle Esercitazioni V 15-19/10/ x 1 = = /x + = 0. 1+e x = 1. lnx 1+1/x = = = +.
Soluzioni delle Esercitazioni V 5-9/0/208 A. Limiti I iti che seguono si possono calcolare con l algebra dei iti. 2 3 4 5 6 7 8 9 0 +2 3 = +2 3 = 3 2. e = ) e = e. / + = 0 + = 0 + = 0. +e = +0 = = 0. +/
Gli insiemi, la logica
Gli insiemi, la logica 1 Dato l insieme A = {x N : x < 5}, quale delle seguenti affermazioni è falsa: (a) 1 A (b) 5 / A (c) A (d) A risp (e) {1, } A Sono dati gli insiemi A = {, 5, 7, 9} e B = {5, 7} Quali
Matematica per le scienze sociali Elementi di base. Francesco Lagona
Matematica per le scienze sociali Elementi di base Francesco Lagona University of Roma Tre F. Lagona (francesco.lagona@uniroma3.it) 1 / 24 Outline 1 Struttura del corso 2 Algebra booleana 3 Algebra degli
Prerequisiti per seguire il corso
Prerequisiti per seguire il corso Insiemi numerici e aritmetica elementare. Equazioni e disequazioni di primo e secondo grado. Geometria elementare e geometria analitica: rette, parabole, iperbole equilatera.
Introduzione al metodo assiomatico nella Geometria
Introduzione al metodo assiomatico nella Geometria 1 Introduzione Consideriamo la seguenti proposizione: Sopra una determinato segmento si può costruire un triangolo equilatero Si fa un affermazione e
LICEO SCIENTIFICO STATALE G. GALILEI - SIENA
LICEO SCIENTIFICO STATALE G. GALILEI - SIENA ANNO SCOLASTICO 2018/2019 PROGRAMMA DI MATEMATICA SVOLTO NELLA CLASSE I sez. B Prof.ssa Antonella Todaro TEORIA DEGLI INSIEMI * rappresentazioni di un insieme
Laurea in Informatica Corso di Analisi Matematica I numeri reali
Laurea in Informatica Corso di Analisi Matematica I numeri reali Docente: Anna Valeria Germinario Università di Bari A.V.Germinario (Università di Bari) Analisi Matematica INF 1 / 59 Outline 1 Insiemi
Programma di MATEMATICA
Classe 3B Indirizzo ELETTRONICA ED ELETTROTECNICA 1. MODULO 1: GEOMETRIA ANALITICA La parabola: la parabola come luogo geometrico del piano. Rappresentazione della parabola nel piano cartesiano e ricerca
Esercizi propedeutici all insegnamento. Matematica Corso Base
Esercizi propedeutici all insegnamento Matematica Corso Base Prof.ssa G. Rotundo Prof. R. Benini Facoltà di Economia Sapienza Università di Roma a.a. 014/15 Indice Prefazione 1 1 Linguaggio, elementi di
PREREQUISITI PER SEGUIRE IL CORSO
PREREQUISITI PER SEGUIRE IL CORSO Insiemi numerici e aritmetica elementare. Equazioni e disequazioni di primo e secondo grado. Geometria elementare e geometria analitica: rette, parabole, iperbole equilatera.
Corso Online MATEMATICA PER LE SUPERIORI. Corso Matematica per le Superiori
Corso Matematica per le Superiori Corso Online MATEMATICA PER LE SUPERIORI Accademia Domani Via Pietro Blaserna, 101-00146 ROMA (RM) info@accademiadomani.it Programma Generale del Corso Matematica per
Matematica. Corso integrato di. per le scienze naturali ed applicate. Materiale integrativo. Paolo Baiti 1 Lorenzo Freddi 1
Corso integrato di Matematica per le scienze naturali ed applicate Materiale integrativo Paolo Baiti 1 Lorenzo Freddi 1 1 Dipartimento di Matematica e Informatica, Università di Udine, via delle Scienze
ISTITUTO TECNICO STATALE COMMERCIALE E PER GEOMETRI A. MARTINI Castelfranco Veneto (TV) Elementi di Logica
settembre 008 Elementi di Logica 1. Nozioni preliminari La logica studia come funziona il pensiero e il ragionamento espresso attraverso degli enunciati Il ragionamento è un sistema di enunciati che permette
1 IL LINGUAGGIO MATEMATICO
1 IL LINGUAGGIO MATEMATICO Il linguaggio matematico moderno è basato su due concetti fondamentali: la teoria degli insiemi e la logica delle proposizioni. La teoria degli insiemi ci assicura che gli oggetti
Matematica. Via Ospedale 72, Palazzo delle Scienze, 1 piano
Matematica Docente: Marianna Saba mariannasaba@unica.it Via Ospedale 72, Palazzo delle Scienze, 1 piano Contenuti (1 parte) 1) Simboli ed elementi di logica matematica. Teoria degli insiemi e operazioni
METODI MATEMATICI PER L INFORMATICA
METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 5 05/05/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Dimostrazioni e prove Esercizio 7 pagina 91 Utilizzare una
1 Cenni di logica matematica
1 Cenni di logica matematica 1 1 Cenni di logica matematica Una delle discipline chiave della matematica (e non solo, visto che è fondamentale anche per comprendere la lingua parlata) è la logica matematica,
INSIEMI. DEF. Un INSIEME è una qualsiasi collezione di oggetti.
INSIEMI DEF. Un INSIEME è una qualsiasi collezione di oggetti. Esso è ben definito quando è chiaro se un oggetto appartiene o non appartiene all insieme stesso. Esempio. E possibile definire l insieme
LICEO SCIENTIFICO STATALE G. GALILEI - SIENA
ANNO SCOLASTICO 2015 / 2016 LICEO SCIENTIFICO STATALE G. GALILEI - SIENA PROGRAMMA DI MATEMATICA SVOLTO NELLA CLASSE I sez. E TEORIA DEGLI INSIEMI * definizioni * rappresentazioni di un insieme * operazioni
Liceo scientifico Marie Curie Meda. Programma di MATEMATICA. Classe 1^ Bs A.S. 2013/14
Liceo scientifico Marie Curie Meda Programma di MATEMATICA Classe 1^ Bs A.S. 2013/14 ALGEBRA I numeri razionali Operazioni ed espressioni Potenze con esponente intero negativo Insiemi Le rappresentazioni
Liceo Classico e Internazionale C. Botta Ivrea PROGRAMMA SVOLTO
Metà febbraio Fine novembre Entro fine ottobre Liceo Classico e Internazionale C. Botta Ivrea Classe: 1C Disciplina: Matematica Unità didattiche I numeri naturali e i numeri interi I numeri razionali Statistica
L'algebra Booleana. Generalità. Definizioni
L'algebra Booleana Generalità L algebra booleana è stata sviluppata da George Boole nel 1854, ed è diventata famosa intorno al 1938 poiché permette l analisi delle reti di commutazione, i cui soli stati
Logica per la Programmazione
Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 1 Calcolo Proposizionale: sintassi e semantica Tautologie Esempi di Formalizzazione di Enunciati pag.
Ripasso delle matematiche elementari: esercizi proposti
Ripasso delle matematiche elementari: esercizi proposti I Equazioni e disequazioni algebriche Esercizi sui polimoni.............................. Esercizi sulle equazioni di grado superiore al secondo............
CLASSE 1B INSIEMI NUMERICI:
IIS Via Silvestri 301 -Roma Plesso Volta. Indirizzo Elettronica ed Elettrotecnica Programma svolto di Matematica a.s. 2018/2019 Prof.ssa Claudia Dennetta CLASSE 1B INSIEMI NUMERICI: Numeri naturali: Le
Liceo scientifico Marie Curie. Programma di MATEMATICA
Liceo scientifico Marie Curie Programma di MATEMATICA Classe IV ginnasio A A.S.2010/11 ALGEBRA I numeri razionali Operazioni ed espressioni Potenze con esponente intero negativo Insiemi e logica Le rappresentazioni
Supponendo che sia vero che "can che abbaia non morde", si può dedurre che... (scrivere l'implicazione contronominale)
-Supponendo che sia vero che «se uno non studia inglese da bambino, da adulto non saprà bene l'inglese», quale delle seguenti affermazioni è corretta? A se un adulto non sa bene l'inglese, da bambino non
Soluzioni delle Esercitazioni II 24 28/09/2018 = 1 2 = 1±3 4. t = 1± 1 4
oluzioni delle Esercitazioni II 4 8/09/08 A Equazioni intere i ha: + = 3 4 Portando a sinistra le e a destra le costanti diventa 6 =, = 3 + = 0 Raccogliendo si può riscrivere come ( + ) = 0, che ha per
I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. Liceo Giorgione, Castelfranco Veneto 5 aprile 2016
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova Liceo Giorgione, Castelfranco Veneto 5 aprile 2016 1 RUOLO DEI TEST Valutazione di: Conoscenze di base (syllabus) Capacità
Linguaggio della Matematica
Linguaggio della Matematica concetti primitivi: elementi fondamentali di natura intuitiva (punto, retta, insieme, elemento di un insieme,...). assiomi: enunciati, proposizioni vere a priori (gli assiomi
OFA. Prof. Matteo Franca
OFA Prof. Matteo Franca Teoria degli insiemi Un insieme è costituito dai suoi elementi. Può essere descritto: elencando i suoi elementi tra due parentesi graffe, mediante proprietà che caratterizzano i
Un po di logica. Christian Ferrari. Laboratorio di matematica
Un po di logica Christian Ferrari Laboratorio di matematica 1 Introduzione La logica è la disciplina che studia le condizioni di correttezza del ragionamento. Il suo scopo è quindi quello di elaborare
ITIS - BAGNOLI IRPINO
LICEO SCIENTIFICO RINALDO.D AQUINO MONTELLA ITIS - BAGNOLI IRPINO PROGRAMMA SVOLTO A.S. 2017-18 Materia: COMPLEMENTI DI MATEMATICA Classe : 3 A BAGNOLI IRPINO Prof. PARENTI Luigi INSIEMI Gli insiemi: Concetto
detta tavola di verità, in cui nella prima colonna compaiono i valori di verità della
LOGICA DELLE PROPOSIZIONI Proposizioni Nel linguaggio naturale, ovvero nel linguaggio che parliamo quotidianamente per comunicare, indichiamo con il termine proposizione una frase che esprime un pensiero
Richiami di logica matematica
Richiami di logica matematica Gli oggetti elementari dei discorsi matematici sono le proposizioni logiche = enunciati di cui si possa stabilire inequivocabilmente se sono veri o falsi. Sono proposizioni
Generalità - Insiemi numerici- Proprietà di completezza di R
Generalità - Insiemi numerici- Proprietà di completezza di R Docente:Alessandra Cutrì Informazioni corso Sito docente: http://www.mat.uniroma2.it/~cutri/ Programma: vedi sito docente Testi consigliati:
Progettazione per Modulo Percorso di istruzione di II periodo, Servizi per l agricoltura e lo sviluppo rurale Modulo n.1: La logica Matematica
Modulo n.1: La logica DURATA PREVISTA Ore in presenza 27 Ore a distanza 7 Totale ore 34 Utilizzare le tecniche e le procedure del calcolo aritmetico ed algebrico, rappresentandole anche sotto forma grafica
Istituzioni di Matematiche, Integrali fratti. corso di laurea in Scienze geologiche. Mauro Costantini
Istituzioni di Matematiche, Integrali fratti corso di laurea in Scienze geologiche. Mauro Costantini tipo: Il nostro obiettivo è studiare gli integrali (indefiniti e definiti delle funzioni razionali,
CALCOLO PROPOSIZIONALE. Corso di Logica per la Programmazione Andrea Corradini
CALCOLO PROPOSIZIONALE Corso di Logica per la Programmazione Andrea Corradini andrea@di.unipi.it UN PROBLEMA DI DEDUZIONE LOGICA (da un test d ingresso) Tre amici, Antonio, Bruno e Corrado, sono incerti
ESERCITAZIONE 10 : EQUAZIONI E DISEQUAZIONI
ESERCITAZIONE 10 : EQUAZIONI E DISEQUAZIONI e-mail: tommei@dm.unipi.it web: www.dm.unipi.it/ tommei Ricevimento: Martedi 16-18 Dipartimento di Matematica, piano terra, studio 126 11 Dicembre 2012 Esercizio
Fondamenti della Matematica aa Prof. Tovena Proposizioni e tavole di verità
Proposizioni e tavole di verità Una proposizione è un enunciato (dichiarazione, frase) che può essere vero o può essere falso, ma non può essere contemporaneamente sia vero che falso. Essere vera o falsa
Lezioni di ISTITUZIONI di MATEMATICA (gruppo 3)
Lezioni di ISTITUZIONI di MATEMATICA (gruppo 3) Nicola Durante 2011-12 Abstract 1 Insiemi numerici (Lezione del 5.10.11) 1.1 Cenni di teoria degli insiemi Richiamiamo brevemente alcuni simboli usati in
Logica: materiale didattico
Logica: materiale didattico M. Cialdea Mayer. Logica (dispense): http://cialdea.dia.uniroma3.it/teaching/logica/materiale/dispense-logica.pdf Logica dei Predicati (Logica per l Informatica) 01: Logica
TEOREMA DEL RESTO E REGOLA DI RUFFINI
TEOREMA DEL RESTO E REGOLA DI RUFFINI ALCUNI TEOREMI IMPORTANTI Prendiamo una divisione intera tra numeri: 6 : 3 = 2. Il resto di questa divisione è 0, e questo significa che moltiplicando il quoziente
Esercizio. Sia a R non nullo e siano m, n numeri interi non nulli con m n. Allora a m /a n è uguale a. [1] 1/a n m [2] 1/a m n [3] 1/a n m [4] a n m
![Esercizio. Sia a R non nullo e siano m, n numeri interi non nulli con m n. Allora a m /a n è uguale a. [1] 1/a n m [2] 1/a m n [3] 1/a n m [4] a n m](/thumbs/49/24983931.jpg "Esercizio. Sia a R non nullo e siano m, n numeri interi non nulli con m n. Allora a m /a n è uguale a. [1] 1/a n m [2] 1/a m n [3] 1/a n m [4] a n m")
Sia a R non nullo e siano m, n numeri interi non nulli con m n. Allora a m /a n è uguale a [1] 1/a n m [2] 1/a m n [3] 1/a n m [4] a n m Vale la [1] perché per le proprietà delle potenze risulta a m a
La logica matematica. Si ringraziano per il loro contributo gli alunni della classe IB Lic. Sc. A.S
La logica matematica Si ringraziano per il loro contributo gli alunni della classe IB Lic. Sc. A.S. 2010-2011 La logica studia le proposizioni logiche e le relazioni tra esse. Una proposizione logica è
Corso di Laurea in Scienze dell Architettura Modulo di Analisi Matematica
Corso di Laurea in Scienze dell Architettura Modulo di Analisi Matematica 62,5 ore di lezione frontale mariannasaba@unica.it Orario lezioni: Lunedì ore 11:15-13:00 Giovedì ore 15:00-16:45 Venerdì ore 8:15-10:00
NOZIONI DI LOGICA PROPOSIZIONI.
NOZIONI DI LOGICA PROPOSIZIONI. Una proposizione è un affermazione che è vera o falsa, ma non può essere contemporaneamente vera e falsa. ESEMPI Sono proposizioni : 7 è maggiore di 2 Londra è la capitale
Anno 2. Radicali algebrici e aritmetici: condizioni di esistenza
Anno 2 Radicali algebrici e aritmetici: condizioni di esistenza 1 Introduzione Perché studiare i radicali? In matematica ogni volta che facciamo un operazione dobbiamo anche vedere se è possibile tornare
ALGEBRA ARGOMENTI COMUNI - INTEGRAZIONI. Pag.1 di 10
1_ALGECOMUNE Quale tra i seguenti numeri 1 2/5. -4 ¾ appartiene all'insieme N? 2_ALGECOMUNE Dire qual è il grado del 8 3 5 15 seguente monomio: x^3 y^5. 3_ALGECOMUNE L equazione 3 x^2 + 3 x = 0 ammette:
Programma svolto di matematica. a.s I.I.S. via Silvestri 301 sezione associata Malpighi. classe IV B
Programma svolto di matematica a.s. 2017-18 I.I.S. via Silvestri 301 sezione associata Malpighi classe IV B Ripasso del III anno: elementi di geometria analitica, grafico di funzioni (retta, parabola,