NON SFOGLIARE IL TESTO PRIMA CHE VENGA DATO UFFICIAMENTE INIZIO ALLA PROVA DAL DOCENTE

Documenti analoghi
NON SFOGLIARE IL TESTO PRIMA CHE VENGA DATO UFFICIAMENTE INIZIO ALLA PROVA DAL DOCENTE

NON SFOGLIARE IL TESTO PRIMA CHE VENGA DATO UFFICIAMENTE INIZIO ALLA PROVA DAL DOCENTE

NON SFOGLIARE IL TESTO PRIMA CHE VENGA DATO UFFICIAMENTE INIZIO ALLA PROVA DAL DOCENTE

NON SFOGLIARE IL TESTO PRIMA CHE VENGA DATO UFFICIAMENTE INIZIO ALLA PROVA DAL DOCENTE

NON SFOGLIARE IL TESTO PRIMA CHE VENGA DATO UFFICIAMENTE INIZIO ALLA PROVA DAL DOCENTE

NON SFOGLIARE IL TESTO PRIMA CHE VENGA DATO UFFICIAMENTE INIZIO ALLA PROVA DAL DOCENTE

NON SFOGLIARE IL TESTO PRIMA CHE VENGA DATO UFFICIAMENTE INIZIO ALLA PROVA DAL DOCENTE

NON SFOGLIARE IL TESTO PRIMA CHE VENGA DATO UFFICIAMENTE INIZIO ALLA PROVA DAL DOCENTE

NON SFOGLIARE IL TESTO PRIMA CHE VENGA DATO UFFICIAMENTE INIZIO ALLA PROVA DAL DOCENTE

NON SFOGLIARE IL TESTO PRIMA CHE VENGA DATO UFFICIAMENTE INIZIO ALLA PROVA DAL DOCENTE

NON SFOGLIARE IL TESTO PRIMA CHE VENGA DATO UFFICIAMENTE INIZIO ALLA PROVA DAL DOCENTE

$marina/did/md $marina/did/mdis03/ $marina/did/mdis03/

$marina/did/md

MATEMATICA DISCRETA E LOGICA MATEMATICA

ALGEBRA e LOGICA CdL in Ingegneria Informatica prof. Fabio GAVARINI a.a Sessione Estiva, II appello Esame scritto del 18 Luglio 2017

METODI MATEMATICI PER L INFORMATICA. Canale E O a.a Docente: C. Malvenuto Primo compito di esonero 26 novembre 2008

MATEMATICA DISCRETA E LOGICA MATEMATICA

Università degli studi di Verona Corso di laurea in Informatica Prova scritta di Algebra 3 settembre 2002

Altri esercizi assegnati negli esoneri degli scorsi anni

Algebra e Logica Matematica. Insiemi, relazioni

INSIEMI ORDINATI, RETICOLI. N.B.: il simbolo contrassegna gli esercizi (relativamente) più complessi.

Esercizi di Geometria e Algebra per Ingegneria Aerospaziale (nuovo ordinamento)

C.L. Informatica, M-Z Bari, 12 Gennaio 2016 Traccia: 1

MATEMATICA DISCRETA. C. L. in Informatica e Tecnologie per la Produzione del Software Corso B Bari, 19 Gennaio 2017 Traccia 1

II Esonero di Matematica Discreta - a.a. 06/07. Versione B

NON SFOGLIARE IL TESTO PRIMA CHE VENGA DATO UFFICIAMENTE INIZIO ALLA PROVA DAL DOCENTE

Matematica Discreta Classe 1 Dott. C. Delizia 17 Giugno 2008

Istituzioni di Matematiche prima parte

Si dice che q è il quoziente e r è il resto della divisione di a per b. Inotre, si ha: c = qa. Quindi b ± c = pa ± qa = (p ± q)a e pertanto a (b ± c).

MATEMATICA DISCRETA E LOGICA MATEMATICA

II Esonero di Matematica Discreta - a.a. 06/07. Versione C

CORSO DI MATEMATICA DISCRETA I (ALGEBRA) Prof. Paolo Papi ESERCIZI

MATEMATICA DISCRETA E LOGICA MATEMATICA

Matematica Discreta e Algebra Lineare (per Informatica)

LOGICA MATEMATICA. Canale E O a.a Docente: C. Malvenuto Primo compito di esonero 10 novembre 2006

nota 1. Aritmetica sui numeri interi.

Soluzioni agli Esercizi di Geometria e Algebra per Ingegneria Aerospaziale (nuovo ordinamento)

Nome. Esercizio 2. Risolvere il seguente sistema di congruenze lineari:

$marina/did/md

ESERCIZI sulle RELAZIONI - 2 Fabio GAVARINI. N.B.: il simbolo contrassegna gli esercizi (relativamente) più complessi.

Precorsi di matematica

N.B.: compilare il compito in modo sintetico ma esauriente, spiegando chiaramente quanto si fa, e scrivendo in corsivo con grafia leggibile.

ALGEBRA C. MALVENUTO

Relazioni e Principio di Induzione

Risposte non motivate non verranno giudicate

Matematica Discreta Classe 1 Dott. C. Delizia 24 Gennaio 2007

Corso di Laurea in Matematica Geometria 2. Foglio di esercizi n. 1 a.a Soluzioni

Corso di Laurea in Matematica Geometria 2. Foglio di esercizi n. 4 a.a Soluzioni

Programma del Corso di Matematica Discreta (Elementi) anno accademico 2005/2006

PROGRAMMAZIONE DISCIPLINARE INDIVIDUALE a. s / 2014

Matematica Discreta Classe 1 Dott. C. Delizia 15 Luglio 2008

Prova scritta di Matematica Discreta del 15/2/2005

ESERCIZI sulle RELAZIONI - 1 Fabio GAVARINI. N.B.: il simbolo contrassegna gli esercizi (relativamente) più complessi.

Corso Matematica Discreta Anno accademico Lista domande per l orale breve.

Esercizi complementari

Seconda prova in itinere. Logica e Algebra. 10 luglio Esercizio 1 Si considerino le seguenti formule della logica del primo ordine:

Cognome Nome Matricola Codice ESEMPIO 1

m = a k n k + + a 1 n + a 0 Tale scrittura si chiama rappresentazione del numero m in base n e si indica

C.L. Informatica, M-Z Bari, 18 Gennaio 2017 Traccia: 1

Programma del Corso di Matematica Discreta (Elementi) lettere P-Z anno accademico 2004/2005

CONGRUENZE. 2 La formula risulta vera anche per n+1. Per induzione è allora vera per ogni n.

Indice analitico. B Base, 43 Bezout identità di, 15 per polinomi, 39 Binomio teorema del di Newton, 14, 35 ingenuo, 18, 45

1 Soluzione degli esercizi del capitolo 4

Esercizi di Analisi Matematica I

Elementi di Algebra e Logica Esercizi 1. Insiemi, funzioni, cardinalità, induzione, funzioni ricorsive.

MATEMATICA DEL DISCRETO (Informatica) Docenti BONZINI e TURRINI esercizi di preparazione alla prova di metà corso

Matematica Discreta Classe 1 Dott. C. Delizia 14 Giugno 2007

$marina/did/mdis03/ $marina/did/md $marina/did/mdis03/

Soluzioni esercizi complementari

Insiemi Numerici. 1 I Numeri Naturali: definizione assiomatica

Geometria BAER I canale Foglio esercizi 2

Programma definitivo del corso MATEMATICA DISCRETA C.L.T. Informatica a.a. 2016/17

Matematica Discreta Classe 1 Dott. C. Delizia 31 Gennaio 2008

Cognome Nome Matricola Codice ESEMPIO 1

Corso Matematica Discreta Anno accademico Lista domande per l orale breve.

ESAME DI GEOMETRIA E ALGEBRA INGEGNERIA INFORMATICA (PROF. ACCASCINA) PROVA SCRITTA DEL 4 LUGLIO 2000 Tempo assegnato: 2 ore e 30 minuti

Insiemi Numerici. Docente: Francesca Benanti. 16 Febbraio I Naturali:... Proprietà dei... Divisibilità in Z M.C.D. Algoritmo euclideo. m.c.m.

Risposte non motivate non verranno giudicate

$marina/did/md

ALGEBRA /2009 Prof. Fabio Gavarini. Sessione estiva anticipata prova scritta del 23 Giugno 2009

MATEMATICA DISCRETA E LOGICA MATEMATICA

Es. 1 Es. 2 Es. 3 Es. 4 Totale

PROGRAMMA CONSUNTIVO

R = {(0, 0), (1, 1), (2, 2), (3, 3),... }. Esempio 2. L insieme

NOTE DI ALGEBRA LINEARE v = a 1 v a n v n, w = b 1 v b n v n

Es. 1 Es. 2 Es. 3 Es. 4 Totale Teoria

TEORIA DEI NUMERI. 1. Numeri naturali, interi relativi e principi d induzione

ESEMPIO Un esempio di insieme vuoto è l insieme dei numeri reali di quadrato 4. B A

I.S.I.S. F. De Sanctis Sez. ass. Liceo Classico

MATEMATICA DISCRETA E LOGICA MATEMATICA

c = qa. Quindi b ± c = pa ± qa = (p ± q)a e pertanto a (b ± c)

Indice. 1 Cenni di logica. 2 Elementi di teoria degli insiemi. 3 Relazioni e funzioni. 4 Strutture algebriche

METODI MATEMATICI PER L INFORMATICA. Canale E O a.a Docente: C. Malvenuto Prova intermedia 12 novembre 2009

INSIEMI. Se X è un insieme, indichiamo con P(X) l insieme dei sottoinsiemi di X (sono elementi di P(X) anche e X).

Istituzioni di Matematiche prima parte

623 = , 413 = , 210 = , 203 =

Esercizî di Geometria

NO, ma la frequenza è fortemente consigliata Lingua di erogazione. Nome Cognome Salvatore de Candia

Transcript:

AL110 - Algebra 1 - A.A. 2011/2012 Valutazione in itinere - I Prova Cognome:...................................... Nome:...................................... Matricola (O ALTRO IDENTIFICATIVO) UTILIZZARE LO STESSO IDENTIFICATIVO DEL TEST DI OTTOBRE esercizio 1.1 1.2 1.3 1.4 1.5 2.1a 2.1b 2.2 3 4.1 4.2 4.3 4.4 4.5 4.6 punti max 2 6 3 2 3 1 1 3 3 2 3 3 2 4 4 valutazione esercizio 5.1 5.2 6.1 6.2 6.3 6.4 6.5 6.6 6.7 6.8 6.9 6.10 punti max 3 4 2 2 2 5 3 4 5 3 3 6 valutazione TOTALE bonus malus AVVERTENZE : Svolgere gli esercizi in modo conciso, ma esauriente, nello spazio assegnato. Fino a due punti ulteriori (bonus) potranno essere assegnati agli elaborati scritti in modo molto chiaro. Fino a due punti (malus) potranno essere detratti dagli elaborati scritti in modo molto confuso o difficilmente leggibile. LEGGERE LE AVVERTENZE NON SFOGLIARE IL TESTO PRIMA CHE VENGA DATO UFFICIAMENTE INIZIO ALLA PROVA DAL DOCENTE 0

1 ESERCIZIO 1. (1) Enunciare, esplicitando chiaramente ipotesi e tesi, il teorema di divisione con il resto in Z. (2) Dimostrare, con poche frasi formulate in modo chiaro e conciso, il teorema di divisione con il resto in Z. (3) Calcolare, con l algoritmo euclideo delle divisioni successive, il MCD(11501, 525). Determinare, poi, il mcm(11501, 525). (4) Dare esplicitamente una identità di Bézout per il MCD((11501, 525). (5) Determinare per quali valori di l Z la seguente equazione (diofantea lineare) nelle incognite X ed Y : 11501 X + 525 Y = l è risolubile. Poi, per ciascuno di tali valori di l, utilizzando il punto (4), determinare tutte le soluzioni intere della precedente equazione.

2 ESERCIZIO 2. (1) Enunciare una proposizione logicamente equivalente alla negazione di ciascuna delle seguenti (ovviamente, non è ammessa la formulazione non è vero che... o simili): (a) Homer Simpson mangia ciambelle colorate e beve birra Duff. (b) In ogni comune della regione secessionista dell Assurdistan, autoproclamata Fandonistan del Sud, sono state istituite ronde popolari e varate norme xenofobe. (2) Date tre proposizioni elementari P, Q e R descrivere la tabella di verità della proposizione (P R) (( Q) P ). P Q R (P R) (( Q) P ) v v v v v f v f v v f f f v v f v f f f v f f f

ESERCIZIO 3. Il Parlamento del remoto paese Assurdistan è formato da 630 membri, eletti con un opaco sistema elettorale denominato Suinum. Di questi 630 parlamentari, 314 non sono (ancora) mai stati rinviati a giudizio od inquisiti dall autorità giudiziaria. I rimanenti appartengono ad almeno uno dei seguenti 3 gruppi: Il primo gruppo (A) è composto da 31 membri che sono indagati per associazione di tipo mafioso, il secondo gruppo (B) è composto da 101 membri che sono inquisiti per bancarotta fraudolenta, il terzo gruppo (C) è composto da 211 membri inquisiti per corruzione, concussione o malversazione. Sapendo che sono esattamente 13 i membri del Parlamento che appartengono a ciascuna delle tre distinte coppie di gruppi (i.e., A B, A C, B C), determinare il numero dei parlamentari che appartengono contemporaneamente ai tre gruppi (i.e., A B C). 3

4 ESERCIZIO 4. Sia X un insieme non vuoto e sia E l insieme di tutte le relazioni di equivalenza definite su X e sia R un sottoinsieme non vuoto di E. Si definisca su X una nuova relazione σ R (che dipende da R) definita nel seguente modo, dati x 1, x 2 X: x 1 σ R x 2 : x 1 ρx 2 ρ R. (1) Stabilire se σ R è oppure non è una relazione di equivalenza su X. (2) Se per ogni ρ R, denotiamo con R ρ il suo grafico, allora descrivere il grafico della relazione σ R (in funzione dei grafici R ρ, al variare di ρ R). (3) Sia X := C l insieme dei numeri complessi non nulli e sia h un numero intero positivo fissato. Si definisca su X la seguente relazione, dati z 1, z 2 X: ( ) h z1 z 1 ρ h z 2 : R. Determinare quali proprietà (tra le seguenti: Riflessiva, Simmetrica, Antisimmetrica, Transitiva, Totale) sono soddisfatte da ρ h. (4) Siano z 1 := 3 i 5 e z 2 := 7 + i 2. Determinare a, b R in modo tale che ( ) 2 z1 = a + ib. z 2 z 2 (5) Siano X e ρ h come in (3) e siano z 1 := r 1 (cos θ 1 + i sin θ 1 ), z 2 := r 2 (cos θ 2 + i sin θ 2 ) l espressione in forma polare di z 1 e z 2. Determinare condizioni su r 1 e r 2 e su θ 1 e θ 2 che esprimano in forma equivalente il fatto che z 1 ρ h z 2. (6) Siano X e ρ h come in (3). Sia z := 3 + 3i e si prenda h := 2 e si consideri la relazione ρ 2 su X. Descrivere geometricamente nel piano complesso l insieme Z := {z X zρ 2 z }.

5 ESERCIZIO 5. Facendo uso del Principio di Induzione (od, eventualmente, di una delle formulazioni ad esso equivalenti) si dimostrino le seguenti asserzioni. (1) Si ponga x 0 := x 1 := 1, e x n := 2x n 2 + x n 1 + 2n 5, per ogni n 2. Si dimostri che x n = 2 n n, per ogni n N. (2) Sia {u n n N} la successione dei numeri interi di Fibonacci (i.e., u 0 := u 1 := 1, e u n := u n 1 + u n 2, per ogni n 2). Si dimostri che u n+1 u n 1 u 2 n = ( 1) n+1, per ogni n 1.

6 ESERCIZIO 6. Sia N + := {1, 2,..., n,...} l insieme degli interi positivi. Sull insieme X := P(N + ) \ { } si definisca una relazione nella maniera seguente: Y Z : (Y = Z) (y z presi comunque y Y, z Z), dove Y, Z X, (cioè, Y < Z : y z presi comunque y Y, z Z). (1) Si dimostri che è una relazione di ordine su X. (2) Si stabilisca se (X, ) è totalmente ordinato. (3) Si determini, se esiste, il minimo (= primo elemento) di (X, ). (4) Si determini, se esiste, il massimo (= ultimo elemento) di (X, ). (5) Si determini, se esiste, una catena (= sottoinsieme totalmente ordinato) infinita in (X, ). (6) Per ciascuno dei seguenti sottoinsiemi di X Y := {{2, 4}, {12}, {5, 7}} Y := {{m} m N + } si stabilisca se esso ha estremo superiore in (X, ) e/o massimo, e in caso affermativo lo si determini. (7) Fissato in modo arbitrario r N +, sia rn + := {rk k N + }. Si verifichi che rn + è un elemento massimale di (X, ). (8) Si stabilisca se ogni elemento massimale di X è del tipo rn +, per qualche r N +. (9) Esistono insiemi finiti Y X che siano elementi massimali in (X, )? (10) Si determinino tutti gli elementi massimali di (X, ).