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.

PropertyValue
dbpedia-owl:abstract
  • 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.
  • Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики.Формальные науки берут начало в математических текстах, датируемых 1800 г. до н. э. (вавилонская математика), 1600 г. до н. э. (древнеегипетская математика) и 1000 г. до н. э. (древнеиндийская математика), задолго до формирования научного метода. Индийские, древнегреческие и арабские математики внесли большой вклад в математику, в Китае и Японии независимо развивалась собственная математическая традиция.Логика, также как и математика, является примером формальной науки с древней историей (смотри статью История логики). Анализ способов логического вывода имел место в Древнем Китае, Древней Индии и Древней Греции. На современную логику оказала влияние, главным образом, древнегреческая традиция, которая получила продолжение в трудах арабских логиков.Другие формальные науки во многом связаны с математикой и вышли из неё. В начале XVII века появляются первые работы по теории вероятностей (статистике). С середины XX века начинают бурно развиваться исследование операций, теория информации, теоретическая информатика и другие формальные науки. В отношении теоретической информатики следует отметить, что её зарождение усматривается в работах Тьюринга и иногда прослеживается до Бэббиджа и даже Лейбница. Появление новых дисциплин показывает, что математика была только одной из многих в ряду формальных наук.В противоположность естественным и социальным наукам формальные науки в известном смысле логически и методологически независимы от эмпирических методов. В формальных науках подход к исследуемым объектам абстрактен, вместе с тем получаемые результаты находят приложение при изучении всех областей реальности.
  • As ciências formais são um ramo das ciências que estuda os sistemas formais, 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 diferença entre as ciências formais e as ciências naturais é o fato das formais começarem com ideias teóricas que levam a outras ideias teóricas através do processo do pensamento, enquanto as naturais começam com a observação do mundo real que leva para modelos mais ou menos úteis para uma parte empírica da realidade. Nunca se aprende nada empírico através do estudo apenas das ciências formais. Nunca é possível provar nada empírico através do uso das ciências formais.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.Se o mapa e a realidade não se encaixam, é o mapa que está errado, e não a realidade. Um mapa é a representação teórica (modelo) da realidade.
  • Formal bilimler teorik formal sistemlerle ilişkili teorik dallardır. Mantık, matematik, sistem teorisi ile bilgisayar biliminin teorik dalları, bilgi teorisi ve istatistik formal bilimlerdir. Formal bilimlerin fen bilimleri ve sosyal bilimler dışında üçüncü bir bilim alanı olarak mı sayılması gerektiği hâlâ tartışma konusudur ve zaman zaman farklı kaynaklarca çeşitli formal bilim dalları, örneğin matematik ve istatistik, fen bilimleri dahilinde de ele alınır.Formal bilimler teorik sembol ve kurallardan oluşurlar. Formal bilimler zaman zaman gerçekliğe (realiteye) uygulanabilirler ve belirli sınırlamalar dahilinde, yararlıdırlar. İnsanlar sıklıkla teorik sistemlerle gerçekliği birbirine karışma hatasına düşerler ve teorik modelleri, sanki gerçekliği mükemmel bir biçimde temsil ediyorlarmış gibi, uygularlar, veya teorik modellerin aslında gerçekliğin kendisi olduğuna inanırlar.Fen bilimleri ile formal bilimler arasındaki fark, formal bilimlerin teorik fikirlerle başlaması ve düşünme süreci sayesinde diğer farklı teorik fikirlere ulaşmasıdır; oysa fen bilimleri gerçek dünyadaki çeşitli gözlemlerle başlarlar ve gerçekliğin bir bölümü için bir ölçüde kullanışlı olan modellere ulaşırlar. Sonuç olarak, sadece formal bilimleri inceleyerek gerçeklik hakkında bir şey öğrenmek mümkün değildir; formal bilimler kullanılarak gerçeklik üzerine herhangi bir şey kanıtlanamaz.Bununla birlikte, formal bilimler, fen bilimlerine ve genel olarak gerçekliğe uygulanabilirler. Örneğin, uygulamalı matematik dalı, bazı teorik matematik modellerini gerçekliğe uygulamaktadır. Bu da ancak belirli sınırlar ve kısıtlamalar dahilinde, belirli bir kesinlikle mümkündür...
  • Formele wetenschap is de wetenschap van formele systemen, zoals logica, wiskunde, systeemtheorie, en de theoretische aspecten van informatica, informatiewetenschap, besluitvormingstheorie, statistiek en linguïstiek.
  • Ciencia formal es aquella que busca comprender y destacar la verdad de las cosas. Utilizan la deducción como método de búsqueda de la verdad. El objeto de estudio de la ciencia formal no son las cosas ni los procesos, sino las relaciones abstractas entre signos, es decir, se estudian ideas, son ciencias formales la lógica y la matemática.Es aquella que trabaja con formas, es decir, con objetos ideales, que son creados por el hombre, que existen en su mente y son obtenidos por abstracción. Les interesan las formas y no los contenidos, no les importa lo que se dice, sino como se dice. La verdad de las ciencias formales es necesaria y formal.Las ciencias formales son las ramas de la ciencia que estudian sistemas formales. Las ciencias formales validan sus teorías con base en proposiciones, definiciones, axiomas y reglas de inferencia, todas ellas son analíticas, a diferencia de las ciencias sociales y las ciencias naturales, que las comprueban de manera empírica, es decir, observando el mundo real.
  • 형식과학(形式科學)은 이론적 형식 체계와 관련된 학리적 연구이다. 이론적 상징과 규칙에 의해서 확립된다. 자연 과학과 다른점은 형식 과학이 이론적 개념에서 출발하여 사고 과정을 통해 다른 개념으로 이르는 반면, 자연 과학은 현실계의 관찰로부터 출발하여 현실의 일부에 대해 대체로 유용한 모형에 이른다는 점이다. 논리학, 수학, 시스템 이론 컴퓨터 과학, 정보 이론, 경제학, 통계학, 언어학의 이론적 분과
  • Formal sciences are disciplines concerned with formal systems, such as logic, mathematics, statistics, theoretical computer science, information theory, game theory, systems theory, decision theory, and portions of linguistics. Whereas the natural sciences seek to characterize physical systems, the formal sciences are concerned with characterizing abstract structures described by sign systems. The formal sciences aid the natural sciences by providing information about the structures the latter use to describe the world, and what inferences may be made about them.
  • 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).Estudien conceptes abstractes i no realitats físiques, per això empren un llenguatge formal numèric i es basen en raonaments i demostracions per a dur a terme la seva recerca.
  • Formalwissenschaften sind Wissenschaften, die sich der Analyse von formalen Systemen widmen. Beispiele sind Mathematik, Logik, allgemeine Linguistik und theoretische Informatik. Damit stellen die Formalwissenschaften einen Wissenschaftsbereich dar, der etwa von den Geisteswissenschaften, Sozialwissenschaften, Naturwissenschaften und Ingenieurwissenschaften abgegrenzt wird.
  • Sains formal adalah disiplin yang terkait dengan sistem formal seperti logika, matematika, statistika, ilmu komputer teoritis, teori informasi, teori permainan, teori sistem, teori pengambilan keputusan, dan linguistika. Ketika ilmu alam dan sains lainnya seperti ilmu sosial, sains perilaku, dan sains kognitif yang mencari teori ilmiah dengan mengandalkan pengamatan yang bertujuan memprediksi secara tepat dan akurat untuk menjelaskan fenomena eksternal dunia, sains formal bekerja dengan sifat internal dari sistem formal, terutama definisi dari suatu istilah dan peraturan yang mengatur suatu kesimpulan. Sains formal membantu membangun, menilai, dan menguji teori dan permodelan ilmiah dengan terlebih dahulu menemukan inkonsistensi dan bentuk kecacatan dari kesimpulan.
  • Формалните науки са дисциплини, занимаващи се с формални системи, като логика, математика, теоретични компютърни науки, теория на информацията, теория на игрите, теория на системите, теория на решението, както и части от лингвистиката.Докато природните науки и други науки като социалните науки, поведенческите науки и когнитивната наука търсят научната теория и научния метод по отношение на наблюденията, за да могат успешно да предскажат и може би точно да обяснят явленията във външния свят, формалните науки се занимават повече с вътрешните свойства на формалните системи, особено определенията на термините и правилата, които спомагат да се правят изводи.Формалните науки понякога подпомагат изграждане, оценка и тестване на научни теории и научни модели, обаче чрез разкриване на несъответствия или невалидни форми на изводи.
  • 形式科学(けいしきかがく、英: formal science)とは形式体系に関係する学問の総称である。論理学、数学、システム理論に加え、計算機科学、情報理論、ミクロ経済学、統計学、言語学のうち理論的な研究分野がこれに含まれる。
dbpedia-owl:wikiPageID
  • 1034897 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 3075 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 24 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 100726010 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • 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.
  • Formele wetenschap is de wetenschap van formele systemen, zoals logica, wiskunde, systeemtheorie, en de theoretische aspecten van informatica, informatiewetenschap, besluitvormingstheorie, statistiek en linguïstiek.
  • 형식과학(形式科學)은 이론적 형식 체계와 관련된 학리적 연구이다. 이론적 상징과 규칙에 의해서 확립된다. 자연 과학과 다른점은 형식 과학이 이론적 개념에서 출발하여 사고 과정을 통해 다른 개념으로 이르는 반면, 자연 과학은 현실계의 관찰로부터 출발하여 현실의 일부에 대해 대체로 유용한 모형에 이른다는 점이다. 논리학, 수학, 시스템 이론 컴퓨터 과학, 정보 이론, 경제학, 통계학, 언어학의 이론적 분과
  • Formalwissenschaften sind Wissenschaften, die sich der Analyse von formalen Systemen widmen. Beispiele sind Mathematik, Logik, allgemeine Linguistik und theoretische Informatik. Damit stellen die Formalwissenschaften einen Wissenschaftsbereich dar, der etwa von den Geisteswissenschaften, Sozialwissenschaften, Naturwissenschaften und Ingenieurwissenschaften abgegrenzt wird.
  • Формалните науки са дисциплини, занимаващи се с формални системи, като логика, математика, теоретични компютърни науки, теория на информацията, теория на игрите, теория на системите, теория на решението, както и части от лингвистиката.Докато природните науки и други науки като социалните науки, поведенческите науки и когнитивната наука търсят научната теория и научния метод по отношение на наблюденията, за да могат успешно да предскажат и може би точно да обяснят явленията във външния свят, формалните науки се занимават повече с вътрешните свойства на формалните системи, особено определенията на термините и правилата, които спомагат да се правят изводи.Формалните науки понякога подпомагат изграждане, оценка и тестване на научни теории и научни модели, обаче чрез разкриване на несъответствия или невалидни форми на изводи.
  • 形式科学(けいしきかがく、英: formal science)とは形式体系に関係する学問の総称である。論理学、数学、システム理論に加え、計算機科学、情報理論、ミクロ経済学、統計学、言語学のうち理論的な研究分野がこれに含まれる。
  • Ciencia formal es aquella que busca comprender y destacar la verdad de las cosas. Utilizan la deducción como método de búsqueda de la verdad. El objeto de estudio de la ciencia formal no son las cosas ni los procesos, sino las relaciones abstractas entre signos, es decir, se estudian ideas, son ciencias formales la lógica y la matemática.Es aquella que trabaja con formas, es decir, con objetos ideales, que son creados por el hombre, que existen en su mente y son obtenidos por abstracción.
  • Sains formal adalah disiplin yang terkait dengan sistem formal seperti logika, matematika, statistika, ilmu komputer teoritis, teori informasi, teori permainan, teori sistem, teori pengambilan keputusan, dan linguistika.
  • As ciências formais são um ramo das ciências que estuda os sistemas formais, 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 diferença entre as ciências formais e as ciências naturais é o fato das formais começarem com ideias teóricas que levam a outras ideias teóricas através do processo do pensamento, enquanto as naturais começam com a observação do mundo real que leva para modelos mais ou menos úteis para uma parte empírica da realidade.
  • Formal sciences are disciplines concerned with formal systems, such as logic, mathematics, statistics, theoretical computer science, information theory, game theory, systems theory, decision theory, and portions of linguistics. Whereas the natural sciences seek to characterize physical systems, the formal sciences are concerned with characterizing abstract structures described by sign systems.
  • 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.
  • Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики.Формальные науки берут начало в математических текстах, датируемых 1800 г. до н. э. (вавилонская математика), 1600 г. до н. э. (древнеегипетская математика) и 1000 г. до н. э.
  • Formal bilimler teorik formal sistemlerle ilişkili teorik dallardır. Mantık, matematik, sistem teorisi ile bilgisayar biliminin teorik dalları, bilgi teorisi ve istatistik formal bilimlerdir.
rdfs:label
  • Science formelle
  • Ciencias formales
  • Ciència formal
  • Ciências formais
  • Formal bilim
  • Formal science
  • Formalwissenschaft
  • Formele wetenschap
  • Sains formal
  • Формални науки
  • Формальные науки
  • 形式科学
  • 형식과학
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of