Temat: rachunek predykatów - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Skocz do pozycji: 1.

Tytuł:: Elementy logiki matematycznej i metodologii nauk ścisłych (skrypt z wykładów)
Autorzy:: Stanisław Jaśkowski
Data publikacji:: 2018-12-17
Wydawca:: Wydawnictwo Uniwersytetu Łódzkiego
Słowa kluczowe:: Edukacja
Matematyka
rachunek predykatów
znakowanie beznawiasowe
logika matematyczna
Jaśkowski Stanisław
kwantyfikatory
rachunek zdań; Pokaż więcej
Dostawca treści:: ebookpoint BIBLIO

eBook

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Elementy logiki matematycznej i metodologii nauk ścisłych : skrypt z wykładów
Autorzy:: Jaśkowski, Stanisław
Współwytwórcy:: Baran, Jakub Red.
Data publikacji:: 2018
Słowa kluczowe:: logika matematyczna
rachunek zdań
kwantyfikatory
Jaśkowski Stanisław
rachunek predykatów
znakowanie beznawiasowe; Pokaż więcej
Tematy:: Inne; Pokaż więcej
Dostawca treści:: IBUK Libra

Książka

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Uwagi o L. Borkowskiego metodzie zerojedynkowego sprawdzania węższego rachunku predykatów
Autorzy:: Lechniak, Marek
Data publikacji:: 2001
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika
rachunek predykatów
metoda zerojedynkowa
logic
predicate calculus
truth-table decision procedure; Pokaż więcej
Źródło:: Roczniki Filozoficzne; 2001, 49, 1; 235-241
0035-7685
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja