Acesso mais rápido do que o navegador!
52 relações: Axioma, Blaise Pascal, Carl Friedrich Gauss, Christiaan Huygens, Ciência, Ciência da computação, Ciência de sistemas, Ciências aplicadas, Ciências naturais, Ciências sociais, Computação científica, Conhecimento, Definição, Deus, Empirismo, Engenharia de sistemas, Estatística, Física, História da matemática, Idade Antiga, Idade Moderna, Imperial College London, Investigação operacional, Isaac Newton, Lógica, Linguística, Matemática, Matemática aplicada, Matemática chinesa, Matemática da Grécia Antiga, Matemática egípcia antiga, Matemática indiana, Matemática islâmica, Matemático, Método científico, Microeconomia, Modelagem científica, Pierre de Fermat, Pitágoras, Química, Século I a.C., Século IV a.C., Século V a.C., Século VI a.C., Século XVII, Século XX, Sistema formal, Teoria da computação, Teoria da decisão, Teoria da informação, ..., Teoria das probabilidades, Teoria geral de sistemas. Expandir índice (2 mais) »
Axioma
Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria.
Novo!!: Ciências formais e Axioma · Veja mais »
Blaise Pascal
Blaise Pascal (Clermont-Ferrand, – Paris) foi um matemático, escritor, físico, inventor, filósofo e teólogo francês.
Novo!!: Ciências formais e Blaise Pascal · Veja mais »
Carl Friedrich Gauss
Johann Carl Friedrich Gauss (ou Gauß) (Braunschweig, — Göttingen) foi um matemático, astrônomo e físico alemão que contribuiu muito em diversas áreas da ciência, dentre elas a teoria dos números, estatística, análise matemática, geometria diferencial, geodésia, geofísica, eletroestática, astronomia e óptica.
Novo!!: Ciências formais e Carl Friedrich Gauss · Veja mais »
Christiaan Huygens
Christiaan Huygens (neerlandês:; Haia, – Haia) foi um matemático, físico, engenheiro, astrônomo e inventor neerlandês, considerado uma das figuras mais importantes na revolução científica.
Novo!!: Ciências formais e Christiaan Huygens · Veja mais »
Ciência
Ciência (do latim scientia, traduzido por "conhecimento") refere-se a qualquer conhecimento ou prática sistemáticos.
Novo!!: Ciências formais e Ciência · Veja mais »
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Ciências formais e Ciência da computação · Veja mais »
Ciência de sistemas
A ciência de sistemas é um campo interdisciplinar preocupado com a compreensão de sistemas - dos simples aos complexos - na natureza, sociedade, cognição, engenharia, tecnologia e na própria ciência.
Novo!!: Ciências formais e Ciência de sistemas · Veja mais »
Ciências aplicadas
As ciências aplicadas são os ramos das ciências que visam às aplicações do conhecimento para a solução de problemas práticos.
Novo!!: Ciências formais e Ciências aplicadas · Veja mais »
Ciências naturais
As ciências naturais ou ciências da natureza constituem numa classificação que abarca as áreas da ciência que visam a estudar a natureza em seus aspectos mais gerais e fundamentais, isso é, o universo como um todo, que é entendido como regulado por regras ou leis de origem natural e com validade universal, fazendo-o de forma a focar-se nos aspectos físicos e não no homem ou em aspectos comportamentais.
Novo!!: Ciências formais e Ciências naturais · Veja mais »
Ciências sociais
Ciências sociais é um ramo das ciências, distinto das humanidades, que estuda os aspectos sociais do mundo humano, ou seja, a vida social de indivíduos e grupos humanos.
Novo!!: Ciências formais e Ciências sociais · Veja mais »
Computação científica
A ciência computacional, também conhecida como computação científica, é um campo de rápido crescimento que usa recursos de computação avançados para entender e resolver problemas complexos.
Novo!!: Ciências formais e Computação científica · Veja mais »
Conhecimento
Conhecimento (do latim cognoscere, "ato de conhecer"), como a própria origem da palavra indica, é o ato ou efeito de conhecer.
Novo!!: Ciências formais e Conhecimento · Veja mais »
Definição
Uma definição é um enunciado que explica o significado de um termo (uma palavra, frase ou um conjunto de símbolos).
Novo!!: Ciências formais e Definição · Veja mais »
Deus
Deus é um conceito de Ser Supremo presente em diversas religiões monoteístas, henoteístas ou politeístas, sendo geralmente definido como o espírito infinito e eterno, criador e preservador do Universo.
Novo!!: Ciências formais e Deus · Veja mais »
Empirismo
Na filosofia, o empirismo (em latim: "experientia": "experiência", do grego: /έμπειρία/) é uma teoria do conhecimento que afirma que o conhecimento sobre o mundo vem apenas da experiência sensorial; é a experiência do real.
Novo!!: Ciências formais e Empirismo · Veja mais »
Engenharia de sistemas
Técnicas de '''engenharia de sistemas''' são utilizados em projetos complexos: de espaçonaves ao projeto de chips, da robótica a criação de softwares para construir pontes. Engenharia de sistema utiliza um conjunto de ferramentas que incluem modelagem e simulação. Engenharia de sistemas é um campo interdisciplinar da engenharia que se foca no desenvolvimento e organização de sistemas artificiais complexos.
Novo!!: Ciências formais e Engenharia de sistemas · Veja mais »
Estatística
Um exemplo de gráfico. Estatística é a ciência que utiliza as teorias probabilísticas para explicar a frequência da ocorrência de eventos, tanto em estudos observacionais quanto em experimentos para modelar a aleatoriedade e a incerteza de forma a estimar ou possibilitar a previsão de fenômenos futuros, conforme o caso.
Novo!!: Ciências formais e Estatística · Veja mais »
Física
Física (do grego antigo: φύσις physis "natureza") é a ciência que estuda a natureza e seus fenômenos em seus aspectos gerais.
Novo!!: Ciências formais e Física · Veja mais »
História da matemática
loc.
Novo!!: Ciências formais e História da matemática · Veja mais »
Idade Antiga
Idade Antiga ou Antiguidade, na periodização das épocas históricas da humanidade, é o período que se estende desde a invenção da escrita (de a) até à queda do Império Romano do Ocidente.
Novo!!: Ciências formais e Idade Antiga · Veja mais »
Idade Moderna
A Idade Moderna foi um período específico da História do Ocidente que se inicia no final da Idade Média em 1453 d.C., embora os limites cronológicos sejam objeto de debate, a linha temporal deste período estende-se do final do século XV até à Idade das Revoluções no século XVIII; muitos historiadores assinalam o início desta idade na data de 29 de maio de 1453, quando ocorreu a tomada de Constantinopla pelos turcos otomanos, incluindo assim o Renascimento e a Era dos Descobrimentos (incluindo as viagens de Colombo que começaram em 1492 e a descoberta do caminho marítimo para a Índia por Vasco da Gama em 1498), e data de término com a Revolução Francesa no dia 14 de julho de 1789.
Novo!!: Ciências formais e Idade Moderna · Veja mais »
Imperial College London
O Imperial College London (em tradução livre, Colégio Imperial de Londres) é uma renomada universidade pública britânica fundada em 1907 sediada em Londres, com foco em ciência, tecnologia e medicina.
Novo!!: Ciências formais e Imperial College London · Veja mais »
Investigação operacional
A pesquisa operacional (PO), ou investigação operacional (IO), é um ramo interdisciplinar da matemática aplicada que faz uso de modelos matemáticos, estatísticos e de algoritmos na ajuda à tomada de decisão.
Novo!!: Ciências formais e Investigação operacional · Veja mais »
Isaac Newton
Isaac Newton PRS (Woolsthorpe-by-Colsterworth, 25 de dezembro de 1642jul./ 4 de janeiro de 1643greg. – Kensington, 20 de março de 1727jul./ 31 de março de 1727greg) foi um matemático, físico, astrônomo, teólogo e autor inglês (descrito em seus dias como um "filósofo natural") que é amplamente reconhecido como um dos cientistas mais influentes de todos os tempos e como uma figura-chave na Revolução Científica.
Novo!!: Ciências formais e Isaac Newton · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Ciências formais e Lógica · Veja mais »
Linguística
é o estudo científico da linguagem.
Novo!!: Ciências formais e Linguística · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Ciências formais e Matemática · Veja mais »
Matemática aplicada
Soluções eficientes para o problema de roteamento de veículos (usado para diminuir os congestionamentos, entre outros...) requerem ferramental da otimização combinatória e programação inteira A matemática aplicada é uma área da matemática no qual se trata da aplicação do conhecimento matemático a outros domínios.
Novo!!: Ciências formais e Matemática aplicada · Veja mais »
Matemática chinesa
A matemática na China surgiu de forma independente por volta do século XI a.C. Os chineses desenvolveram de forma independente números muito grandes e negativos, decimais, um sistema decimal de valor posicional, um sistema binário, álgebra, geometria e trigonometria.
Novo!!: Ciências formais e Matemática chinesa · Veja mais »
Matemática da Grécia Antiga
A Musa Geometria, no Museu do Louvre A matemática grega clássica ou matemática da Grécia Antiga é a matemática escrita em grego dentre ~600 a.C. (época em que viveu Tales de Mileto) até o fechamento da Academia de Platão em 529 d.C. Egípcios, babilônicos e chineses, muito antes do século VI a.C., já eram já capazes de efetuar cálculos e medidas de ordem prática com grande precisão.
Novo!!: Ciências formais e Matemática da Grécia Antiga · Veja mais »
Matemática egípcia antiga
A matemática egípcia antiga é a matemática que foi desenvolvida e usada no Antigo Egito por volta de c. 3000 a 300 a.C., do Império Antigo até aproximadamente o início do Reino Ptolemaico.
Novo!!: Ciências formais e Matemática egípcia antiga · Veja mais »
Matemática indiana
A matemática indiana surgiu no subcontinente indianoEncyclopædia Britannica (Kim Plofker) 2007, p. 1 a partir de (Hayashi 2005, pp. 360–361) e desenvolveu-se relativamente isolada, sem influência exterior, mas exportando seu conhecimento, até o final do.
Novo!!: Ciências formais e Matemática indiana · Veja mais »
Matemática islâmica
A matemática islâmica, durante a Era de Ouro do Islam, principalmente durante os séculos IX e X, foi baseada na matemática grega (Euclides, Arquimedes, etc) e também na matemática indiana (Aryabhata, Brahmagupta).
Novo!!: Ciências formais e Matemática islâmica · Veja mais »
Matemático
Arquimedes foi um dos maiores matemáticos da antiguidade Matemático é alguém que usa um amplo conhecimento de matemática em seu trabalho, normalmente para resolver problemas matemáticos.
Novo!!: Ciências formais e Matemático · Veja mais »
Método científico
O método científico refere-se a um conjunto de regras básicas dos procedimentos que produzem o conhecimento científico, quer um novo conhecimento, quer uma correção (evolução) ou um aumento na área de incidência de conhecimentos anteriormente existentes.
Novo!!: Ciências formais e Método científico · Veja mais »
Microeconomia
A Microeconomia é definida como um problema de alocação de recursos escassos em relação a uma série possível de fins.
Novo!!: Ciências formais e Microeconomia · Veja mais »
Modelagem científica
Modelagem científica é uma atividade científica, cujo objetivo é tornar uma parte ou característica específica do mundo mais fácil de entender, definir, quantificar, visualizar ou simular fazendo referência a um conhecimento existente e geralmente aceito.
Novo!!: Ciências formais e Modelagem científica · Veja mais »
Pierre de Fermat
Pierre de Fermat (Beaumont-de-Lomagne, nascido na primeira década do século XVII — Castres) foi um magistrado, polímata e especialmente matemático francês.
Novo!!: Ciências formais e Pierre de Fermat · Veja mais »
Pitágoras
Pitágoras de Samos (Pitágoras de Samos, ou apenas Πυθαγόρας; Πυθαγόρης em grego jônico; Samos, Metaponto) foi um filósofo e matemático grego jônico creditado como fundador do movimento chamado Pitagorismo.
Novo!!: Ciências formais e Pitágoras · Veja mais »
Química
Química é o estudo científico das propriedades e transformações da matéria.
Novo!!: Ciências formais e Química · Veja mais »
Século I a.C.
Milénios: segundo milénio a.C. - primeiro milénio a.C. - primeiro milénio d.C. Século II a.C. - Século I a.C. - Século I No decorrer do século, todas as terras independentes remanescentes ao redor do mar Mediterrâneo foram constantemente colocadas sob o controle romano, sendo governadas diretamente por governadores ou por reis fantoches nomeados por Roma.
Novo!!: Ciências formais e Século I a.C. · Veja mais »
Século IV a.C.
Milénios: segundo milénio a.C. - primeiro milénio a.C. - primeiro milénio d.C. Séculos: Século V a.C. - Século IV a.C. - Século III a.C. Este século marcou o auge da civilização grega clássica em todos os seus aspectos.
Novo!!: Ciências formais e Século IV a.C. · Veja mais »
Século V a.C.
Milénios: segundo milénio a.C. - primeiro milénio a.C. - primeiro milénio d.C. Séculos: Século VI a.C. - Século V a.C. - Século IV a.C. Este século viu o estabelecimento de Pataliputra como capital do Reino de Mágada.
Novo!!: Ciências formais e Século V a.C. · Veja mais »
Século VI a.C.
Milénios: segundo milénio a.C. - primeiro milénio a.C. - primeiro milénio d.C. Séculos: Século VII a.C. - Século VI a.C. - Século V a.C. Pāṇini, na Índia, compôs uma gramática para o sânscrito, neste século ou um pouco depois.
Novo!!: Ciências formais e Século VI a.C. · Veja mais »
Século XVII
O século XVII durou desde 1601 até 1700 no Calendário Gregoriano.
Novo!!: Ciências formais e Século XVII · Veja mais »
Século XX
O século XX iniciou em 1 de janeiro de 1901 e terminou em 31 de dezembro de 2000.
Novo!!: Ciências formais e Século XX · Veja mais »
Sistema formal
Um sistema formal ou sistema lógico é, por assim dizer, qualquer sistema de pensamento abstrato bem definido, em um modelo matemático.
Novo!!: Ciências formais e Sistema formal · Veja mais »
Teoria da computação
A teoria da computação é um subcampo da ciência da computação e matemática que busca determinar quais problemas podem ser computados em um dado modelo de computação.
Novo!!: Ciências formais e Teoria da computação · Veja mais »
Teoria da decisão
A teoria da decisão (ou a teoria da escolha, que não deve ser confundida com a teoria da escolha '''racional''') é o estudo das escolhas de um agente.
Novo!!: Ciências formais e Teoria da decisão · Veja mais »
Teoria da informação
A teoria matemática da informação estuda a quantificação, armazenamento e comunicação da informação.
Novo!!: Ciências formais e Teoria da informação · Veja mais »
Teoria das probabilidades
A teoria das probabilidades é o estudo matemático das probabilidades.
Novo!!: Ciências formais e Teoria das probabilidades · Veja mais »
Teoria geral de sistemas
A teoria geral de sistemas (também conhecida pela sigla, T.G.S.) surgiu com os trabalhos do biólogo austríaco Ludwig von Bertalanffy, publicados entre 1950 e 1968.
Novo!!: Ciências formais e Teoria geral de sistemas · Veja mais »
