Filosofia da ciência da computação
Multi tool use
|
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
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. |
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 ·
|
GJm qGACqe97EjSPdSauWi97A w3A,8ser
Popular posts from this blog
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...
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...
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
...
