- Prima pagină
- Mac
- Deductions
- Descărcarea ...
Deductions 1.3
Deduceri este un software educațional conceput pentru a ajuta elevii să învețe dovezi în logica formală. Acesta este destinat a fi utilizat de către instructori și studenți de cursuri logice la nivel de colegiu în filosofie, matematică și informatică....