Matematyczne podstawy informatyki



Pobieranie 3.9 Mb.
Strona27/45
Data28.10.2017
Rozmiar3.9 Mb.
1   ...   23   24   25   26   27   28   29   30   ...   45

Dodajmy do powyższych rozważań dwa dodatkowe wyjaśnienia. Skoro kwantyfikator ogólny mówi o wszystkich przedmiotach opisywanych przez wyrażenie można wyobrażać sobie, iż zapis używający tego kwantyfikatora jest skrótem koniunkcji (często nieskończonej) przebiegającej przez wszystkie dopuszczone elementy. Na przykład, ograniczając uwagę do liczb całkowitych wyrażenie odpowiada koniunkcji z nieskończoną ilością składowych. Podobnie kwantyfikator szczegółowy może być pojmowany jako alternatywa. Wówczas staje się alternatywą o nieskończonej ilości składowych.

Pobieranie 3.9 Mb.

Share with your friends:
1   ...   23   24   25   26   27   28   29   30   ...   45




©operacji.org 2020
wyślij wiadomość

    Strona główna