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

...Bayesianism}}) — формальный подход к проблемам [[Философия науки|философии науки]], основанный на понимании [[Байесовская вероятность|вероятности как степен ...m.htm |title=Байесианизм |publisher=Энциклопедия эпистемологии и философии науки |accessdate=2020-03-15 |archive-date=2022-03-14 |archive-url=https://web.ar ...

|Название = Тени разума. В поисках науки о сознании ...это несоответствие означает, что математики-люди не могут быть описаны как формальные системы доказательств и не используют алгоритм, так что вычислительная теор ...

== Формальные модели эмоций == {{главная|Формальные модели эмоций}} ...

...ng-grc2|μάθημα}} «изучение; наука») — [[Точные науки|точная]] [[Формальные науки|формальная наука]]<ref>{{cite web|title=mathematics {{!}} Definition, Histo Математика не относится к [[Естественные науки|естественным наукам]], но широко используется в них как для точной формулир ...

...[[естественные науки|естественные]] и [[Общественные науки|общественные]] науки, использующие математический аппарат, по сути, занимаются математическим мо ...троенный на этапе содержательного моделирования{{Переход|#Содержательные и формальные модели}}. ...

...[[Информатика|информатики]], телекоммуникационных систем и других областей науки и техники. ...

..., Александр Александрович|Александром Харкевичем]]. Основы информатики как науки были изложены в книге «Основы научной информации» 1965 года, которая была п ...nformatics» даётся как синоним к переводу «Computer science — Компьютерные науки»{{sfn|Тезаурус ЮНЕСКО}}. ...

...сономия|таксономию]] [[Причинность|причинности]], включающую материальные, формальные, действенные и конечные причины. [[Юм, Дэвид|Юм]] отверг подход Аристотеля ...и что причинность была только «фетишем среди непостижимых тайн современной науки». Пирсон основал компанию [[Biometrika]] и лабораторию биометрии в [[Универ ...

Системы декартовых координат при дальнейшем развитии науки сыграли важную роль в становлении дифференциального и [[Интегральное исчисл ...координат с разным масштабом по разным осям внесло бы здесь неоправданные формальные усложнения при довольно малом выигрыше содержательном отношении.</ref> (люб ...

...змерениям и применению статистических методов в различных областях [[наука|науки]] и практики. К этому семейству относятся, в частности, [[биометрия]], [[те ...звитые страны]] стали испытывать необъяснимые с точки зрения экономической науки того времени потрясения — упадок [[деловая активность|деловой активности]], ...

...тоящее время теория рисков рассматривается{{кем}} как часть кризисологии — науки о [[кризис]]ах.<ref>{{книга|автор=Глущенко В. В.|заглавие=Введение в кризис ...учного метода]] и служат главным беспокойством [[философия науки|философии науки]]. ...

...определенным критериям{{sfn|Fehr, Schmidt|1999|с=817–68}}. [[Общественные науки]], которые исследуют неприятие неравенства, включают [[Социология|социологи ...(1999 год) основной причиной того, что [[Менеджмент|руководители]] создают формальные структуры оплаты, является сравнение работниками себя с другими и оценки на ...

|серия = Классики науки Вейерштрасс же рассматривал формальные ряды более общего вида: ...

...во многих европейских университетах. Во введении Сакробоско назвал автором науки о счёте мудреца по имени Алгус (''Algus''). А в популярной средневековой по .... Но такое значение не было единственным, ведь терминология математической науки в те времена ещё только формировалась. В частности, выражение ''algorithmus ...

...тематики]], изучающий [[математические обозначения]], [[Формальная система|формальные системы]], [[Верификация|доказуемость]] математических [[Суждение|суждений] ...логику понятие квантора, которое затем уже Пирс вводит в обиход логической науки. Фреге также ввёл понятие истинностного значения, предложил различать свойс ...

...двусмысленности. Аристотель предполагал доказательства важной составляющей науки, считая, что доказательство <cite>«выявляет сущность вещей»</cite>{{sfn|Ист ...и занимается специальная ветвь математики — [[теория доказательств]]. Сами формальные доказательства математики почти никогда не используют, поскольку для челове ...

...амика, кватернионы |издательство=Наука |место=М. |год=1994 |серия=Классики науки}}— С. 519—534</ref>, Гамильтон в течение нескольких лет работал над обобщен ...ами — записывал кватернионы{{sfn|Александрова Н. В.|1982|с=206—207}} и как формальные суммы вида ...

|серия = Классики науки [[Категория:Формальные методы]] ...

: <code>91</code> — Теория игр, экономика, общественные науки, поведенческие науки ...терминированные, а также на дискретные и непрерывные. Объект экономики как науки весьма обширен, и его исследователи независимо друг от друга создали массу ...

Философ науки и математик Курт Гёдель предоставил формальные аргументы существования Бога. Его аргументы были опубликованы намного позже ...