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

| національність = [[США|Американець]] Батьки Девіса іммігрували до [[Сполучені Штати Америки|США]] з міста [[Лодзь]] ([[Польща]]). Зустрівшись вже в [[Нью-Йорк]]у, вони одр ...

...розділ [[Математика|математики]], який є узагальненням [[Логіка|класичної логіки]] і [[Теорія множин|теорії множин]]. Уперше введений [[Лотфі Заде]] в 1965 Предметом нечіткої логіки вважається дослідження суджень в умовах нечіткості, які схожі з судженнями ...

...огіка|тризначну логіку]] замість більш поширеної [[Алгебра логіки|бінарної логіки]]. .../ref>, виконаній під керівництвом [[Джон фон Нейман|Джона фон Неймана]] ([[США]]), згадується, але не обговорюється, трійкова система числення. ...

...рситету імені Т. Шевченка]], професор кафедр: алгебри та математичної логіки; математичного аналізу (за сумісництвом). ...ини]], [[Франція|Франції]], [[Іспанія|Іспанії]], [[Сполучені Штати Америки|США]], [[Китайська Народна Республіка|Китаю]]. С. Коляда був організатором ...

...демік]]а [[АН СРСР]], великого фахівця з [[Математична логіка|математичної логіки]], [[Алгебра|алгебри]], [[Теорія множин|теорії множин]], [[Теорія груп|теор ...льної академії деї Лінчеї (з [[1991]] р.), Національної академії наук США (з [[1994]] р.), Папської академії наук Ватикану (з [[1996]] р.), ...

...одель інформаційних потоків в системах. Висунута ним ідея була розвинена в США та інших країнах [Пітерсон, 1984; Котов, 1984; Розенблюм, 1983]. Такі досто ...іка|комбінаційної логіки]] і асинхронної [[Секвенційна логіка|секвенційної логіки]]. У теорії цифрових пристроїв асинхронна логіка відрізняється від синхронн ...

...Society}}, одного з найстаріших університетських літературних товариств у США<ref name=King170/><ref name="Hick"/>. Він продовжив працю над дипломною роб ...ено|Девід Гальберстам|Девіда Гальберстама|en|David Halberstam}} про те, що США «захищає» селян Південного В'єтнаму від [[В'єтконг]]а, отруюючи їхні посіви ...

...аперечення]]ми (а тоді, відповідно до правил класичної [[логіка висловлень|логіки висловлень]], може бути «доведено» абсолютно будь-яке твердження). Першою т ...рії не мають ступенів членування тоді як в інших вони є. Категорія сенатор США&nbsp;— чітко визначена. Проте, з іншого боку такі категорії як багаті люди ...

...али перевагу крапці, яку ставили посередині рядку; цю традицію перейняли в США, проте змістили крапку вниз, щоб не плутати її зі знаком множення. ...я в [[Математика ісламського середньовіччя|арабських творах]]. В Англії та США поширення отримав символ ÷ ([[обелюс]]), який запропонував [[Йоганн Ран]] ( ...

...тет|Гарвардському університеті]]. У віці 12 років Чарлз прочитав «Елементи логіки» [[Річард Вейтлі|Річарда Вейтлі]], з чого почалося його захоплення логікою === Геодезична служба США === ...

{{цитата|1=Пів року поступового вступу до формальної логіки. Я перевідкрив там багато моїх попередніх думок. (Комбінаторика умов = [[ло ...у відриві від інших фахівців [[Європа|Європи]] і [[Сполучені Штати Америки|США]] призвела до того, що лише незначна частина його роботи стала відомою. Пов ...

Цей розвиток призвів до сучасного вивчення логіки і обчислюваності, а також, безперечно, області теоретичної інформатики в ці ...стандартів і технології|Національного інституту стандартів і технологій]] США. 15 грудня 2004, [https://xlinux.nist.gov/dads/HTML/datastructur.html {{Web ...

...яснюється появою потужного регулюючого чинника в [[Економіка США|економіці США]]. В цих умовах основним методом макроекономічного аналізу стає метод побуд ...nal of Econometrics ([[Швеція]]), Econometric Reviews (США), Econometrica (США), Sankhya. Indian Journal of Statistics. Ser.D. Quantitative Economics ([[І ...

* Чи підтримуєте ви спробу США принести свободу та демократію в інші місця світу? * Чи підтримуєте ви неспровоковані військові дії США? ...

...лнер-Беррі (Stuart Milner-Barry). Серед математиків був і молодий професор логіки з Кембриджу&nbsp;— [[Алан Тюрінг]]<ref name="chernyak"/><ref group="Прим."> ...в навколишніх селищах</ref>. Згодом, коли частина робіт була перенесена в США, разом з технологіями була переправлена і частина співробітниць<ref name="c ...

...юваного, «аргументу чотирьох кутів» у традиції [[Класична логіка|класичної логіки]]. ...ну схему, яка дозволила йому піднімати, аналізувати та вирішувати проблеми логіки та епістемології. Він систематизував усі концепції ньяї за чотирма основним ...

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

...п|Екзегезис|екзегезиса|en|Exegesis}} ([[міманса]], ''{{IAST|mīmāṃsā}}'') і логіки ([[ньяя]], ''nyāya'')»<ref name=filliozat-p137/>. Запам'ятовування «почутог ...ьну основу, яка дозволила їй піднімати, аналізувати та вирішувати проблеми логіки та епістемології. Цей підхід включає в себе назву кожного об'єкта, що підля ...

...я|π-числення]], додали можливість обґрунтування динамічних топологій. Такі логіки як [[Темпоральна логіка дій|TLA+]], та математичні моделі такі як [[теорія ...іверморської національної лабораторії. Його проект був профінансований ВВС США. Ключем до його конструкції був досить високий паралелізм, аж до 256 процес ...

З кінця 20-го століття деякі освітні організації США, включаючи {{lang-en|TERC}}, вирішили видалити традиційний метод перенесенн ...вох елементів; операція додавання, яку вона успадковує, відома в [[Алгебра логіки|булевій логіці]] як функція «[[Виключна диз'юнкція|виключної диз'юнкції]]». ...