Domáca úloha 4

Naprogramujte niečo pekné templatove v C++.

Možný projekt: Dôkazy z Matematickej logiky v C++. Trosku mi trvalo vymysliet dobrú syntax, ale toto je relatívne OK:

auto s1 = A>>(B>>A>>A) >> (A>>(B>>A)>>(A>>A)) 	<< Axiom2(A,B>>A,A); 

auto s2 = A>>(B>>A>>A)				<< Axiom1(A,B>>A); 

auto s3 = A>>(B>>A)>>(A>>A) 	                << ModusPonens(s2,s1); 

auto s4 = A>>(B>>A) 				<< Axiom1(A,B);

          A>>A 					<< ModusPonens(s4,s3);

Poznámka: Nie je to ťažké, za pol hodku som to mal zbuchane. Ak narazíte na problémy, poraďte sa so mnou.

Možný projekt: Do príkladu so zoraďovaním skupín pridajte variadické templaty.