Xerrada. Origami and automated theorem proving

 Descarregar pdf
Informació de l'esdeveniment
Inici:

Us informem que la professora convidada pel departament de Matemàtica,  Judit Robu, de la Universitatea Babes-Bolyaui, de Cluj-Napoca (Romania), farà una xerrada titulada:

ORIGAMI AND AUTOMATED THEOREM PROVING

Divendres, 12 de febrer

12.00 hores

Sala de Graus de l'EPS

Departament de Matemàtica de la UdLmatematicaUdL

Av. Jaume II, 69, Campus Cappont, E-25001 Lleida. secretaria@matematica.udl.cat Telèfon: +34 973 70 27 04. Fax: +34 973 70 27 16.