niesprzeczność oor Russies
niesprzeczność
Vertalings in die woordeboek Pools - Russies
совместимость
[ совмести́мость ]
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
Niesprzeczność
Vertalings in die woordeboek Pools - Russies
Непротиворечивость
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Istniją bardzo wydajne mechanizmy wnioskowania do określania tautologii i niesprzeczności, chociaż nie mówiliśmy nic na ten temat.
Существует к тому же очень эффективные механизмы для определения обоснованности и выполнимости, хотя мы их не рассматривали.QED QED
Ackermann kontynuował badania w dziedzinie logiki dowodząc niesprzeczności teorii mnogości (1937), arytmetyki Peana i podając nową aksjomatykę teorii mnogości (1956).
Аккерман работал над доказательством непротиворечивости теории множеств (1937), полной арифметики (1940), свободной логики (1952) и новой аксиоматизацией теории множеств (1956).WikiMatrix WikiMatrix
2 sinne gevind in 1 ms. Hulle kom uit baie bronne en word nie nagegaan nie.