Lòoggiiccaa : un programa de lògica formal. 'Lóoggiiccaa : un programa de lógica formal'.
| Data(s) |
16/05/2013
16/05/2013
1998
01/05/1990
|
|---|---|
| Resumo |
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. |
| Identificador |
84-393-3826-0 |
| Idioma(s) |
cat |
| Publicador |
Barcelona : Generalitat de Catalunya, Programa d'Informàtica Educativa, 1997 |
| Direitos |
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) |
| Palavras-Chave | #lógica matemática #cálculo #matemáticas |
| Tipo |
Varios |
