Computer Science › Fundamentos da Ciência da Computação
Uma observação descreve o mundo; uma pergunta especifica algo desconhecido e aponta para uma próxima ação; refinar uma requer um processo de estreitamento explícito, não um único salto, e pular essa etapa é a razão mais comum pela qual investigações emperram.
Uma pergunta é bem formada quando nomeia o que contaria como resposta: um desconhecido específico com candidatos finitos e verificáveis, um escopo explícito, e uma condição de parada; "por que está lento?" falha nas três, "qual das três operações domina sob carga X?" satisfaz todas.
Hamming argumenta que a maioria não trabalha em problemas importantes por falta de um método de ataque real, não de consciência; um problema precisa passar em dois eixos independentes, importância e tratabilidade, para valer a pena o esforço.
Hamming exige conhecer um campo profundamente o suficiente para ver o que de fato está em aberto; Peyton Jones exige situar uma pergunta em relação ao conhecido; pular a checagem de trabalho anterior desperdiça esforço redescobrindo o já sabido.
Uma pergunta computacional é bem formada E resolvível por rodar código, um experimento em um sistema, ou uma medição; os quatro pilares do pensamento computacional resolvem problemas já postos, não geram a pergunta, essa é a lacuna que esta disciplina cobre.
Uma pergunta bem formada nomeia a categoria de resposta; uma hipótese escolhe um candidato específico e verificável antes de examinar a evidência; testabilidade exige especificidade, um mecanismo nomeado, e uma diferença observável prevista.
O critério de demarcação de Popper diz que uma teoria é científica na medida em que é logicamente incompatível com alguma observação possível; a relatividade geral de Einstein arriscou uma previsão específica e sobreviveu, enquanto explicações Adlerianas acomodam qualquer resultado.
Um experimento existe para discriminar uma hipótese de sua alternativa declarada; toda medição que sairia igual independentemente de qual é verdadeira é cortada, e o tamanho da amostra deve ser fixado antecipadamente com base no efeito que de fato importaria.
A força de uma evidência é medida por quão surpreendente seria se a hipótese fosse falsa, não por se é consistente com ela; um resultado discriminador único pode superar uma pilha de resultados fracos e não discriminadores, e atualizações devem ser incrementais.
Uma hipótese contradita deve ser revisada (algo novo, falsificável, que proíbe algo novo), não resgatada com uma explicação ad hoc que não custa nada e nunca é testada; o padrão de resgate repetido é o próprio sinal de pseudociência de Popper.
Nenhum resultado é um ponto final; confirmação tipicamente afia a pergunta (escopo ou mecanismo), falsificação tipicamente a redireciona (elimina um candidato, aponta para outro), e investigação é um ciclo, não uma linha reta.
Um resultado que ninguém mais consegue entender ou verificar tem, na prática, o mesmo valor de nenhum resultado; a abertura de Peyton Jones (a ideia, por que importa, por que é difícil) mais uma checklist de verificação é o que transforma entendimento privado em algo checável.
O ciclo desta disciplina (notar, perguntar, hipotetizar, testar, ponderar, responder honestamente, iterar, verificar, comunicar) é um ensaio em miniatura de dois ciclos reais já documentados no currículo: a filosofia da trilha de CC e o ciclo planejado do módulo `research`.
Kuhn descreve ciência normal como resolução de quebra-cabeças dentro de um paradigma compartilhado; anomalias acumuladas produzem crise, e uma mudança de paradigma substitui o framework inteiro, mudando o que conta como pergunta ou solução válida, não apenas acumulando fatos.
Um controle deve ser idêntico ao tratamento em tudo exceto a variável sob teste; comparações antes/depois confundem a mudança com tudo mais que variou no tempo, enquanto um controle concorrente e randomizado isola a variável de fato testada.
A escada da causalidade de Pearl tem três degraus, associação ("ver"), intervenção ("fazer"), e contrafactuais ("imaginar"); nenhuma quantidade de dados observacionais resolve a ambiguidade de três vias que só intervenção (randomização) pode quebrar.
Um confundidor é um terceiro fator Z que causa tanto X quanto Y, produzindo uma correlação genuína sem ligação causal entre eles (clima quente causando sorvete e afogamentos); só intervenção ou ajuste explícito para Z consegue distinguir isso de causação direta.
Uma suposição é presumida mas não avaliada pelo teste; pela observação Duhem-Quine, um teste falhado refuta tecnicamente a hipótese-mais-suposições, não a hipótese sozinha, então diagnosticar uma falha exige verificar as suposições antes de culpar a hipótese.
Part of the Computer Science curriculum.
Uma observação descreve o mundo; uma pergunta especifica algo desconhecido e aponta para uma próxima ação; refinar uma requer um processo de estreitamento explícito, não um único salto, e pular essa etapa é a razão mais comum pela qual investigações emperram.
Uma pergunta é bem formada quando nomeia o que contaria como resposta: um desconhecido específico com candidatos finitos e verificáveis, um escopo explícito, e uma condição de parada; "por que está lento?" falha nas três, "qual das três operações domina sob carga X?" satisfaz todas.
Hamming argumenta que a maioria não trabalha em problemas importantes por falta de um método de ataque real, não de consciência; um problema precisa passar em dois eixos independentes, importância e tratabilidade, para valer a pena o esforço.
Hamming exige conhecer um campo profundamente o suficiente para ver o que de fato está em aberto; Peyton Jones exige situar uma pergunta em relação ao conhecido; pular a checagem de trabalho anterior desperdiça esforço redescobrindo o já sabido.
Uma pergunta computacional é bem formada E resolvível por rodar código, um experimento em um sistema, ou uma medição; os quatro pilares do pensamento computacional resolvem problemas já postos, não geram a pergunta, essa é a lacuna que esta disciplina cobre.
Uma pergunta bem formada nomeia a categoria de resposta; uma hipótese escolhe um candidato específico e verificável antes de examinar a evidência; testabilidade exige especificidade, um mecanismo nomeado, e uma diferença observável prevista.
O critério de demarcação de Popper diz que uma teoria é científica na medida em que é logicamente incompatível com alguma observação possível; a relatividade geral de Einstein arriscou uma previsão específica e sobreviveu, enquanto explicações Adlerianas acomodam qualquer resultado.
Um experimento existe para discriminar uma hipótese de sua alternativa declarada; toda medição que sairia igual independentemente de qual é verdadeira é cortada, e o tamanho da amostra deve ser fixado antecipadamente com base no efeito que de fato importaria.
A força de uma evidência é medida por quão surpreendente seria se a hipótese fosse falsa, não por se é consistente com ela; um resultado discriminador único pode superar uma pilha de resultados fracos e não discriminadores, e atualizações devem ser incrementais.
Uma hipótese contradita deve ser revisada (algo novo, falsificável, que proíbe algo novo), não resgatada com uma explicação ad hoc que não custa nada e nunca é testada; o padrão de resgate repetido é o próprio sinal de pseudociência de Popper.
Nenhum resultado é um ponto final; confirmação tipicamente afia a pergunta (escopo ou mecanismo), falsificação tipicamente a redireciona (elimina um candidato, aponta para outro), e investigação é um ciclo, não uma linha reta.
Um resultado que ninguém mais consegue entender ou verificar tem, na prática, o mesmo valor de nenhum resultado; a abertura de Peyton Jones (a ideia, por que importa, por que é difícil) mais uma checklist de verificação é o que transforma entendimento privado em algo checável.
O ciclo desta disciplina (notar, perguntar, hipotetizar, testar, ponderar, responder honestamente, iterar, verificar, comunicar) é um ensaio em miniatura de dois ciclos reais já documentados no currículo: a filosofia da trilha de CC e o ciclo planejado do módulo `research`.
Kuhn descreve ciência normal como resolução de quebra-cabeças dentro de um paradigma compartilhado; anomalias acumuladas produzem crise, e uma mudança de paradigma substitui o framework inteiro, mudando o que conta como pergunta ou solução válida, não apenas acumulando fatos.
Um controle deve ser idêntico ao tratamento em tudo exceto a variável sob teste; comparações antes/depois confundem a mudança com tudo mais que variou no tempo, enquanto um controle concorrente e randomizado isola a variável de fato testada.
A escada da causalidade de Pearl tem três degraus, associação ("ver"), intervenção ("fazer"), e contrafactuais ("imaginar"); nenhuma quantidade de dados observacionais resolve a ambiguidade de três vias que só intervenção (randomização) pode quebrar.
Um confundidor é um terceiro fator Z que causa tanto X quanto Y, produzindo uma correlação genuína sem ligação causal entre eles (clima quente causando sorvete e afogamentos); só intervenção ou ajuste explícito para Z consegue distinguir isso de causação direta.
Uma suposição é presumida mas não avaliada pelo teste; pela observação Duhem-Quine, um teste falhado refuta tecnicamente a hipótese-mais-suposições, não a hipótese sozinha, então diagnosticar uma falha exige verificar as suposições antes de culpar a hipótese.