Lògica i àlgebra

Metodologia docent

En les classes de teoria s'introduiran els conceptes b√†sics de l'assignatura i s'explicaran les t√®cniques b√†siques per a la resoluci√≥ de problemes. Aquestes t√®cniques inclouran tamb√© l'√ļs d'eines inform√†tiques. En les classes de problemes es discutiran els problemes proposats, a partir de les aportacions dels estudiants. En les classes de laboratori s'estudiaran experimentalment els aspectes algor√≠smics b√†sics de l'aritm√®tica entera i modular i el c√†lcul de predicats.