rachunek predykatów drugiego rzędu
Sign in to saveAlso known as second-order predicate logic
extension of first-order logic allowing quantification over functions and relations
Wikidata facts
- Subclass of
- higher-order logic
- Image
- Kindl-Treppe Aug2021d.jpg
Show 1 more fact
- studied by
- mathematics
Sources (3)
via Wikidata · CC0
Article · Polski
Rachunek predykatów drugiego rzędu – rozszerzenie logiki pierwszego rzędu wzbogacone o kwantyfikatory po zmiennych, które przebiegają relacje . Istnieją odmiany logiki drugiego rzędu w których dopuszczalny zbiór kwantyfikatorów ograniczony jest jedynie do określonych rodzajów relacji, np. jest częścią logiki drugiego rzędu obejmującym jedynie kwantyfikatory nad relacjami unarnymi (zbiorami) .
Abstract from DBpedia / Wikipedia · CC BY-SA