22 kontakty: Algebra Boole’a, Ani, Bramka logiczna, Bramka NAND, Charles Sanders Peirce, Dysjunkcja (Sheffera), Eustachy Żyliński, Funkcja boolowska, Funktor zdaniotwórczy, Henry Sheffer, Implikacja logiczna, Koniunkcja (logika), Lista symboli matematycznych, NOR, Przerzutnik typu RS, Rachunek zdań, Równoważność, Seria 7400, System funkcjonalnie pełny, Tablica prawdy, Układ cyfrowy, 7402.
Algebra Boole’a
Diagram Hassego dla algebry Boole’a podzbiorów zbioru trójelementowego Diagramy Venna dla operatorów algebry Boole’a Algebra Boole’a – pewien typ struktury algebraicznej, rodzaj algebry ogólnej stosowany w matematyce, informatyce teoretycznej oraz elektronice cyfrowej.
Nowy!!: Binegacja i Algebra Boole’a · Zobacz więcej »
Ani
* ani – spójnik.
Nowy!!: Binegacja i Ani · Zobacz więcej »
Bramka logiczna
247x247px 200x200px 280x280px 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.
Nowy!!: Binegacja i Bramka logiczna · Zobacz więcej »
Bramka NAND
Bramka NAND (dysjunkcja) – bramka logiczna, która realizuje funkcję NAND.
Nowy!!: Binegacja i Bramka NAND · Zobacz więcej »
Charles Sanders Peirce
Charles Sanders Peirce (ur. 10 września 1839, zm. 19 kwietnia 1914) – amerykański naukowiec, filozof, twórca (obok Williama Jamesa) kierunku filozoficznego zwanego pragmatyzmem.
Nowy!!: Binegacja i Charles Sanders Peirce · Zobacz więcej »
Dysjunkcja (Sheffera)
Dysjunkcja, dyzjunkcjaWiktor Marek, Janusz Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach, Wydawnictwo Naukowe PWN, Warszawa 2012,, s. 8.
Nowy!!: Binegacja i Dysjunkcja (Sheffera) · Zobacz więcej »
Eustachy Żyliński
Eustachy Karol Żyliński (ur. 19 września 1889 w Kunie, zm. 4 lipca 1954 w Łodzi) – polski matematyk zajmujący się teoriąliczb, algebrą, logikąi podstawami matematyki.
Nowy!!: Binegacja i Eustachy Żyliński · Zobacz więcej »
Funkcja boolowska
Funkcja boolowska (funkcja logiczna) – dowolne odwzorowanie f\colon X \to Y, gdzie B.
Nowy!!: Binegacja i Funkcja boolowska · Zobacz więcej »
Funktor zdaniotwórczy
Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową.
Nowy!!: Binegacja i Funktor zdaniotwórczy · Zobacz więcej »
Henry Sheffer
Henry Maurice Sheffer (ur. 1 września 1882 na Ukrainie, zm. 17 marca 1964 w Cambridge w stanie Massachusetts) – amerykański logik.
Nowy!!: Binegacja i Henry Sheffer · Zobacz więcej »
Implikacja logiczna
Implikacja logiczna (wynikanie) – relacja (lub w innym ujęciu symbol relacyjny) pomiędzy teoriami (zbiorami zdań logicznych) T i B jest spełniona, gdy każdy model teorii T jest także modelem teorii B. Często jest mylona z implikacjąmaterialną, będącąszczególnym przypadkiem zdania.
Nowy!!: Binegacja i Implikacja logiczna · Zobacz więcej »
Koniunkcja (logika)
Koniunkcja – zdanie złożone mające postać p i q, gdzie p, q sązdaniami.
Nowy!!: Binegacja i Koniunkcja (logika) · Zobacz więcej »
Lista symboli matematycznych
Lista symboli matematycznych – artykuł zawierający listę podstawowych symboli i oznaczeń matematycznych.
Nowy!!: Binegacja i Lista symboli matematycznych · Zobacz więcej »
NOR
* NOR – pojęcie w matematyce.
Nowy!!: Binegacja i NOR · Zobacz więcej »
Przerzutnik typu RS
Przerzutnik typu RS – najprostszy rodzaj przerzutnika asynchronicznego.
Nowy!!: Binegacja i Przerzutnik typu RS · Zobacz więcej »
Rachunek zdań
Rachunek zdań – dział logiki matematycznej badający związki między zmiennymi zdaniowymi (zdaniami) lub funkcjami zdaniowymi, utworzonymi za pomocąfunktorów zdaniotwórczych (spójników zdaniowych) ze zdań lub prostszych funkcji zdaniowych.
Nowy!!: Binegacja i Rachunek zdań · Zobacz więcej »
Równoważność
Równoważność (lub: ekwiwalencja) – twierdzenie, w którym teza jest warunkiem koniecznym, jak i dostatecznym przesłanki.
Nowy!!: Binegacja i Równoważność · Zobacz więcej »
Seria 7400
Układ 7400, rozpoczynający serię 74xx. Rozmieszczenie wyprowadzeń zasilania: GND – nr 7, oraz VCC – nr 14 Seria 7400 lub 74xx była jednąz najważniejszych historycznie serii monolitycznych układów scalonych.
Nowy!!: Binegacja i Seria 7400 · Zobacz więcej »
System funkcjonalnie pełny
System funkcjonalnie pełny – taki zbiór funkcji boolowskich, dla którego dowolna funkcja boolowska może być przedstawiona za pomocąfunkcji należących do tego zbioru i argumentów funkcji.
Nowy!!: Binegacja i System funkcjonalnie pełny · Zobacz więcej »
Tablica prawdy
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.
Nowy!!: Binegacja i Tablica prawdy · Zobacz więcej »
Układ cyfrowy
Układy cyfrowe, także układy logiczne – układy operujące na wartościach dyskretnych.
Nowy!!: Binegacja i Układ cyfrowy · Zobacz więcej »
7402
Układ 7402 z czterema bramkami NOR. SN 7402 – jeden z pierwszych cyfrowych układów scalonych zawierający w swym wnętrzu cztery dwuwejściowe bramki NOR.
Nowy!!: Binegacja i 7402 · Zobacz więcej »