Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.fds-net.ru/showflat.php?Number=29239&src=alt&showlite=l Дата изменения: Unknown Дата индексирования: Tue Feb 26 02:36:51 2013 Кодировка: Windows-1251

Alt >> Flood.Букварь Страницы: 0 | 20 | (25) | показать все
hemul : Re: О математиках и физиках  [re:KOHTPA]   24.01.2006 05:59    | Reply | Edit |	0
\\ Отношение --- это отображение U x U --> {0,1}. \\ Бинарная операция --- это отображение U x U --> U. \\ Не так? Бинарное отношение ("в U" или "на U") - это произвольное подмножество декартова квадрата UxU; Бинарная операция (на группоиде) - это (действительно) отображение U x U --> U отображение UxU->{0,1} - двуместный предикат (1-"истина",0-"ложь"); != это двуместный предикат; -> есть пропозициональная связка ("логический символ"), используется для построения формул - высказываний и высказывательных форм (высказывательная форма это такая , которая содержит свободные вхождения переменных и превращается в высказывание при подстановке вместо переменных их значений - имен объектов - из области допустимых); Редактировал hemul (24.01.2006 06:14)
Top