| dc.contributor.author | Almarza, Miquel Àngel | spa |
| dc.contributor.author | Estrada, Sara | spa |
| dc.date.issued | 1998 | spa |
| dc.identifier.isbn | 84-393-3826-0 | spa |
| dc.identifier.uri | http://hdl.handle.net/11162/19211 | |
| dc.description.abstract | Programa para MS-DOS sobre lógica formal. Propone ejercicios sobre nociones básicas del cálculo proposicional: tablas de verdad, connectivas, proposiones tautológicas y contradicciones. Posibilita que el usuario introduzca sus propias fórmulas hasta 4 variables. | spa |
| dc.format.medium | CD | spa |
| dc.language.iso | cat | spa |
| dc.publisher | Barcelona : Generalitat de Catalunya, Programa d'Informàtica Educativa, 1997 | spa |
| dc.rights | Cuando no se especifique otra condición, los documentos incorporados a Redined a texto completo, se hallan bajo las condiciones de uso de sólo lectura y únicamente podrán ser citados con reconocimiento del autor(es). Para cualquier otro uso, deberá solicitarse el permiso del autor (es) | spa |
| dc.subject | lógica matemática | spa |
| dc.subject | cálculo | spa |
| dc.subject | matemáticas | spa |
| dc.title | Lòoggiiccaa : un programa de lògica formal | cat |
| dc.type | Varios | spa |
| dc.audience | Alumnado | spa |
| dc.bbdd | Recursos | spa |
| dc.date.provenance | 1990-05-01T10:10:10 | spa |
| dc.description.pais | ESP | spa |
| dc.educationLevel | Educación Secundaria | spa |
