Funktor
Wyniki wyszukiwania „Funktor Wiki - Wiki wolna encyklopedia
Na Wikipedii znajduje się strona „Funktor”. Zobacz także inne wyniki wyszukiwania.
- złożonych funktorów. Wyrażenie, wraz z którym dany funktor tworzy wyrażenie bardziej złożone, to argument funktora. Podział wyrażeń na funktory, nazwy i…
- Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową. Funktory zdaniotwórcze…
- Dysjunkcja (Sheffera) (przekierowanie z Funktor Scheffera)Sheffera, funktor Sheffera, NAND, w terminologii Jana Łukasiewicza niewspółzachodzenie – zdanie lub funkcja zdaniowa utworzone za pomocą funktora dysjunkcji…
- Predykat – wieloznaczny termin mogący oznaczać: funktor zdaniotwórczy od x argumentów nazwowych; funkcję zdaniową argumentów nazwowych; wyrażenie opisujące…
- posiada funktory modalne. Funktor modalny jest to funkcja, która przypisuje wartości logiczne termom boolowskim, które same mogą zawierać funktory modalne…
- rozróżnienie dwóch typów funktorów: kowariantnych i kontrawariantnych. Pojęcie kategorii, funktora i naturalnych transformacji funktorów wprowadzili do matematyki…
- Funktor intensjonalny, spójnik intensjonalny – funktor zdaniotwórczy od argumentów zdaniowych taki, że wartość logiczna zdania utworzonego za jego pomocą…
Bramka NOR – jeden z funktorów zdaniowych rachunku zdań; dwuargumentowa funkcja boolowska (funktor logiczny) realizująca zaprzeczoną sumę logiczną (NOT…- na zbiorze zdań (funktor zdaniotwórczy), które każdemu zdaniu p przypisuje zdanie nie p; wynik tego działania, tj. wartość funktora – zdanie mające postać…
- Funktor ekstensjonalny, spójnik ekstensjonalny – funktor zdaniotwórczy od argumentów zdaniowych taki, że wartość logiczna zdania utworzonego za jego pomocą…
- Deskrypcja – nazwa złożona zbudowana przez deskrypcyjny funktor nazwotwórczy określony na argumentach, które mogą być tylko jednostkowymi nazwami indywidualnymi…
symetryczna, suma poprzeczna, suma modulo 2, kontrawalencja, XOR – logiczny funktor zdaniotwórczy (dwuargumentowa funkcja boolowska). W logice matematycznej…- Alternatywa wykluczająca – logiczny funktor zdaniotwórczy Elektryczne ogrzewanie rozjazdów – urządzenia elektryczne Olimpijska reprezentacja uchodźców…
- Teoria kategorii (sekcja Funktory)następnie pojęcie funktora z jednej kategorii do drugiej i podali definicję naturalnej transformacji funktorów i naturalnej równoważności funktorów. W teorii…
- Deskrypcyjny funktor nazwotwórczy – funktor nazwotwórczy, którego częścią składową jest nazwa generalna, oparty na argumencie albo argumentach będących…
- pomocą funktorów zdaniotwórczych (spójników zdaniowych) ze zdań lub prostszych funkcji zdaniowych. Rachunek zdań określa sposoby stosowania funktorów zdaniotwórczych…
- koniunkcja jest działaniem w zbiorze zdań lub funkcji zdaniowych (stąd nazwa: funktor zdaniotwórczy). Mostowski 1948 ↓, s. 8. Rasiowa 1975 ↓, s. 163. Ross i…
- {\displaystyle {\overline {\wedge }},|,\uparrow } kreska Sheffera również funktor Sheffera, dysjunkcja, niewspółzachodzenie ∨ ¯ {\displaystyle {\overline…
- spójnik – część mowy spójnik logiczny, konektyw – funktor zdaniotwórczy od x argumentów zdaniowych…
- Nazwa – obok zdania i funktora jedna z trzech głównych kategorii syntaktycznych, wyróżnionych w teorii kategorii syntaktycznych. Nazwa to każde wyrażenie…
- Funktory - to części mowy (przymiotniki, przysłówki, spójniki), "które łącząc się z nazwami i zdaniami tworzą bardziej rozbudowane konstrukcje" [M. Sieruga]
- wymowa: znaczenia: rzeczownik (1.1) mat. funktor odmiana: przykłady: składnia: kolokacje: synonimy: antonimy: hiperonimy: hiponimy: holonimy: meronimy:
- stosunku, części i całości, a dalej: pojęciami właściwości, stałych funktorów i zmiennych, a fizyka pojęciami: rozciągłości w ruchu — od drobiny do