Spis treści
15 kontakty: Deskryptor, Funktor (teoria kategorii), Funktor zdaniotwórczy, Gramatyka kategorialna, Jehoszua Bar-Hillel, Kwantyfikator, Nazwa, Operator, Predykat, Spójnik, Stała logiczna, Stanisław Leśniewski (1886–1939), Tadeusz Kotarbiński, Wyrażenie, Zdanie.
Deskryptor
* deskryptor pliku.
Zobaczyć Funktor i Deskryptor
Funktor (teoria kategorii)
W teorii kategorii funktor to odwzorowanie jednej kategorii do drugiej zachowujące złożenia i morfizmy tożsamościoweO historii wprowadzenia terminu funktor w teorii kategorii pisze Zbigniew Semadeni w artykule Creating new concepts in mathematics: freedom and limitations.
Zobaczyć Funktor i Funktor (teoria kategorii)
Funktor zdaniotwórczy
Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową.
Zobaczyć Funktor i Funktor zdaniotwórczy
Gramatyka kategorialna
Gramatyka kategorialna – rodzaj gramatyki formalnej, w której wyróżnia się: słownik będący zbiorem atomów języka opisywanego przez gramatykę, typizację początkowąokreślającązasady przypisywania typów elementom ze słownika oraz typ naczelny gramatyki.
Zobaczyć Funktor i Gramatyka kategorialna
Jehoszua Bar-Hillel
Jehoszua Bar-Hillel (ur. 1915, zm. 1975) – izraelski filozof i językoznawca, profesor uniwersytetu w Jerozolimie.
Zobaczyć Funktor i Jehoszua Bar-Hillel
Kwantyfikator
Kwantyfikator – termin przyjęty w matematyce i logice matematycznej na oznaczenie zwrotów: dla każdego, istnieje takie i im pokrewnych, a także odpowiadającym im symbolom wiążącym zmienne w formułach.
Zobaczyć Funktor i Kwantyfikator
Nazwa
Nazwa – obok zdania i funktora jedna z trzech głównych kategorii syntaktycznych, wyróżnionych w teorii kategorii syntaktycznych.
Zobaczyć Funktor i Nazwa
Operator
Operator może odnosić się do (w kolejności alfabetycznej).
Zobaczyć Funktor i Operator
Predykat
Predykat – wieloznaczny termin mogący oznaczać.
Zobaczyć Funktor i Predykat
Spójnik
* spójnik – część mowy.
Zobaczyć Funktor i Spójnik
Stała logiczna
Stała logiczna – obok zmiennych i ewentualnie znaków interpunkcyjnych jeden z typów wyrażeń słownika teorii logicznej.
Zobaczyć Funktor i Stała logiczna
Stanisław Leśniewski (1886–1939)
Grób Stanisława Leśniewskiego na cmentarzu Powązkowskim Stanisław Leśniewski (ur. 28 marca lub 30 marca 1886 w Sierpuchowie, zm. 13 maja 1939 w Warszawie) – polski filozof i logik.
Zobaczyć Funktor i Stanisław Leśniewski (1886–1939)
Tadeusz Kotarbiński
Cmentarzu Wojskowym na Powązkach w Warszawie (23 lipca 2008) Tadeusz Marian Kotarbiński (ur. 31 marca 1886 w Warszawie, zm. 3 października 1981 tamże) – polski filozof, logik i etyk, czołowy przedstawiciel szkoły lwowsko-warszawskiej, autor koncepcji reizmu, twórca etyki niezależnej oraz koncepcji opiekuna spolegliwego.
Zobaczyć Funktor i Tadeusz Kotarbiński
Wyrażenie
* wyrażenie (informatyka).
Zobaczyć Funktor i Wyrażenie
Zdanie
Zdanie – w językoznawstwie termin ten oznacza wypowiedzenie służące do zakomunikowania jakiejś treści i podlegające ograniczeniom formalnym.
Zobaczyć Funktor i Zdanie
Znany jako Proform.