Interaktivnosti
.

1. Program za vježbanje prevođenja: običan jezik - jezik logike prvog reda, te program za vježbanje iskazivanja negacija:

1.1. Za Linux operativne sustave. Trebate mu dopustiti da se samostalno pokrene kao program.

Prijevodi - Ovdje klikni za download

Negacije - Ovdje klikni za download

1.2. Za Windows. Vjerojatno će vam se javiti antivirus. Trebate dopustiti pokretanje programa.

PrijevodiWin - Ovdje klikni za download

NegacijeWin - Ovdje klikni za download

Kod:

Prijevodi

Negacije

2. Evaluator dokaza u sustavu prirodne dedukcije. Autor: Dino Plečko. Možete vježbati na stranicama škole (starija verzija programa): ovdje , ili klonirati ili skinuti .zip s GitHub repozitorija (klikni: Code, pa Download ZIP) ovdje , raspakirati, pa ući u mapu i otvoriti index.html.