Widok standardowy Widok MARC

Rozstrzygalność (logika matematyczna). (Hasło przedmiotowe)

Liczba rekordów, w których użyto hasła: 1

Forma preferowana: Rozstrzygalność (logika matematyczna).

Forma odrzucona:

Décidabilité (logique mathématique) [f]
Decidability (Mathematical logic) [c]

Zobacz też:

Hasło szersze: Logika symboliczna i matematyczna.
Funkcje obliczalne.
Funkcje rekursywne.
Twierdzenie Gödla.
Problem domina.

Uwagi

RAMEAU

Mała encyklopedia logiki. - Wrocław, 1988 (Istnienie metody pozwalającej o każdym twierdzeniu danej teorii rozstrzygnąć za pomocą skończonej liczby prób czy jest ono twierdzeniem tej teorii)

Nazwa	Wartość	Okres ważności	Opis
CGISESSID	identyfikator sesji	Do czasu wylogowania lub zakończenia sesji	Plik cookie sesji
KohaOpacLanguage	Kod języka	3 lata	Przechowuje kod ostatnio wybranego języka, dzięki czemu katalog online będzie wyświetlany w tym samym języku przy następnej wizycie.
form_serialized form_serialized_limits	parametry wyszukiwania	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	Plik przechowuje parametry ostatniego wyszukiwania zaawansowanego
search_path_code	ads (mniej) lub exs (więcej)	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	plik cookie jQuery. Powiązane z plikami cookie w formacie serialized_form*. Zapamiętuje, czy w formularzu wyszukiwania zaawansowanego zastosowano opcję „Więcej opcji” lub „Mniej opcji”.
num_paragraph	Ilość dodanych opcji wyszukiwania	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	plik cookie jQuery. Służy do przechowywania liczby utworzonych opcji, gdy użytkownik wybierze opcję „Więcej opcji” w wyszukiwaniu zaawansowanym, aby zwiększyć liczbę pól wyszukiwania.
bib_list	Lista identyfikatorów rekordów	Koniec sesji lub do opróżnienia koszyka.	Przechowuje zawartość koszyka w katalogu. Ustawia moment dodania rekordów do koszyka po raz pierwszy.