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

У [[Логіка|логіці]] '''логічною константою''' [[Формальна мова|формальної мови]] <math>\mathcal{L}</math> є символ, який має одне й те ж саме Питання «Що таке логічна константа?» є одним із фундаментальних питань [[Філософія логіки|філософії логіки]]. Тобто які спеціальні властивості констант визнач ...

...ері штучного інтелекту]], визначення масштабного багатозадачного розуміння мови ('''ВМБРМ''' або '''MMLU''' від {{Lang-en|Measuring Massive Multitask Langu ...ко 16 тис. питань множинного вибору серед яких такі предмети як математика філософія юриспруденція та медицина. Це один із найбільш часто використовуваних тесті ...

* Образ (філософія) — філософське поняття, що означає репрезентацію, відображення, представлен ...http://sum.in.ua/s/obraz |date=14 вересня 2019 }} // [[Словник української мови в 11 томах|СУМ-11]]</ref> — зображення осіб або подій священної або церков ...

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

...значення змісту [[Формальний символ|символам]] [[Формальна мова|формальної мови]]. Тобто, це є сукупність значень (сенсів), що приписуються тим або іншим с ...є функцією, яка забезпечує розширення символів і рядків символів об'єктної мови. ...

...енеративної граматики]], як засіб генерування граматично правильних речень мови. Таке правило зазвичай приймає форму ''A → X'', де ''A'' є міткою синтаксич == Філософія == ...

...] та [[Фрідріх Вайсманн]]. Стаття [[Бертран Расселл|Бертрана Расселла]] «''Філософія логічного атомізму''» була подана як ідеї, навіяні Віттгенштайном<ref>{{ci ** ''4.'' висвітлює філософію мови й концепцію Віттгенштайнової філософії. ...

|область = [[Аналітична філософія]], [[Прагматизм]] |ера = [[Сучасна філософія]] ...

...всій своїй загальності, в рамках однієї науково-філософської [[Парадигма (філософія)|парадигми]]. Природним прикладом в цьому контексті, пов'язаним з [[Аксіома ...th>I</math>. Тоді для будь-якої формули <math>\varphi(\overline{x})</math> мови <math>L</math> і будь-якої послідовності <math>\overline{a}</math> елементі ...

== Філософія == ...в інструкціях до VDMTools. Стандарт ISO містить формальний опис семантики мови. В решті цієї статті використовується описаний ISO синтаксис для обміну (AS ...

...атематику]], [[Філософія|філософію]], [[латинська мова|латинську]] та інші мови, [[Хімія|хімію]], [[Зоологія|зоологію]], [[Географія|географію]], [[Геологі ...

...він сформулював 1 варіант {{не перекладено|Універсальна мова|універсальної мови|en|Universal language}}.<ref>Malcolm and Stedall, p. 55.</ref> У математиці ...тва будь-якому вченому.<ref>Джон Т. Янг (1998), «Віра, алхімія та природна філософія: Йоганн Морін, Реформатор Інтелігент» та Хартлібський кружок. '' Aldershot: ...

...ах]], їх відношення до [[Дріб|дробів]], а також ідентифікація [[Континуум (філософія)|неперервних]] величин фактично зайняли тисячоліття, і навіть більше, щоб з Математично орієнтовані мови розмітки, такі як [[TeX]], [[LaTeX]] й, зовсім недавно, [[MathML]] є достат ...

...но виникла як один з напрямків пошуку [[істина|істини]] (у [[Давньогрецька філософія|грецькій філософії]]) у сфері просторових відношень (землеміряння&nbsp;— [[ ...|ідей]]. Воно добре застосовується і до цих, і до багатьох інших [[Об'єкт (філософія)|об'єктів]]. Так само [[Геометрія|геометричні]] властивості [[куля|кулі]] н ...

...бінаторика|комбінаторики]]. Зробив вагомий внесок у [[Логіка|логіку]] та [[Філософія|філософію]]. Через кодування намагався створити універсальну числову дескри ...інозою був одним із трьох великих раціоналістів раннього Нового часу. Його філософія також засвоює елементи схоластики традиція, зокрема припущення, що деяке су ...

...пису інформації (як у математиці чи [[хімія|хімії]]), або {{нп|Сумірність (філософія науки|загальне відношення між величинами|en|Commensurability (philosophy of ...користанням символів і правил формування даної [[Формальна мова|формальної мови]]<ref>{{Citation ...

'''Час'''&nbsp;— одне з основних понять [[Фізика|фізики]] та [[Філософія|філософії]], одна з координат [[простір-час|простору-часу]], вздовж якої пр ...[Категорія (філософія)|категорія]] час, вочевидь, є невід'ємним [[атрибут (філософія)|атрибутом]] світу, він почався із народженням світу й зникне, коли світ до ...

...]. Вольфрам називає такі системи ''простими програмами'' і стверджує, що [[філософія науки]] і методи, які відповідають задачі вивченню простих програм, мають в # Її можна пояснити декількома реченнями [[Мова|людської мови]]. ...

...уки|фундаментальна наука]], теоретична інформатика (в тісній взаємодії з [[філософія|філософією]] і [[кібернетика|кібернетикою]]) займається створенням системи ...[алгоритм]]ів. Деякі формальні методи проєктування та [[Мова програмування|мови програмування]] підкреслюють структури даних, а не алгоритми, як ключовий о ...

...а, лінгвістика, математика, фізика, біологія, науки про Землю, статистика, філософія та логіка. ...ormática'' ([[Іспанія]], [[Португалія]]), ''informatika'' (у [[Слов'янські мови|слов'янських мовах]]) або ''pliroforiki'' (πληροφορική, що означає ''інформ ...