Filosofia da ciência da computação

Multi tool use
Multi tool use









Text document with red question mark.svg

 Este artigo ou secção contém fontes no fim do texto, mas que não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (desde novembro de 2014)
Por favor, melhore este artigo inserindo fontes no corpo do texto quando necessário.

A filosofia da ciência da computação trata das questões filosóficas que surgem a partir do estudo da ciência da computação a qual engloba não apenas a programação, mas também todo o estudo dos conceitos e metodologias que ajudam no desenvolvimento e manutenção dos sistemas de computador. Apesar de algumas tentativas de desenvoler uma filosofia para a ciência da computação, como a filosofia da física ou a filosofia da matemática, não há ainda um acordo sobre o conteúdo, objetivo, foco ou os tópico da filosofia de ciência da computação.



Ver também |



  • Filosofia da inteligência_artificial

  • Filosofia da informação

  • Filosofia da matemática

  • Filosofia da ciência



Referências e leituras adicionais |




  • Timothy Colburn. Philosophy and Computer Science. Explorations in Philosophy. M.E. Sharpe, 1999. ISBN 1-56324-991-X.


  • Luciano Floridi (editor). The Blackwell Guide to the Philosophy of Computing and Information, 2004.


  • Jan van Leeuwen. "Towards a philosophy of the information and computing sciences", NIAS Newsletter 42, 2009.


  • Alexander Ollongren, Jaap van den Herik. Filosofie van de informatica. London and New York: Routledge, 1999. ISBN 0-415-19749-X


  • Ray Turner and Nicola Angius. "The Philosophy of Computer Science". Stanford Encyclopedia of Philosophy.


  • Jordi Vallverdu. "Thinking Machines and the Philosophy of Computer Science: Concepts and Principles"". Idea Books, 2010. http://www.igi-global.com/book/thinking-machines-philosophy-computer-science/40293



Links externos |



  • The International Association for Computing and Philosophy


  • Philosophy of Computing and Information at PhilPapers


  • Philosophy of the Information and Computing Sciences held in February 2010 at the Lorentz Center












































































v • e
Tópicos de Ciência da computação
Matemática

  • Lógica matemática

  • Teoria dos conjuntos

  • Teoria dos números

  • Teoria dos grafos

  • Teoria dos tipos

  • Teoria das categorias

  • Análise numérica

  • Teoria da informação

  • Combinatória

  • Álgebra booliana
Teoria da computação

  • Teoria dos autômatos

  • Teoria da computabilidade

  • Complexidade computacional

  • Teoria da computação quântica

Algoritmos, estrutura de dados

  • Análise de algoritmos

  • en:Algorithm design

  • Otimização combinatória

  • Geometria computacional

Linguagens de programação,
compiladors

  • Parsers

  • Interpretador

  • Programação procedural

  • Programação orientada a objetos

  • Programação funcional

  • Programação lógica

  • Paradigma de programação

Concorrência, paralela,
sistemas distribuídos

  • Multiprocessamento

  • Computação em grelha
Engenharia de software

  • Análise de requerimento de software

  • Projeto de software

  • Programação de computadores

  • Métodos formais

  • Teste de software

  • Processo de desenvolvimento de software
Arquitetura de sistemas

  • Arquitetura de computadores

  • Sistemas operacionais

Telecomunicações,
redes

  • Roteamento

  • Topologia de rede

  • Criptografia

  • en:Computer music
Base de dados

  • Banco de dados

  • Banco de dados relacional

  • SQL

  • Transações

  • Índices de base de dados

  • Mineração de dados
Inteligência artificial

  • Linguística computacional

  • Visão computacional

  • Computação evolutiva

  • Sistema especialista

  • Aprendizado de máquina

  • Processamento de linguagem natural

  • Robótica

  • en:Automated reasoning
Computação gráfica

  • Visualização

  • Animação digital

  • Processamento de imagem
Interação humano-computador

  • Acessibilidade

  • Interface do usuário

  • Computação vestível

  • Computação ubíqua

  • Realidade virtual
Computação científica

  • Vida artificial

  • Bioinformática

  • Ciência cognitiva

  • Química computacional

  • Neurociência computacional

  • Física computacional

  • Algoritmos numéricos

  • Matemática simbólica
Hardware

  • Microcontrolador

  • Microprocessador

  • Disco Rígido

  • Memória

  • Modem

  • Placa-mãe

  • Placa de rede

  • Placa de Som

  • Placa de Vídeo

  • Placa sintonizadora de TV

  • Mouse

  • Teclado

  • Impressora

  • Digitalizador
Cientistas

  • Alan Kay

  • Alan Turing

  • Ada Lovelace

  • Charles Babbage

  • Donald E. Knuth

  • Douglas Engelbart

  • Edsger W. Dijkstra

  • Eric S. Raymond

  • John von Neumann

  • Larry Wall

  • Marvin Minsky

  • Noam Chomski

  • Richard M. Stallman
Anexos:Lista de...
Termos de computação - Etimologias de termos usados em computação

Note: A ciência da computação também pode ser dividida em diferentes tópicos ou áreas de acordo com o en:ACM Computing Classification System.
























v • e
Filosofia da ciência
Filósofos

Alfred North Whitehead ·
Aristóteles ·
Augusto Comte ·
Averroés ·
Carl Gustav Hempel ·
Charles Sanders Peirce ·
Daniel Dennett ·
Epicuro ·
Francis Bacon ·
Friedrich Schelling ·
Galileu Galilei ·
Henri Poincaré ·
Herbert Spencer ·
Hugo de São Vitor ·
Immanuel Kant ·
Imre Lakatos ·
Isaac Newton ·
John Dewey ·
John Stuart Mill ·
Jürgen Habermas ·
Karl Pearson ·
Karl Popper ·
Karl Jaspers  ·
Mário Bunge ·
Otto Neurath ·
Paul Feyerabend ·
Pierre Duhem ·
Pierre Gassendi ·
Platão ·
René Descartes ·
Roger Bacon ·
Rudolf Carnap ·
Thomas Hobbes ·
Thomas Kuhn ·
W.V.O. Quine ·
Wilhelm Windelband ·
Wilhelm Wundt ·
William of Ockham ·
William Whewell ·
mais...
Conceitos

Análise ·
Distinção sintético-analítica ·
A priori e a posteriori ·
Inteligência artificial ·
Causalidade ·
Círculo de Viena ·
Comprovação científica ·
Construto ·
Estoicismo ·
Experiência científica ·
Fato ·
Falsificabilidade ·
Natureza ·
Ignoramus et ignorabimus ·
Investigação ·
Materialismo ·
Objetividade ·
Observação ·
Paradigma ·
Poder explicativo ·
Problema da indução ·
Problema da demarcação ·
Método científico ·
Revolução científica ·
Teoria científica ·



Metateoria da ciência

Antirrealismo científico ·
Cepticismo ·
Cientificismo ·
Contextualismo ·
Determinismo ·
Empiricismo ·
Falibilismo ·
Fundacionalismo ·
Infinitismo ·
Instrumentalismo ·
Positivismo ·
Pragmatismo ·
Racionalismo ·
Reducionismo ·
Realismo científico ·
Uniformitarismo ·
Vitalismo
Relacionados

Epistemologia ·
História da ciência ·
Filosofia da biologia ·
Filosofia da química ·
Filosofia da física ·
Filosofia da mente ·
Filosofia da inteligência artificial ·
Filosofia da informação ·
Filosofia da percepção ·
Filosofia da ciência da computação ·
Pseudociência ·






3rgc,8B0LsDcHK,m o
-
wY HwocMhur Cvpoto

Popular posts from this blog

Running commands remotely through an RDP connection

Image
1 This question is a follow up of this one. I am trying to run a command through the command line on a remote machine running Windows 7 from a workstation running Debian in an SSH session on that machine. The setup is basically as follows: debian box 1 === (SSH) ===> debian box 2 === (RDP) ===> Windows 7 I have tried running rdesktop from debian box 2 : rdesktop <Windows 7 box network address> -u username -p password -r disk:local="./TestRDP" -s "cmd.exe /K net use C: \\tsclientlocal & C:\test.bat & logoff" but cmd.exe is not launched on the remote device. I have also tried to open up cmd.exe on its own: rdesktop <Windows 7 box network address> -u username -p password -s "cmd.exe" but the terminal is not launched upon login ( rdesktop successf...
Read more

apt-mirror Malformed checksum error

Image
up vote 0 down vote favorite I am trying to mirror Ubuntu xenial repository by apt-mirror, but after running sudo apt-mirror , I get a Malformed checksum error. Any idea how to fix it? Downloading 1565 index files using 20 threads... Begin time: Wed Nov 21 11:11:21 2018 [20]... [19]... [18]... [17]... [16]... [15]... [14]... [13]... [12]... [11]... [10]... [9]... [8]... [7]... [6]... [5]... [4]... [3]... [2]... [1]... [0]... End time: Wed Nov 21 11:11:51 2018 Malformed checksum line "3ccf81a9f9ec2a984fed5f6c687675178771f7ec 41054" in http://archive.ubuntu.com/ubuntu/dists/xenial/main/i18n/Index at /usr/bin/apt-mirror line 562, <STREAM> line 118. Malformed checksum line "3ccf81a9f9ec2a984fed5f6c687675178771f7ec 41054" in http://archive.ubuntu.com/ubuntu/dists/xenial/main/i18n/Index at /usr/bin/ap...
Read more

Matlab 2018b additional configuration steps message while installing?

Image
up vote 0 down vote favorite So, my friend has been trying to install Matlab 2018b and he has encountered the following message just after the installation reaches 100%. Matlab installation additional configuration steps message I did some digging around in the Matlab forums and found out that to use the additional components, one should install a compiler and then use the following commands: mex -setup C mex -setup C++ Can anyone help me regarding this error? If this is indeed the solution then how can I execute those steps? Also, he says that even if he presses next, he cannot use matlab. The OS in use is Windows 10. installation matlab share | improve this question ...
Read more