Henry Sheffer

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania

Henry Maurice Sheffer (ur. 1 września 1882 na Ukrainie, zm. 17 marca 1964 w Cambridge w stanie Massachusetts) – amerykański logik.

Stany Zjednoczone, Stany Zjednoczone Ameryki (ang. United States, US, United States of America, USA) – federacyjne państwo w Ameryce Północnej graniczące z Kanadą od północy, Meksykiem od południa, Oceanem Spokojnym od zachodu, Oceanem Arktycznym od północnego zachodu i Oceanem Atlantyckim od wschodu.Elektronika cyfrowa to dziedzina elektroniki zajmująca się układami cyfrowymi, sygnałami cyfrowymi i cyfrowym przetwarzaniem sygnałów.

Urodził się na Ukrainie. W wieku 10 lat wyemigrował wraz z rodziną do Stanów Zjednoczonych i osiadł w Bostonie, gdzie uczęszczał do Boston Latin School. Następnie podjął studia na Uniwersytecie Harvarda, gdzie w 1905 roku uzyskał tytuł bakałarza, w 1907 roku – magistra, a w 1908 roku otrzymał stopień doktora nauk filozoficznych przedstawiając rozprawę „A Program of Philosophy Based on Modern Logic”. Po studiach został na uczelni i spędził tam większość życia zawodowego wykładając filozofię i nauki pokrewne.

Uniwersytet Harvarda (ang. Harvard University) powstał 8 września 1636 jako Harvard College w Newtown (wówczas w Kolonii Zatoki Massachusetts, obecnie Cambridge) koło Bostonu jako pierwszy uniwersytet na terenie kolonii brytyjskich w Ameryce Północnej.International Standard Name Identifier (ISNI) – unikalny identyfikator służący wystandaryzowanej identyfikacji obiektów, podmiotów, autorów dzieł, utworów i publikacji.

W 1913 roku udowodnił, że każda algebra Boole’a może być zdefiniowana przy pomocy pojedynczego działania dwuargumentowego tak zwanej operacji NAND (lub – dualnie – NOR). W odniesieniu do rachunku zdań oznacza to, że każdy spójnik logiczny może być wyrażony przy pomocy kreski Sheffera (spójnika, który ma taką samą tablicę prawdy jak operacja NAND. Podobny wynik otrzymał już w roku 1880 Charles Sanders Peirce, jednak jego prace nie zostały opublikowane aż do roku 1933. Twierdzenie to ma duże znaczenie w elektronice cyfrowej, gdyż pozwala składać układy realizujące dowolne wyrażenia logiczne z samych bramek NAND.

Library of Congress Control Number (LCCN) – numer nadawany elementom skatalogowanym przez Bibliotekę Kongresu wykorzystywany przez amerykańskie biblioteki do wyszukiwania rekordów bibliograficznych w bazach danych i zamawiania kart katalogowych w Bibliotece Kongresu lub u innych komercyjnych dostawców. WorldCat – katalog rozproszony łączący zbiory 71 000 bibliotek ze 112 krajów, które są uczestnikami serwisu Online Computer Library Center. Katalog jest tworzony i prowadzony przez biblioteki, których zbiory są w nim ujęte.




Warto wiedzieć że... beta

Virtual International Authority File (VIAF) – międzynarodowa kartoteka haseł wzorcowych. Jej celem jest ujednolicenie zapisu nazw osobowych (haseł), dlatego zbiera z bibliotek z całego świata – ich różne wersje i prezentuje je razem, pod jednym, unikatowym identyfikatorem numerycznym. Pozwala to obniżyć koszty i zwiększyć użyteczność danych gromadzonych przez biblioteki. Informacje po dopasowaniu i połączaniu są udostępniane online bibliotekom na całym świecie.
Dysjunkcja (dyzjunkcja, dysjunkcja/dyzjunkcja Sheffera, funkcja Sheffera, NAND, w terminologii Jana Łukasiewicza niewspółzachodzenie) – zdanie lub funkcja zdaniowa utworzone za pomocą funktora dysjunkcji, jednego z dwuargumentowych funktorów zdaniotwórczych rachunku zdań. Symbolem funktora dysjunkcji jest przeważnie ukośna kreska /. W języku potocznym funktorowi dysjunkcji odpowiada swobodnie funktor „bądź..., bądź...”. Wyrażenie "p / q" odczytywać można „bądź p, bądź q”, „albo p, albo q” (w znaczeniu „zachodzi najwyżej jedno z dwojga”, por.), jako że dysjunkcja jest negacją koniunkcji („nieprawda, że zarazem p i q”). Pojęcie dysjunkcji wprowadził w 1913 Henry Sheffer.
Działanie dwuargumentowe a. binarne – w algebrze działanie algebraiczne o argumentowości równej 2, czyli funkcja przypisująca dwóm elementom inny; wszystkie elementy mogą pochodzić z innych zbiorów.
Bramka logiczna – element konstrukcyjny maszyn i mechanizmów (dziś zazwyczaj: układ scalony, choć podobne funkcje można zrealizować również za pomocą innych rozwiązań technicznych, np. hydrauliki czy pneumatyki), realizujący fizycznie pewną prostą funkcję logiczną, której argumenty (zmienne logiczne) oraz sama funkcja mogą przybierać jedną z dwóch wartości, np. 0 lub 1 (zob. algebra Boole’a).
SUDOC (fr. Système Universitaire de Documentation, pol. Uniwersytecki System Dokumentacji) – centralny katalog informacji bibliograficznej francuskiego szkolnictwa wyższego.
Ukraina (ukr. Україна, Ukrajina) – państwo położone w Europie Wschodniej. Graniczy od północy z Białorusią, od zachodu z Polską, Słowacją i Węgrami, od południa z Rumunią i Mołdawią oraz Morzem Czarnym i Morzem Azowskim, od północnego wschodu i wschodu z Federacją Rosyjską. Ukraina jest członkiem założycielem ONZ, członkiem Światowej Organizacji Handlu, Rady Europy, Międzynarodowej Agencji Energii Atomowej oraz organizacji regionalnych i subregionalnych, tj. Wspólnoty Niepodległych Państw, OBWE, GUAM i Organizacji Państw Morza Czarnego.
Tablica prawdy lub matryca logiczna – wprowadzony w XIX wieku przez logików amerykańskich, Charlesa Sandersa Peirce’a i Emila Leona Posta, układ tabelaryczny zero-jedynkowych kombinacji wartości logicznych argumentów danej funkcji zdaniowej i dokładnie zależących od nich wartości logicznych tejże funkcji zdaniowej, w którym prawdzie odpowiada wartość 1, a fałszowi przypisuje się wartość 0.

Reklama