Elementy logiki i teorii mnogości dla informatyków /

Słowa kluczowe:

Teorie formalne
Zbiory
Rachunek zdań
Funkcje zdaniowe
Typy porządkowe
Reguły wnioskowania
Relacje równoważności
Relacje porządkujące
Tautologie
Funkcje
Kwantyfikatory
Teoria mnogości

Rodzaj dokumentu:
Książka

URL:

Wyszukaj