Результати пошуку

...троїв]]. Назва «секвенційна» походить з {{lang-en|sequential}}. Відповідна логіка може називатися також «послідовна», хоча останній термін переважно вживаєть Секвенційна логіка відрізняється від комбінаційної логіки тим, що моделює цифрові пристрої з у ...

В [[інформатика|інформатиці]] і [[математична логіка|математичній логіці]], '''абетка''' це скінченний набір ''[[символ]]ів'' аб ...у {0,1}, рядки (ε, 0, 1, 00, 01, 10, 11, 000 і т. д.) всі будуть в замиканні Кліні абетки (де ε представляє [[порожній рядок]]) ...

...іонально повною [[тоді і тільки тоді]], коли вона не міститься повністю ні в одному з [[передповний клас функцій алгебри логіки|передповних класів]]. {{Математична логіка|state=collapsed}} ...

...є й інші, наприклад «відомо, що» (логіка знання) або «можна довести, що» (логіка довідності). == Модальна логіка у філософії == ...

...вами, секвенційна логіка припускає наявність ''пам'яті'', яку комбінаційна логіка не передбачає. Комбінаційна логіка використовується в обчислювальних схемах для формування вхідних сигналів і для підготовки дани ...

...зі виконання передумов, мусять, відповідно, виконуватись і всі післяумови, в іншому випадку, функція не коректна. ...орівняти результати тестів із післяумовами. Такий підхід використовується в так званих [[Модульне тестування|модульних тестах]]. ...

В 1860-тих роках [[Герман Грассман]] показав, що багато тверджень [[арифметик В формулюванні арифметики в аксіомах Пеано число '''1''' заміняють числом '''0''', а також вводять опер ...

...или, що [[конструктивне доведення]] (тобто, доведення в [[Інтуїціонистська логіка|інтуїціоністській логіці]]) схожа на програму, яка обчислює висновок, а сам ...істське числення висловлювань відповідає простому типізованому λ-численню, логіка висловлювань другого порядку — [[Система F|поліморфному λ-численню]], ...

...кої, як [[числення висловлень|логіка числення висловлень]] та [[предикатна логіка]]. Побудувати такі системи можна декількома шляхами, включаючи способи розш ...гіка|Філософську логіку]], особливо у [[Теоретична інформатика|теоретичній інформатиці]], слід розуміти як охоплення та зосередження на некласичних логіках, хоча ...

...х, зокрема в [[математика|математиці]], [[логіка|логіці]] та [[інформатика|інформатиці]], що описує [[множина|множину]] заданням умови, яка повинна виконуватись д * <math>\N</math>&nbsp;— означає вхідну множину, в даному випадку це множина натуральних чисел; ...

{{unibox}}'''Булева множина''' — в [[математика|математиці]], [[множина]] з двома елементами, що інтерпретують В [[інформатика|інформатиці]], змінна [[булевий тип|булевого типу]] — це змінна, що приймає значення з ...

...і лауреата [[Премія Тюрінга|Премії Тюрінга]] [[Амір Пнуелі|Аміра Пнуелі]]. В античності теорії темпоральних логік вивчали філософи [[Мегарська школа|мег :: 2&nbsp;— «після цього» означає «пізніше» в хронологічному сенсі. ...

...значення''') у [[Математична логіка|математичній логіці]] та [[Інформатика|інформатиці]] — задання елементів множин через інші елементи цієї ж множини (Aczel 1978 Дане означення дійсне для всіх ''n'', через те, що в процесі рекурсії врешті-решт досягається '''початковий варіант''' 0. Означе ...

...зність|розв'язності]] для логічних формул з урахуванням теорій, які лежать в їх основі. Прикладами таких теорій для SMT формул є: теорії цілих та дійсни ...дкатегорії: наприклад difference logic — підкатегорія лінійної арифметики, в якій нерівності обмежені наступним чином <math>(x-y <=c)</math> для змінних ...

Задача полягає в наступному: чи можна призначити усім змінним, що трапляються у формулі, зна ...юнктивній формі є важливою, оскільки, наприклад, для формул, представлених в [[Диз'юнктивна нормальна форма|диз'юнктивній нормальній формі]], задача SAT ...

...виконанні. Термін запропонував американський математик [[Бенджамін Пірс]] в статтях 1870-х років. ''' Закон ідемпотентності '''— це закон [[математична логіка|математичної логіки]], по якому з логіки виключаються коефіцієнти і показни ...

'''Заперечення''' в [[логіка|логіці]]&nbsp;— [[унарна операція]] над [[судження]]ми, результат якої&nbsp ...перечення]]» ¬¬A&nbsp;— наслідок судження A, тобто має місце [[тавтологія (логіка)|тавтологія]]: ...

...''*. Це широко використовується в [[регулярний вираз|регулярних виразах]], в контексті яких вони були введені [[Стівен Коул Кліні|Стівеном Кліні]] для о ...ваний ''плюс Кліні''. Плюс Кліні упускає{{уточнити}} терм <math>V_0</math> в попередньому об'єднанні. Іншими словами, плюс <math>V</math> це <math> V^+= ...

...[[математична модель|математичних моделей]] процесів переробки інформації в складних [[динамічна система|динамічних системах]] тощо. У [[дискретна математика|дискретній математиці]], [[інформатика|інформатиці]], '''теорія автоматів''' вивчає абстрактні машини у вигляді математичних м ...

У [[математика|математиці]], [[інформатика|комп'ютерній науці]] та в [[логіка|логіці]] термін '''рерайтинг''' ({{lang-en|rewriting}}) означає широкий діа ==== Логіка ==== ...