Filosofia da ciência da computação









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 ·






-

Popular posts from this blog

flock() on closed filehandle LOCK_FILE at /usr/bin/apt-mirror

Image
0 I recently upgraded an Ubuntu 16.04 virtual machine to 18.04. I regularly use this VM to run apt-mirror at school on their high-speed internet, then rsync these files to my rack-mount server at home for updating multiple computers at home without wasting the tiny amount of bandwidth I have there. Since updating I can't get apt-mirror to run on my VM. It keeps giving the error: flock() on closed filehandle LOCK_FILE at /usr/bin/apt-mirror line 214 immediately followed by: apt-mirror is already running, exiting at /usr/bin/apt-mirror line 217 apt-mirror is NOT running, and does not have a cron job. I've tried rebooting, and even looked for the old-style lockfile to delete, but I guess that method is no longer used. Is there some way to force unlock this so I can run apt-mirror? UPDATE: So... I f
Read more

Mangá

Image
  Nota:  Não confundir com Manga. Mangás e Animes Mangá Mangaká • Tankōbon Film comic La nouvelle manga Mangá original em inglês Anime História Animação influenciada por animes • Filler • OVA • Seiyū Públicos Kodomo • Shōjo • Shōnen Josei • Seinen Gêneros Mahō shōjo • Mecha • Harém Ecchi • Hentai ( Yaoi • Yuri Futanari • Shotacon • Lolicon Toddlercon ) Termos Bishōjo • Chibi • Fan service Gaiden • Kawaii • Kaitō • Light novel Mahō shōnen • Moe (antropomorfismo • Kemonomimi Nekomimi ) • Super deformed Omake • Tsundere • Yonkoma Listas Mangás • Animes • Ecchi • Mangaka • Estúdios • Revistas Fãs ( otaku ) Anime Music Video Convenções • Cosplay Dōjinshi • Fansub • Fandub • Fujoshi OS-tan • Scanlation Portal de Anime e mangá v d e O mangá (português brasileiro) ou manga (português europeu) [ 1 ] (em japonês: 漫画 , manga ? , lit. “história em quadrinhos”) , é a
Read more

 ⁒  ․,‪⁊‑⁙ ⁖, ⁇‒※‌, †,⁖‗‌⁝    ‾‸⁘,‖⁔⁣,⁂‾
”‑,‥–,‬ ,⁀‹⁋‴⁑ ‒ ,‴⁋”‼ ⁨,‷⁔„ ‰′,‐‚ ‥‡‎“‷⁃⁨⁅⁣,⁔
⁇‘⁔⁡⁏⁌⁡‿‶‏⁨ ⁣⁕⁖⁨⁩⁥‽⁀  ‴‬⁜‟ ⁃‣‧⁕‮ …‍⁨‴ ⁩,⁚⁖‫ ,‵ ⁀,‮⁝‣‣ ⁑  ⁂– ․, ‾‽ ‏⁁“⁗‸ ‾… ‹‡⁌⁎‸‘ ‡⁏⁌‪ ‵⁛ ‎⁨ ―⁦⁤⁄⁕

⁉…‧ ⁩,“⁡‹⁃‽⁞•,⁠‚  ⁓⁎  ⁜ ‴ ⁥⁡⁎‭,‍‑⁁⁌⁦ ⁁‟⁙‥‒“⁈ ,‪⁧ ⁙‿⁇⁦,⁝‘ ⁎“⁘‫‪,‗‹‛‹⁒  ⁇⁄‗‒•“⁇   ‐ ⁂
‘‛, ‶⁦ ⁇ ​⁞‧ 
,⁏ …‹–⁗⁡⁘⁄ ‏‿‬‟″ ‏⁢⁦⁗⁚⁝‬⁢⁏,⁧″⁍′‖⁂※⁄‘– ‵⁡ ‭⁢⁚,⁅‧,‼‛⁗,⁡⁗“⁔⁃⁍‷⁏‗‱⁌‚  
•⁝ ‚‒ ‥‰  ′⁌, ⁄, ⁛—‭‑”⁂,⁑ ‡⁨‴⁖⁙…,‑, ,⁎,․‣‥  ‴‎⁎,″‛⁎‭‿ ⁤ ‷‾‼‖,⁠⁊‾,⁦“‗‑‌†,⁙,†⁝′ 
,―‚․‘, ⁢  ‿‌,⁀„‣,⁌,‭‖ ⁆“‪,―  ⁀ ⁃,
‷⁥,​,‟‗⁄⁉⁐⁗―
,‮⁢⁩⁆⁣‹‭⁅ ⁝‾‏‭⁖ ⁕⁄‷,†‟‒ ⁣‹,​…​,⁤⁂⁨‮⁎⁙–‟‼ ⁍‱‱,‽,‫‽‣ ⁒,⁨ ⁄ ⁝”„‿‑‎⁈‿
 ⁀‛‼‟ ⁑“,⁩​ ‒
–⁡…⁢ ⁂ ⁈⁎,‵‡,⁛,,‱⁧⁋,․‬⁄ “,⁄‴⁊  ‗―,‵⁙⁔—⁀ —  ⁀‬‬ ‒⁋‼⁀― ,⁌′ ‍‶ ’
Read more