Logică și structuri discrete - Tema 4

Tema se predă asistentului prin e-mail (subiect: LSD tema 4) până miercuri ora 23 (scrisă după standardele afișate pe pagina cursului, și împreună cu problemele date după laboratorul 3)

Exercițiul 1: Demonstrați că reuniunea a n ≥ 1 mulțimi numărabile e numărabilă.
Folosiți fie inducția matematică fie construcția pe două dimensiuni de la numere raționale.

Exercițiul 2 Scrieți o funcție care returnează mulțimea tuturor divizorilor unui număr pozitiv n dat ca argument.
Evitați teste de divizibilitate inutile (cu numere > radical din n)
Scrieți apoi funcția de cel mai mare divizor comun în două feluri: cu algoritmul lui Euclid, și obținând maximul dintre divizorii comuni, și verificați pe câteva exemple că dă același rezultat.


Marius Minea
Last modified: Tue Oct 20 22:45:00 EEST 2015