Більш швидкий доступ, ніж браузер!
51 відносини: AHDL, Intel MCS-51, Ґріґоле Константін Мойсіл, Ґратка (порядок), PHP, Quod Libet, SHA-3 (конкурс), SQL, XTEA, Карта Карно, Канонічна форма, Квантова логіка, Класична логіка, Клод Шеннон, Комп'ютерна термінологія, Правила де Моргана, Основні проблеми числення висловлень, Обмежена машина Больцмана, Асинхронна логіка, Алгебра (значення), Алгебра множин, Алгебра Гейтінга, Алгебрична структура, Наївна теорія множин, Нечітка логіка, Суматор, Система керування, Синтаксис SQL, Список логічних символів, Список об'єктів, названих на честь Джорджа Буля, Числення висловлень, Штучна нейронна мережа, Штрих Шефера, Макстерм, Закон поглинання, Заперечення (значення), Булева функція, Бінарна діаграма рішень, Відкрито-замкнута множина, Вільна булева алгебра, Граф гіперкубу, Герберт Роббінс, Генрі Шеффер, Діаграма Венна, Джордж Буль, Дистрибутивна ґратка, Диференційна приватність, Ідемпотентність, Інтуїціоністська логіка, Ервін Шредінгер, ..., Електронна схема. Розгорнути індекс (1 більше) »
AHDL
AHDL (Altera Hardware Definition Language) — комп'ютерна мова опису апаратних засобів, розроблена компанією Altera, що призначена для опису комбінаційних логічних пристроїв, цифрових автоматів і таблиць істинності з врахуванням архітектурних особливостей ПЛІС цієї фірми.
Новинка!!: Булева алгебра і AHDL · Побачити більше »
Intel MCS-51
Мікроконтролер з сімейства MCS-51, Intel P8051AH (DIP корпус) Intel MCS-51 (i8051) — сімейство мікроконтролерів, розроблених фірмою Intel у 1980 році для використання у вбудовуваних системах.
Новинка!!: Булева алгебра і Intel MCS-51 · Побачити більше »
Ґріґоле Константін Мойсіл
Ґріґоле Константін Мойсіл (Grigore Constantin Moisil; 10 січня 1906, Тулча, Королівство Румунія — 21 травня 1973, Оттава, Канада) — румунський математик, професор (1935), член Румунської академії (1941) і Академії наук Румунії (1948).
Новинка!!: Булева алгебра і Ґріґоле Константін Мойсіл · Побачити більше »
Ґратка (порядок)
Ґратка розбиття множини ~\1,2,3,4\ Ґратка (або решітка) — частково впорядкована множина, в якій для кожної пари елементів існує супремум та інфімум.
Новинка!!: Булева алгебра і Ґратка (порядок) · Побачити більше »
PHP
PHP (PHP: Hypertext Preprocessor — PHP: гіпертекстовий препроцесор), попередня назва: Personal Home Page Tools — скриптова мова програмування, була створена для генерації HTML-сторінок на стороні веб-сервера.
Новинка!!: Булева алгебра і PHP · Побачити більше »
Quod Libet
Quod Libet це багатоплатформний вільний та відкритий програвач, коригувач теґів та бібліотековий упорядник.
Новинка!!: Булева алгебра і Quod Libet · Побачити більше »
SHA-3 (конкурс)
SHA-3 — конкурс на нову криптографічну геш-функцію, запроваджений Національним інститутутом стандартів і технологій США (National Institute of Standards and Technology), (скорочено NIST) для доповнення та подальшої заміни старих функцій: SHA-1 і SHA-2.
Новинка!!: Булева алгебра і SHA-3 (конкурс) · Побачити більше »
SQL
SQL (Structured query language — мова структурованих запитів) — декларативна мова програмування для взаємодії користувача з базами даних, що застосовується для формування запитів, оновлення і керування реляційними БД, створення схеми бази даних та її модифікації, системи контролю за доступом до бази даних.
Новинка!!: Булева алгебра і SQL · Побачити більше »
XTEA
В криптографії, XTEA (eXtended TEA) — блочний шифроалгоритм, покликаний усунути критичні помилки алгоритму TEA.
Новинка!!: Булева алгебра і XTEA · Побачити більше »
Карта Карно
Приклад карти Карно Карта Карно (K-карта скорочено) - метод спрощення виразів булевої алгебри, зроблене Морісом Карно в 1953 поліпшення Діаграм Вейча, винайдених Едвардом Вейчем в 1952.
Новинка!!: Булева алгебра і Карта Карно · Побачити більше »
Канонічна форма
Канонічна форма - така форма, що однозначно репрезентує об'єкт.
Новинка!!: Булева алгебра і Канонічна форма · Побачити більше »
Квантова логіка
Квантова логіка — набір правил логіки для роботи з системами, що потребують урахування квантових законів.
Новинка!!: Булева алгебра і Квантова логіка · Побачити більше »
Класична логіка
Класична логіка — термін математичної логіки по відношенню до тієї чи іншої логічної системи, для вказівки того, що для цієї логіки справедливі всі закони (класичного) обчислення висловлювань, в тому числі закон виключеного третього.
Новинка!!: Булева алгебра і Класична логіка · Побачити більше »
Клод Шеннон
Клод Елвуд Шеннон (Claude Elwood Shannon; *30 квітня, 1916 — †24 лютого, 2001) — американський електротехнік і математик, «батько теорії інформації».
Новинка!!: Булева алгебра і Клод Шеннон · Побачити більше »
Комп'ютерна термінологія
---- # А Б В Г Ґ Д Е Є Ж З І Ї Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ю Я ---- ---- А Б В Г Ґ Д Е Є Ж З І Ї Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ю Я ---- Категорія:Списки Категорія:Комп'ютер Категорія:технічна термінологія.
Новинка!!: Булева алгебра і Комп'ютерна термінологія · Побачити більше »
Правила де Моргана
Логічна схема правил де Моргана Правила де Моргана — властивість булевих алгебр, що дозволяє виразити одну з двоїстих операцій \ \lor,\land через іншу і унарну операцію \ \lnot доповнення (заперечення).
Новинка!!: Булева алгебра і Правила де Моргана · Побачити більше »
Основні проблеми числення висловлень
Числення висловлень і алгебра висловлень.
Новинка!!: Булева алгебра і Основні проблеми числення висловлень · Побачити більше »
Обмежена машина Больцмана
Схема обмеженої машини Больцмана з трьома видимими вузлами та чотирма прихованими вузлами (без упереджених вузлів). Обме́жена маши́на Бо́льцмана (ОМБ, restricted Boltzmann machine, RBM) — це породжувальна штучна нейронна мережа, здатна навчатися розподілу ймовірностей над набором її входів.
Новинка!!: Булева алгебра і Обмежена машина Больцмана · Побачити більше »
Асинхронна логіка
Асинхронна логіка — різновид взаємодії логічних елементів цифрових пристроїв.
Новинка!!: Булева алгебра і Асинхронна логіка · Побачити більше »
Алгебра (значення)
* Алгебра — розділ математики, що вивчає властивості дій над різноманітними величинами і розв'язки рівнянь, пов'язаних з цими діями.
Новинка!!: Булева алгебра і Алгебра (значення) · Побачити більше »
Алгебра множин
Алгебра множин — розділ теорії множин, який визначає закони композиції множин, виходячи з основних властивостей операцій над ними, а також пропонує певну систематичну процедуру для обчислення теоретико-множинних рівнянь та співвідношень.
Новинка!!: Булева алгебра і Алгебра множин · Побачити більше »
Алгебра Гейтінга
Алгебра Гейтінга — ґратка, що узагальнює Булеву алгебру, названа на честь Аренда Гейтінга.
Новинка!!: Булева алгебра і Алгебра Гейтінга · Побачити більше »
Алгебрична структура
Алгебрична структура (алгебрична система) — в математиці це непорожня множина з заданим на ній набором операцій та відношень, що задовільняють деякій системи аксіом.
Новинка!!: Булева алгебра і Алгебрична структура · Побачити більше »
Наївна теорія множин
Наївна теорія множин — одна з декількох теорій множин, в якій описуються фундаментальні складові математики.
Новинка!!: Булева алгебра і Наївна теорія множин · Побачити більше »
Нечітка логіка
Нечітка логіка (fuzzy logic) — розділ математики, який є узагальненням класичної логіки і теорії множин.
Новинка!!: Булева алгебра і Нечітка логіка · Побачити більше »
Суматор
Сума́тор (adder) — вузол ЕОМ, призначений для утворення суми двох операндів; цифрова схема, яка виконує додавання чисел.
Новинка!!: Булева алгебра і Суматор · Побачити більше »
Система керування
Пульт системи керування приводом компресора. Система керування, також Система управління (control system) — систематизований набір засобів впливу на підконтрольний об'єкт для досягнення цим об'єктом певної мети.
Новинка!!: Булева алгебра і Система керування · Побачити більше »
Синтаксис SQL
Синтаксис мови програмування SQL описується комітетом ISO/IEC SC 32 як частина стандарту ISO/IEC 9075.
Новинка!!: Булева алгебра і Синтаксис SQL · Побачити більше »
Список логічних символів
У логіці, набір символів зазвичай використовується, щоб висловити логічне представлення.
Новинка!!: Булева алгебра і Список логічних символів · Побачити більше »
Список об'єктів, названих на честь Джорджа Буля
Наступне було названо на честь Джорджа Буля (George Boole; 1815—1864) — британського математика і філософа.
Новинка!!: Булева алгебра і Список об'єктів, названих на честь Джорджа Буля · Побачити більше »
Числення висловлень
Чи́слення висло́влень (логіка висловлень, пропозиційна логіка, propositional logic) — формальна система в математичній логіці, в якій формули, що відповідають висловленням, можуть утворюватись шляхом з'єднання простих висловлень із допомогою логічних операцій, та система правил виводу, які дозволяють визначати певні формули як «теореми» формальної системи.
Новинка!!: Булева алгебра і Числення висловлень · Побачити більше »
Штучна нейронна мережа
головному мозку. Тут кожним круговим вузлом представлено штучний нейрон, а стрілкою — з'єднання виходу одного штучного нейрону зі входом іншого. Шту́чні нейро́нні мере́жі (ШНМ, artificial neural networks, ANN), або системи (connectionist systems) — це обчислювальні системи, натхнені біологічними нейронними мережами, що складають мозок тварин.
Новинка!!: Булева алгебра і Штучна нейронна мережа · Побачити більше »
Штрих Шефера
Штрих Шеффера (операція NAND) — двомісна логічна операція, яка є запереченням кон'юнкції; тому значення «хибно» одержується тоді й тільки тоді, коли обидва операнди мають значення «істина».
Новинка!!: Булева алгебра і Штрих Шефера · Побачити більше »
Макстерм
Диз'юнкти́вний одночле́н (максте́рм) від змінних \textstyle X_1, X_2,..., X_n \in \ — диз'юнкція цих змінних або їх заперечень.
Новинка!!: Булева алгебра і Макстерм · Побачити більше »
Закон поглинання
В алгебрі, закон поглинання або поглинання ідентичності — це ідентично зв'язана пара бінарних операцій.
Новинка!!: Булева алгебра і Закон поглинання · Побачити більше »
Заперечення (значення)
* Дія зі значенням заперечити.
Новинка!!: Булева алгебра і Заперечення (значення) · Побачити більше »
Булева функція
Бу́лева фу́нкція (функція алгебри логіки, логічна функція) — в дискретній математиці відображення Bn → B, де B.
Новинка!!: Булева алгебра і Булева функція · Побачити більше »
Бінарна діаграма рішень
Бінарна діаграма рішень (Binary decision diagram) або програма розгалуження — це структура даних в інформатиці, яка використовується для представлення булевої функції.
Новинка!!: Булева алгебра і Бінарна діаграма рішень · Побачити більше »
Відкрито-замкнута множина
Приклади відкрито-замкнутих множин: (1) кожен з трьох великих графів, (2) сума будь-яких двох графіків, і (3) сума всіх трьох графіків Відкрито-замкнута множина — підмножина топологічного простору, яка є в ньому водночас відкритою і замкнутою.
Новинка!!: Булева алгебра і Відкрито-замкнута множина · Побачити більше »
Вільна булева алгебра
В абстрактній алгебрі розділ математики,вільна Булева алгебра є Булевою алгеброю 〈B,F〉,так що множина B (де В називається носієм) має підмножина чиї елементи називаються генераторами.
Новинка!!: Булева алгебра і Вільна булева алгебра · Побачити більше »
Граф гіперкубу
У теорії графів графом гіперкуба Qn називається регулярний граф з 2n вершинами, 2n−1n ребрами і n ребрами, що сходяться в одній вершині.
Новинка!!: Булева алгебра і Граф гіперкубу · Побачити більше »
Герберт Роббінс
Герберт Елліс Роббінс — (Herbert Ellis Robbins.; 12 січня 1915, Ньюкасл, Пенсильванія, США — 12 лютого 2001, Принстон, Нью-Джерсі, США) — американський математик і статистик.
Новинка!!: Булева алгебра і Герберт Роббінс · Побачити більше »
Генрі Шеффер
Генрі Моріс Шеффер (Henry Maurice Sheffer, 1882 — 1964) — американський логік.
Новинка!!: Булева алгебра і Генрі Шеффер · Побачити більше »
Діаграма Венна
Діаграма Венна для множин A, B, та C Діаграма Венна (Venn diagram) — діаграма, що показує всі можливі логічні відношення для скінченного набору множин.
Новинка!!: Булева алгебра і Діаграма Венна · Побачити більше »
Джордж Буль
Джордж Буль (George Boole), (2 листопада 1815, Лінкольн, Англія — †8 грудня 1864, Баллінтемпл, Корк, Ірландія) — британський математик і філософ.
Новинка!!: Булева алгебра і Джордж Буль · Побачити більше »
Дистрибутивна ґратка
Дистрибутивна ґратка — ґратка, в якій справедлива тотожність рівносильна тотожності та.
Новинка!!: Булева алгебра і Дистрибутивна ґратка · Побачити більше »
Диференційна приватність
Диференційна приватність - здатність забезпечувати максимальну точність запитів із статистичних баз даних при мінімізації імовірності ідентифікації їх записів.
Новинка!!: Булева алгебра і Диференційна приватність · Побачити більше »
Ідемпотентність
Бенжамін Пірс Ідемпотентність (idem — такий самий, potens — сильний) — властивість унарних та бінарних операцій в алгебрі та логіці.
Новинка!!: Булева алгебра і Ідемпотентність · Побачити більше »
Інтуїціоністська логіка
Інтуїтивна логіка (інколи конструктивна логіка) — система символічної логіки, яка відрізняється від класичної логіки, замінюючи традиційне поняття істини поняттям конструктивно доказової істини.
Новинка!!: Булева алгебра і Інтуїціоністська логіка · Побачити більше »
Ервін Шредінгер
Е́рвін Ру́дольф Йо́зеф Алекса́ндер Шре́дінгер (Erwin Rudolf Josef Alexander Schrödinger; МФА:;, Відень — 4 січня 1961, там само) — австрійський фізик-теоретик, один із творців квантової механіки.
Новинка!!: Булева алгебра і Ервін Шредінгер · Побачити більше »
Електронна схема
порти вводу-виводу Друкована плата з електронною схемою Електронна схема — це система з'єднаних між собою окремих електронних компонентів, таких як резистори, конденсатори, діоди, транзистори та індуктивності.
Новинка!!: Булева алгебра і Електронна схема · Побачити більше »
Перенаправлення тут:
Алгебри логіки, Булева алгебра (структура), Булеві алгебри.
