| rdfs:comment
| - العلوم الشكلية هي فروع المعرفة التي تهتم بالأنظمة الشكلية، كالمنطق، والرياضيات، وعلم الكومبيوتر النظري، ونظرية المعلومات، ونظرية الألعاب، ونظرية الأنظمة، ونظرية القرار، والإحصاء، وبعض أشكال اللغويات. على عكس العلوم الأخرى (التجريبية) فإن العلوم الشكلية لا تعتمد في تحديد صحة نظرياتها على المشاهدة في أرض الواقع، بل على خصائص الأنظمة الشكلية من ناحية نظرية بناءً على التعاريف وقواعد الاستنتاج. ولكن منهجيات العلوم الشكلية يتم استخدامها أيضاً في البناء والتجريب النظري للنماذج العلمية التي تهتم بما يوجد في أرض الواقع. (ar)
- Formalwissenschaften sind Wissenschaften, die sich der Analyse von formalen Systemen widmen. Beispiele sind Mathematik, Logik, theoretische Informatik, allgemeine Linguistik und teilweise die Rechtswissenschaft. Damit stellen die Formalwissenschaften einen Wissenschaftsbereich dar, der etwa von den Geisteswissenschaften, Sozialwissenschaften, Naturwissenschaften und Ingenieurwissenschaften abgegrenzt wird. (de)
- Formal science is a branch of science studying disciplines concerned with abstract structures described by formal systems, such as logic, mathematics, statistics, theoretical computer science, artificial intelligence, information theory, game theory, systems theory, decision theory, and theoretical linguistics. Whereas the natural sciences and social sciences seek to characterize physical systems and social systems, respectively, using empirical methods, the formal sciences use language tools concerned with characterizing abstract structures described by formal systems. The formal sciences aid the natural and social sciences by providing information about the structures used to describe the physical world, and what inferences may be made about them. (en)
- Les sciences formelles (ou sciences logico-formelles) explorent déductivement, selon des règles de formation et de démonstration, des systèmes axiomatiques. Les sciences formelles regroupent les mathématiques, la logique et l'informatique théorique. (fr)
- 형식과학(形式科學, 영어: formal science)은 논리학, 수학, 통계학, 이론 컴퓨터 과학, 인공지능, 정보 이론, 게임 이론, 시스템 이론, 결정 이론 및 이론 언어학과 같은 형식 시스템과 관련된 형식 언어 분야를 연구하는 과학의 한 분야이다. 자연과학과 사회과학은 경험적 방법을 사용하여 각각 물리적 시스템과 사회 시스템을 특성화하려고 하는 반면, 형식과학은 상징적 시스템으로 설명되는 추상 구조를 특성화하는 것과 관련된 분야이다. (ko)
- Formele wetenschap is de wetenschap van formele systemen, zoals logica, wiskunde, systeemtheorie, en de theoretische aspecten van informatica, informatiewetenschap, besluitvormingstheorie, statistiek en linguïstiek. (nl)
- 形式科学（けいしきかがく、英: formal science）とは形式体系に関係する科学の総称である。論理学、数学、システム科学に加え、計算機科学、情報理論、情報学、ミクロ経済学、統計学、言語学などといった分野の理論ベースの細分野（たとえば計算機科学であれば理論計算機科学）がこれに含まれる。 形式科学で扱うのは記号システムによって記述される抽象的構造であり、結果は公理や理論上のアイデアから推論（純粋な思考の過程）のみによって導き出される。これは、自然科学が現実世界を扱い、観測・観察から得られた知識をもとに結果を導き出すのと対照的である。しかし、形式科学で扱う体系は現実世界のものをモチーフしたものが多い。また、形式科学の結果は自然科学において現実世界を簡潔に理解するための構造（モデル）をつくるのに応用されることが多い。 形式科学で扱う体系は純粋に理論的なものであるので、現実世界そのものではない。しかし、時として「理論的なモデルは現実世界を完全に描写することができる」とか、理論が「現実そのものである」などと信じられてしまうことがある。 (ja)
- 形式科學（formal science）是指主要研究對象為抽象形態的科學，如邏輯、數學、統計學等。 (zh)
- Una ciència formal és una disciplina teòrica l'objecte de la qual no té contingut empíric, sinó que desenvolupa i estudia sistemes formals. Són ciències formals la lògica, la matemàtica, i les branques teòriques de la Informàtica, la Teoria de la informació i l'Estadística. S'oposa a la ciència experimental i a vegades se l'anomena ciència pura o ciència exacta (tot i que aquest terme se sol reservar per a les matemàtiques). (ca)
- La nomon formala scienco aŭ, pli kutime, ekzakta scienco oni uzas por matematiko kaj ĉiu scienco, kiu baziĝas sur eksperimentado kaj observado kaj povas sistemiĝi uzante ekzaktan matematikan lingvaĵon por esprimi koncernajn sciojn. Aliaj esprimoj kun simila uzado kiel ekzaktaj/formalaj sciencoj estas malmolaj sciencoj, puraj sciencoj aŭ fundamentaj sciencoj. La germana epistemologo Rudolf Carnap estis la unua, kiu dividis la sciencaron je puraj sciencoj kaj aplikaj sciencoj. (eo)
- Las ciencias formales son un conjunto de ciencias que estudian los lenguajes formales y los sistemas formales. Si bien su objeto de estudio no es el mundo físico o natural, sino objetos abstractos, sus conocimientos pueden ser más o menos aplicados a dicha realidad físico-natural. El método propio de las ciencias formales es la deducción; y a diferencia de las ciencias fácticas, no admite la inducción ni la abducción. Es aquella que trabaja con formas, es decir, con objetos ideales que existen en la mente y son obtenidos por abstracción. La verdad en las ciencias formales es entendida como verdad lógica: consecuencias que siguen necesariamente de considerar todas las posibilidades o «formas» en las que podrían combinarse los hechos preestablecidos. (es)
- Zientzia formalak ezaguera arrazionalaren eta koherentearen multzo sistematikoak dira, prozesu logiko eta matematikoen ikerketaz arduratzen direlarik, (bere ikerketa arrazoia ez izanik mundua, ez eta errealitate fisiko-naturala ere, baizik eta edukiko forma hutsak) baina zeinen ezaguerak errealitate fisiko-naturalari aplikatuak izan daitezkeen. Zientzia formalaren berezko metodoa metodo deduktiboa da. (eu)
- Ilmu formal adalah disiplin yang terkait dengan seperti logika, matematika, statistika, , teori informasi, teori permainan, , , dan linguistika. Ketika ilmu alam dan ilmu lainnya seperti ilmu sosial, , dan ilmu kognitif yang mencari teori ilmiah dengan mengandalkan pengamatan yang bertujuan memprediksi secara tepat dan akurat untuk menjelaskan fenomena eksternal dunia, ilmu formal bekerja dengan sifat internal dari , terutama definisi dari suatu istilah dan . (in)
- La scienza formale o astratta è una branca della scienza che studia le discipline relative ai sistemi formali, come logica, matematica, statistica, informatica teorica, intelligenza artificiale, teoria dell'informazione, teoria dei giochi, teoria dei sistemi, teoria delle decisioni e linguistica teorica. Considerando che le scienze naturali e le scienze sociali cercano di caratterizzare rispettivamente i sistemi fisici e i sistemi sociali, utilizzando metodi empirici, le scienze formali sono strumenti linguistici che si occupano di caratterizzare strutture astratte descritte da sistemi formali. Le scienze formali aiutano le scienze naturali e sociali fornendo informazioni sulle strutture usate per descrivere il mondo fisico e quali deduzioni si possono fare su di esse. (it)
- Nauki formalne, także: nauki aprioryczne, nauki dedukcyjne – w klasyfikacji nauk grupa nauk wyróżniona ze względu na kryterium przedmiotowe. Przeciwstawiająca się naukom empirycznym (nazywanym też realnymi). (pl)
- Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики. В противоположность естественным и социальным наукам формальные науки в известном смысле логически и методологически независимы от эмпирических методов. В формальных науках подход к исследуемым объектам абстрактен, вместе с тем получаемые результаты находят приложение при изучении всех областей реальности. (ru)
- As ciências formais são um ramo das ciências que estuda os , como por exemplo, a lógica, matemática, teoria dos sistemas e os aspectos teóricos da ciência computacional, teoria da informação, microeconomia, teoria da decisão, estatística e linguística. As ciências formais são construídas em cima de símbolos e regras. A matemática aplicada tenta aplicar alguns modelos matemáticos teóricos à realidade. Isso é possível dentro de certas limitações e com certas restrições e com certos limites de precisão. (pt)
- Formalvetenskap eller formella vetenskaper är ett samlingsbegrepp för sådana vetenskapliga discipliner som behandlar formella system. De kräver inte empiriska belägg genom experiement eller observation av verkligheten, utan bygger helt på logisk bevisföring och deduktion (härledning) utifrån system av axiom och definitioner. Här finns till exempel formell logik, matematik, teoretisk datavetenskap, informationsteori, spelteori och systemteori. Gemensamt för dessa vetenskaper är att de använder teckensystem för att beskriva och analysera abstrakta strukturer. (sv)
- Формальні науки — сукупність наук, які займаються дослідженням формальних систем. До формальних наук, наприклад, належать: логіка, математика, теоретична інформатика, теорія інформації, теорія систем, теорія рішень, статистика, деякі аспекти мовознавства. Крім математики, логіка є прикладом формальної науки з древньою . Явний аналіз способів логічного висновку мав місце в Китаї, Індії та Стародавній Греції. На сучасну логіку вплинула, головним чином, давньогрецька традиція, яка отримала продовження в працях арабських логіків. (uk)
|
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
![[RDF Data]](/fct/images/sw-rdf-blue.png)