Logică și structuri discrete - Tema 8

Tema se trimite prin Campus Virtual UPT până miercuri ora 22, împreună cu exercițiile date ca temă după laborator.

Formalizați în logica predicatelor unul din exemplele nerezolvate (11 - 23) de pe această pagină
Rezolvați problema pe hârtie. Alternativ, puteți încerca să o scrieți într-un fișier text în formatul descris pe pagina de laborator, ceea ce vă va ușura munca ulterioară.
Încercați să faceți schimb cu un coleg din aceeași semigrupă care rezolvă altă problemă și să vă corectați reciproc soluțiile. Trimiteți soluția proprie înainte de corectură, și soluția colegului cu corecturile proprii.


Marius Minea
Last modified: Mon Nov 14 15:45:00 EET 2016