Більш швидкий доступ, ніж браузер!
30 відносини: Карта Карно, Клод Шеннон, Комутативність, Кон'юнктивна нормальна форма, Правила де Моргана, Порецький Платон Сергійович, Асоціативність, Тризначна логіка, Таблиці істинності, Чарлз Сандерс Пірс, Числення висловлень, Метод Куайна — Мак-Класкі, Закон подвійного заперечення, Булева функція, Булева множина, Бертран Расселл, Висловлювання (логіка), Генрі Шеффер, Давид Гільберт, Джордж Буль, Дистрибутивність, Диз'юнктивна нормальна форма, Ідемпотентність, Інволюція (математика), Енциклопедія сучасної України, Літерал (математична логіка), Логіка висловлювань, 1847, 1870-ті, 1938.
Карта Карно
Приклад карти Карно Карта Карно (K-карта скорочено) - метод спрощення виразів булевої алгебри, зроблене Морісом Карно в 1953 поліпшення Діаграм Вейча, винайдених Едвардом Вейчем в 1952.
Новинка!!: Алгебра логіки і Карта Карно · Побачити більше »
Клод Шеннон
Клод Елвуд Шеннон (Claude Elwood Shannon; *30 квітня, 1916 — †24 лютого, 2001) — американський електротехнік і математик, «батько теорії інформації».
Новинка!!: Алгебра логіки і Клод Шеннон · Побачити більше »
Комутативність
Бінарна операція ~\times на множині S є комутативною, якщо для всіх x і y ∈ S. В іншому випадку × є некомутативною.
Новинка!!: Алгебра логіки і Комутативність · Побачити більше »
Кон'юнктивна нормальна форма
Кон'юнкти́вна норма́льна фо́рма (КНФ) в булевій логіці - нормальна форма в якій булева формула має вид кон'юнкції декількох диз'юнктів (де диз'юнктами називаються диз'юнкції декількох пропозиційних символів або їх заперечень).
Новинка!!: Алгебра логіки і Кон'юнктивна нормальна форма · Побачити більше »
Правила де Моргана
Логічна схема правил де Моргана Правила де Моргана — властивість булевих алгебр, що дозволяє виразити одну з двоїстих операцій \ \lor,\land через іншу і унарну операцію \ \lnot доповнення (заперечення).
Новинка!!: Алгебра логіки і Правила де Моргана · Побачити більше »
Порецький Платон Сергійович
thumb Порецький Платон Сергійович (*3 (15) жовтня 1846, Єлисаветград — 9 (22) серпня 1907, село Жовідь — російський логік, математик і астроном. Закінчив фізико-математичний факультет Харківського університету у 1870 році. В 1876—1889 роках працював у Казанському університеті, був першим російським ученим, що читав лекції з математичної логіки та її застосування до теорії ймовірностей. Визначаючи математичну логіку як «логіку за предметом, математику — за методами», Порецький узагальнив і розвинув результати досліджень У. С. Джевонса, Дж. Буля в галузі алгебри логіки. Порецькому належать одне з узагальнень класичної теорії силогізму, праці з аксіоматики, теорії чисел тощо. За філософськими поглядами Порецький був матеріалістом.
Новинка!!: Алгебра логіки і Порецький Платон Сергійович · Побачити більше »
Асоціативність
Асоціативна операція (сполучний закон) — бінарна операція, яка володіє властивістю асоціативності (від латинського слова associatio — «з'єднання»), тобто виконується: Для асоціативної операції результат обчислення x_1\cdot x_2 \cdot\dots\cdot x_n не залежить від порядку обчислення (розташування дужок), і тому можна опускати дужки у записі виразу.
Новинка!!: Алгебра логіки і Асоціативність · Побачити більше »
Тризначна логіка
Трійкова логіка (трьохзначна логіка) — багатозначна логіка з трьома значеннями, є найпростішим розширенням звичайної бінарної логіки, тобто, крім значень TRUE, FALSE існує ще третє значення.
Новинка!!: Алгебра логіки і Тризначна логіка · Побачити більше »
Таблиці істинності
Табли́ця і́стинності — математична таблиця, що широко використовується у математичній логіці зокрема в алгебрі логіки, численні висловлень для обчислення значень булевих функцій.
Новинка!!: Алгебра логіки і Таблиці істинності · Побачити більше »
Чарлз Сандерс Пірс
Чарльз Сандерс Пірс (Charles Sanders Peirce, МФА: /ˈpɜrs/, —) — американський філософ, логік, математик та природознавець, засновник прагматизму.
Новинка!!: Алгебра логіки і Чарлз Сандерс Пірс · Побачити більше »
Числення висловлень
Чи́слення висло́влень (логіка висловлень, пропозиційна логіка, propositional logic) — формальна система в математичній логіці, в якій формули, що відповідають висловленням, можуть утворюватись шляхом з'єднання простих висловлень із допомогою логічних операцій, та система правил виводу, які дозволяють визначати певні формули як «теореми» формальної системи.
Новинка!!: Алгебра логіки і Числення висловлень · Побачити більше »
Метод Куайна — Мак-Класкі
Метод Куайна — Мак-Класкі (метод простих імплікант) - табличний метод мінімізації булевих функцій розроблений Уілардом Куайном і Едвардом Мак-Класкі.
Новинка!!: Алгебра логіки і Метод Куайна — Мак-Класкі · Побачити більше »
Закон подвійного заперечення
Зако́н подві́йного запере́чення — принцип, що покладений в основу класичної логіки, згідно з яким «якщо невірно, що невірно А, то А вірно».
Новинка!!: Алгебра логіки і Закон подвійного заперечення · Побачити більше »
Булева функція
Бу́лева фу́нкція (функція алгебри логіки, логічна функція) — в дискретній математиці відображення Bn → B, де B.
Новинка!!: Алгебра логіки і Булева функція · Побачити більше »
Булева множина
Булева множина — в математиці, множина з двома елементами, що інтерпретуються як «істина» та «хиба».
Новинка!!: Алгебра логіки і Булева множина · Побачити більше »
Бертран Расселл
Бертра́н А́ртур Ві́льям Расселл (Bertrand Arthur William Russell; 18 травня 1872, Треллек, Уельс — 2 лютого 1970, Пенриндайдрайт, Уельс) — британський філософ, логік, математик, громадський діяч.
Новинка!!: Алгебра логіки і Бертран Расселл · Побачити більше »
Висловлювання (логіка)
Висловлювання — речення, що виражає судження.
Новинка!!: Алгебра логіки і Висловлювання (логіка) · Побачити більше »
Генрі Шеффер
Генрі Моріс Шеффер (Henry Maurice Sheffer, 1882 — 1964) — американський логік.
Новинка!!: Алгебра логіки і Генрі Шеффер · Побачити більше »
Давид Гільберт
Давид Гільберт (David Hilbert; 23 січня 1862, Велау тепер смт Знаменськ Гвардєйського района Калінінградської області — 14 лютого 1943) — німецький математик.
Новинка!!: Алгебра логіки і Давид Гільберт · Побачити більше »
Джордж Буль
Джордж Буль (George Boole), (2 листопада 1815, Лінкольн, Англія — †8 грудня 1864, Баллінтемпл, Корк, Ірландія) — британський математик і філософ.
Новинка!!: Алгебра логіки і Джордж Буль · Побачити більше »
Дистрибутивність
Дистрибутивність (розподільний закон) — властивість бінарних операцій, визначених на одній множині.
Новинка!!: Алгебра логіки і Дистрибутивність · Побачити більше »
Диз'юнктивна нормальна форма
Диз'юнкти́вна норма́льна фо́рма (ДНФ) в булевій логіці — нормальна форма в якій булева формула має вид диз'юнкції декількох кон'юнктів (де кон'юнктами називаються кон'юнкції декількох пропозиційних символів або їх заперечень).
Новинка!!: Алгебра логіки і Диз'юнктивна нормальна форма · Побачити більше »
Ідемпотентність
Бенжамін Пірс Ідемпотентність (idem — такий самий, potens — сильний) — властивість унарних та бінарних операцій в алгебрі та логіці.
Новинка!!: Алгебра логіки і Ідемпотентність · Побачити більше »
Інволюція (математика)
Інволюційна функція f: X\to X застосована двічі повертає нас в початкову точку. Інволюція (інволюційна функція) — в математиці, це функція, що є оберненою сама до себе.
Новинка!!: Алгебра логіки і Інволюція (математика) · Побачити більше »
Енциклопедія сучасної України
Енциклопе́дія суча́сної Украї́ни (ЕСУ) — багатотомне енциклопедичне вида́ння (алфавітна енциклопедія) про Україну в усіх вимірах від початку XX століття до сьогодення.
Новинка!!: Алгебра логіки і Енциклопедія сучасної України · Побачити більше »
Літерал (математична логіка)
У математичній логіці літералом називають атомарну формулу, без 0 і 1, або її логічне заперечення.
Новинка!!: Алгебра логіки і Літерал (математична логіка) · Побачити більше »
Логіка висловлювань
Логічні висловлювання - поняття висловлювання, як і поняття множини, не означають, а дають йому описову характеристику з використанням багатьох прикладів.
Новинка!!: Алгебра логіки і Логіка висловлювань · Побачити більше »
1847
Без опису.
Новинка!!: Алгебра логіки і 1847 · Побачити більше »
1870-ті
Без опису.
Новинка!!: Алгебра логіки і 1870-ті · Побачити більше »
1938
Без опису.
Новинка!!: Алгебра логіки і 1938 · Побачити більше »
Перенаправлення тут:
Принцип двозначності, Булева алгебра (логіка), Булева логіка, Булева операція, Двійкова алгебра.
