与 «ROZSTRZYGALNOSC»相关的波兰语书籍
在以下的参考文献中发现
rozstrzygalnosc的用法。与
rozstrzygalnosc相关的书籍以及同一来源的简短摘要提供其在 波兰语文献中的使用情境。
1
Semiotyka polska: 1894-1969 - Strona 346
Wprowadzone przez nas warunki „eliminowalności" i „określo- ności" pozostają w ścisłym związku z warunkami rozstrzygalności zdań typu Z(Q). Eozstrzygnąć bowiem dane zdanie — to uzasadnić bądź samo to zdanie, bądź jego negację, ...
2
Zagadnienia Rozstrzygalności - Strona 64
H. Definicja rozstrzygalności Łatwo pokazać, że każdy zbiór obliczalny jest rekurencyj- nie przeliczalny, ale nie na odwrót. Powstaje przeto dla każdej teorii zagadnienie, czy zbiór jej twierdzeń jest obliczalny, czy nie. Problem ten zwie się ...
Andrzej Grzegorczyk, 1957
3
O pojęciu dowodu w matematyce: - Strona 136
Proste przykłady problemów rozstrzygalnych to np.: sprawdzenie, czy dana liczba a jest sumą dwóch danych innych liczb b, c; sprawdzenie, czy dana liczba naturalna n jest liczbą pierwszą; sprawdzenie, czy dana formuła rachunku zdań jest ...
Krzysztof Wójtowicz, 2012
4
Rozprawy i monografie - Strona 49
(b) Jeżeli zdanie 8 jest logicznie równoważne skończonej (niesprzecznej) koniunkcji Bv zdań podstawowych, to zarówno 8, jak i 8 ? jest empirycznie rozstrzygalne, mianowicie dwustronnie (całkowicie) rozstrzygalne: obie odpowiedzi ...
Seweryn Kruszczyński, 1962
5
Język i poznanie: Wybór pism z lat 1920-1939 - Tom 1 - Strona 158
Czy takie zdanie jest w zasadzie rozstrzygalne ? Nazywamy w zasadzie rozstrzygalnym zdanie języka, gdy jest albo dodatnio, albo ujemnie w zasadzie rozstrzygalne. Powiadamy, że zdanie języka jest w zasadzie dodatnio rozstrzygalne, gdy ...
Kazimierz Ajdukiewicz, 1985
6
Pozytywistyczna teoria wiedzy - Strona 81
II Jednakże samo deklarowanie się po stronie idei zajmowania się jedynie zagadnieniami rozstrzygalnymi - mimo nieraz silnego akcentowania tej idei - mówi nam w gruncie rzeczy bardzo mało. Powstają od razu wątpliwości: jaka jest jej treść ...
7
Sprawozdania - Tomy 15-17 - Strona 195
Badania ostatnich czasów dowiodły, że zagadnienia rozstrzygalności dla obszernej klasy pojęć natury zarówno matematycznej jak i czysto logicznej dają się sprowadzić do jednego zagadnienia rozstrzygalności, związanego z pewnym ...
Towarzystwo Naukowe we Lwowie, 1935
8
Metodologia badań sopłecznych - Strona 36
Nadanie pytaniom problematyki badawczej. charakteru możliwie jednoznacznego jest konieczne do tego, aby były one rozstrzygalne: nie jesteśmy przecież w stanie udzielić właściwej odpowiedzi na pytanie, dopóki nie wiemy, o co naprawdę ...
9
Ruch filozoficzny - Tom 45 - Strona 234
We wspomnianym powyżej dowodzie rozstrzygalności sylogistyki Arystotelesa korzysta się z wprowadzonej przez Łukasiewicza tzw. aksjoma- tycznej metody odrzucania. Rozstrzygalność w sensie Łukasiewicza została przez Słupeckiego ...
Kazimierz Twardowski, 1988
10
Funkcje rekurencyjne i elementy matematyki: problemy zupełności, ...
TEORIE ROZSTRZYGALNE Przypomnijmy, że teorię T nazywamy rozstrzygalną jeżeli zbiór (numerów Gódla) jej twierdzeń jest rekurencyjny, czyli, korzystając z tezy Churcha, gdy istnieje efektywna metoda rozstrzygania czy dowolna dana ...
