Diferente pentru 2-sat intre reviziile #78 si #79

Diferente intre titluri:

Problema satisfiabilității formulelor logice de ordinul doi
Problema 2-satisfiabilității

Diferente intre continut:

h1. Problema satisfiabilităţii formulelor logice de ordinul doi
h1. Problema 2-satisfiabilităţii
== include(page="template/implica-te/scrie-articole" user_id="marius") ==
h2(#probleme). Probleme propuse
Pentru a vă familiariza cu subiectul prezentat în acest articol, vă propunem să încercati să rezolvaţi următoarele probleme:
# 'Excursion':www.oi.edu.pl/download/boi-2001.pdf - Baltic Olympiad in Informatics, 2001
Pentru a vă familiariza cu subiectul prezentat în acest articol, vă propunem să încercaţi să rezolvaţi următoarele probleme:
 
# 'Excursion':http://www.oi.edu.pl/download/boi-2001.pdf - Baltic Olympiad in Informatics, 2001
# 'Peace Commision':http://www.oi.edu.pl/php/show.php?ac=e100000&module=show&file=zadania/oi8/spokojna - Polish Olympiad in Informatics, 2001
h2(#bibliografie). Bibliografie:

Nu exista diferente intre securitate.

Topicul de forum nu a fost schimbat.