Acesso mais rápido do que o navegador!
18 relações: Begriffsschrift, Charles Sanders Peirce, Cibernética, Engenharia eletrônica, Filosofia analítica, Gottfried Wilhelm Leibniz, Gottlob Frege, Hardware, Herbert Spencer, Lógica, Lógica matemática, Louis Couturat, Motor de inferência, Norbert Wiener, Programa de computador, Software, Teoria da prova, Teoria geral de sistemas.
Begriffsschrift
Begriffsschrift (Traduzido grosseiramente do alemão para "ideografia") é um livro de lógica feito por Gottlob Frege, publicado em 1879, e o sistema formal estabelecido neste livro.
Novo!!: Calculus Ratiocinator e Begriffsschrift · Veja mais »
Charles Sanders Peirce
Charles Sanders Peirce (Cambridge, 10 de setembro de 1839 — Milford 19 de abril de 1914) foi um filósofo, pedagogista, cientista, linguista e matemático americano.
Novo!!: Calculus Ratiocinator e Charles Sanders Peirce · Veja mais »
Cibernética
A cibernética é o estudo interdisciplinar da estrutura dos sistemas reguladores, suas estruturas, restrições e possibilidades.
Novo!!: Calculus Ratiocinator e Cibernética · Veja mais »
Engenharia eletrônica
A é uma subárea da Engenharia Elétrica que lida com grandezas elétricas de pequena amplitude e de elevadas frequências, os chamados sinais elétricos ou eletrônicos.
Novo!!: Calculus Ratiocinator e Engenharia eletrônica · Veja mais »
Filosofia analítica
A filosofia analítica é uma vertente do pensamento contemporâneo reivindicada por filósofos bastante diferentes e com duas caracterizações distintas, cuja filosofia precursora surgiu da superação da filosofia sintética do Século XIX.
Novo!!: Calculus Ratiocinator e Filosofia analítica · Veja mais »
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz (Leipzig, — Hanôver) foi um proeminente polímata e filósofo alemão e figura central na história da matemática e na história da filosofia.
Novo!!: Calculus Ratiocinator e Gottfried Wilhelm Leibniz · Veja mais »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, — Bad Kleinen) foi um matemático, lógico e filósofo alemão.
Novo!!: Calculus Ratiocinator e Gottlob Frege · Veja mais »
Hardware
Equipamentos de computadores. O hardware (pronúncia: 'rarduér') é um termo técnico (e anglicismo de engenharia eletrônica) que foi traduzido para a língua portuguesa como equipamento, e pode ser definido como um termo geral da língua inglesa, que se refere à parte física de computadores e outros sistemas microeletrônicos.
Novo!!: Calculus Ratiocinator e Hardware · Veja mais »
Herbert Spencer
Herbert Spencer (Derby, 27 de abril de 1820 – Brighton, 8 de dezembro de 1903) foi um filósofo, biólogo e antropólogo inglês, bem como um dos representantes do liberalismo clássico.
Novo!!: Calculus Ratiocinator e Herbert Spencer · 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!!: Calculus Ratiocinator e Lógica · Veja mais »
Lógica matemática
A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.
Novo!!: Calculus Ratiocinator e Lógica matemática · Veja mais »
Louis Couturat
Luís Couturat (17 de Janeiro de 1868 - 3 de Agosto de 1914) foi um lógico, matemático, filósofo e linguista francês.
Novo!!: Calculus Ratiocinator e Louis Couturat · Veja mais »
Motor de inferência
Um motor de inferência é uma ferramenta informatizada "caixa preta", também utilizada em Sistema Especialista (Inteligência Artificial), que após ser estimulada com solicitações predeterminadas, oferece as soluções possíveis.
Novo!!: Calculus Ratiocinator e Motor de inferência · Veja mais »
Norbert Wiener
Norbert Wiener (Columbia (Missouri), — Estocolmo) foi um matemático estadunidense, conhecido como o fundador da cibernética.
Novo!!: Calculus Ratiocinator e Norbert Wiener · Veja mais »
Programa de computador
Um programa de computador ou programa informático é um conjunto de instruções que descrevem uma tarefa a ser realizada por um computador.
Novo!!: Calculus Ratiocinator e Programa de computador · Veja mais »
Software
OpenOffice.org ''writer'' Software é um termo técnico que foi traduzido para a língua portuguesa como suporte lógico e trata-se de uma sequência de instruções a serem seguidas e/ou executadas, na manipulação, redirecionamento ou modificação de um dado (informação) ou acontecimento.
Novo!!: Calculus Ratiocinator e Software · Veja mais »
Teoria da prova
A teoria das provas, teoria da prova ou teoria da demonstração é um ramo importante da lógica matemática que representa provas como objetos matemáticos, facilitando sua análise por técnicas matemáticas.
Novo!!: Calculus Ratiocinator e Teoria da prova · 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!!: Calculus Ratiocinator e Teoria geral de sistemas · Veja mais »
