Perguntas com a marcação «didactics»

Para tentar testar se um algoritmo para algum problema está correto, o ponto de partida usual é tentar executar o algoritmo manualmente em vários casos de teste simples - tente em alguns exemplos de instâncias de problemas, incluindo alguns casos de canto "simples" " Essa é uma ótima heurística: é …

105 algorithms  algorithm-analysis  education  correctness-proof  didactics 

Eu me pergunto sobre essa questão desde que eu era estudante de graduação. É uma questão geral, mas irei elaborar com exemplos abaixo. Eu já vi muitos algoritmos - por exemplo, para problemas de vazão máxima, conheço três algoritmos que podem resolver o problema: Ford-Fulkerson, Edmonds-Karp & Dinic, com Dinic …

91 algorithms  data-structures  education  didactics 

Dijkstra, em seu ensaio Sobre a crueldade de realmente ensinar ciência da computação , faz a seguinte proposta para um curso introdutório de programação: Por um lado, ensinamos o que parece ser o cálculo predicado, mas o fazemos de maneira muito diferente dos filósofos. Para treinar o programador iniciante na …

33 reference-request  programming-languages  education  didactics 

Estou interessado na questão de qual a melhor maneira de ensinar a NP-completude aos cursos de ciência da computação. Em particular, devemos ensiná-lo usando reduções de Karp ou reduções de Turing? Sinto que os conceitos de completude e redução de NP são algo que todo especialista em ciência da computação …

25 complexity-theory  np-complete  reductions  education  didactics 

Por aqui , Dave Clarke propôs que, para comparar o crescimento assintótico, você deve traçar as funções em questão. Como cientista da computação, teoricamente inclinado, chamo esse vodoo de que um enredo nunca é prova. Pensando bem, tenho que concordar que essa é uma abordagem muito útil que às vezes …

23 asymptotics  didactics 

A Lei de De Morgan é frequentemente introduzida em um curso introdutório de matemática para ciência da computação, e muitas vezes a vejo como uma maneira de transformar declarações de AND para OR negando termos. Existe uma explicação mais intuitiva para o porquê disso funcionar, em vez de apenas lembrar …

19 logic  discrete-mathematics  didactics 

No ano passado, eu estava lendo um artigo fantástico sobre "Mecânica Quântica para Jardim de Infância" . Não foi papel fácil. Agora, eu me pergunto como explicar o quicksort nas palavras mais simples possíveis. Como posso provar (ou pelo menos ter ondas de mão) que a complexidade média é e …

16 algorithms  education  algorithm-analysis  didactics  sorting 

As portas lógicas são um dispositivo abstrato que pode ser implementado com relés eletromagnéticos, tubos de vácuo ou transistores. Essas implementações tiveram êxito na computação, em parte devido a várias propriedades de capacidade de cadeia, durabilidade e tamanho além de sua estabilidade binária básica. Eles também funcionam bem porque a …

15 computer-architecture  didactics 

Eu tenho lido a Álgebra Linear e seus Aplicativos para ajudar a entender o material da ciência da computação (principalmente aprendizado de máquina), mas estou preocupado que muitas informações não sejam úteis para o CS. Por exemplo, saber como resolver com eficiência sistemas de equações lineares não parece muito útil, …

15 education  linear-algebra  didactics  mathematical-foundations 

Suponha que nós estamos dando dois números e e que queremos encontrar para l \ le i, \, j \ le r .lllrrr l ≤ i ,max(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r O algoritmo ingênuo simplesmente verifica todos os pares possíveis; por exemplo, em ruby, teríamos: def max_xor(l, r) max = 0 …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

Estou envolvido no primeiro ano de programação e curso de algoritmos. Em uma palestra recente, decidi apresentar o material usando a codificação ao vivo , o que essencialmente significava que eu me sentava atrás do teclado e escrevia o código e o avaliava, usando o emacs para facilitar o processo. …

11 education  didactics 

Sou assistente de professor na minha universidade e meu próximo tópico é recursão. de que maneira é melhor ensinar a recursão para que o aluno possa entender o conceito facilmente e possa pensar recursivamente? Eu estava pensando em explicar a estrutura da pilha para ensinar recursão, mas estou preocupado que …

7 recursion  education  didactics