Это страшное слово "квантор"

Тут надо мной друзья стебались по-доброму, когда я в каком-то разговоре употребил слово "квантор". Звучит, конечно, могуче. Могучнее только "тензор" ;))) Но на самом деле все просто. Вот объяснение для тех, кто не в теме, двух страшных слов: "предикат" и "квантор".

( Read more... )

Для тех, кто понимает, что такое cvs annotate...

...
1.4 (xxxx 24-Dec-02): break;
1.4 (xxxx 24-Dec-02): }
1.4 (xxxx 24-Dec-02): // !!! temporary
...