Perguntas com a marcação «teaching»

Estive revisando a Teoria da Computação por diversão e essa pergunta me incomoda há um tempo (engraçado nunca pensei nisso quando aprendi a Teoria dos Autômatos na minha graduação). Então, "por que" exatamente estudamos autômatos finitos determinísticos e não determinísticos (DFA / NFAs)? Então, aqui estão algumas respostas que eu …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

É a minha primeira pergunta neste site. Estou fazendo um curso de mestrado em teoria da computação. Como você explicaria o problema de P = NP a uma criança de 10 anos e por que ela tem uma recompensa tão monetária? Sua opinião? Vou atualizar a pergunta quando minha cabeça …

54 cc.complexity-theory  soft-question  teaching  p-vs-np 

A hierarquia de Chomsky (–Schützenberger) é usada em livros didáticos de ciência da computação, mas obviamente cobre apenas uma fração muito pequena de linguagens formais (REG, CFL, CSL, RE) em comparação com o Diagrama de Zoológico de Complexidade completo . A hierarquia tem mais algum papel na pesquisa atual? Encontrei …

45 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching 

Muitas vezes, meu departamento me pede para dar palestras aos alunos do último ano do ensino médio sobre os elementos mais matemáticos da ciência da computação. Faço o possível para escolher tópicos do TCS que possam inspirar seu interesse (o que envolve principalmente algo relacionado ao problema da parada), mas …

38 soft-question  teaching 

Sempre existe uma maneira de aplicação em tópicos relacionados à ciência da computação teórica. Mas livros didáticos e cursos de graduação geralmente não explicam a razão pela qual a teoria dos autômatos é um tópico importante e se ainda tem aplicações na prática. Portanto, os estudantes de graduação podem ter …

37 soft-question  fl.formal-languages  automata-theory  teaching 

Esta pergunta é direcionada a pessoas que atribuem problemas: professores, assistentes de alunos, tutores etc. Isso já aconteceu comigo algumas vezes em meus 12 anos de carreira como professor: designei rapidamente algum problema no texto, pensando "isso parece bom". Então, mais tarde, percebi que não poderia resolvê-lo. Poucas coisas são …

36 soft-question  teaching 

Quando seguimos os livros-padrão, ou a tradição, a maioria de nós ensina a seguinte definição de notação Oh grande nas primeiras palestras de uma classe de algoritmos: Talvez até demos a lista inteira com todos os seus quantificadores:f= O ( g) iff ( ∃ c > 0 ) ( ∃ …

35 ds.algorithms  soft-question  teaching 

Acho que é improvável que seja uma pergunta comum, mas me pergunto se alguém viu material que foi claramente feito para abordar esse público de maneira significativa.

34 soft-question  teaching 

Dou aulas de algoritmos avançados e gostaria de incluir alguns tópicos relacionados ao aprendizado de máquina que serão do interesse dos meus alunos. Como resultado, eu gostaria de ouvir as opiniões das pessoas sobre os resultados algorítmicos atualmente mais interessantes / maiores no aprendizado de máquina. A restrição potencialmente complicada …

30 ds.algorithms  machine-learning  teaching 

Acabei de ensinar o algoritmo de mincut aleatório Karger-Stein na minha classe de algoritmos de pós-graduação. Esta é uma verdadeira jóia algorítmica , então eu não posso não ensiná-lo, mas ele sempre me deixa frustrado, porque eu não sei quaisquer outras aplicações da técnica principal. (Portanto, é difícil atribuir tarefas …

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

Tenho dificuldade em ensinar o conceito de funções computáveis. Tentei desenvolver a idéia de por que pesquisadores como Hilbert / Ackermann / Godel / Turing / Church / ... inventaram a noção de 'computabilidade'. Os alunos imediatamente perguntaram: "o que significa computabilidade?" e não posso responder a menos que eu …

22 soft-question  computability  turing-machines  teaching 

Atualmente, ensino um pequeno curso (Quatro palestras de duas horas no nível de mestrado) sobre Métodos Lógicos em Segurança , embora o título Métodos Formais em Segurança possa ser mais adequado. Ele cobre brevemente os seguintes tópicos (com métodos lógicos associados): Gerenciamento de direitos digitais e aplicação de políticas (formalização …

22 lo.logic  cr.crypto-security  teaching  security  formal-methods 

Vou dar uma aula padrão de graduação em idiomas e autômatos no próximo semestre e preferiria usar um texto legítimo, gratuito ou de baixo custo. Alguma sugestão? Adoro o texto Sipser, mas a edição mais recente custa US $ 196, o que é difícil dizer com uma cara séria na …

21 soft-question  teaching  books 

Eu tenho uma graduação razoável em matemática, mas nunca me senti 100% à vontade com álgebra abstrata (matemática de grupos, anéis, campos etc.). Eu acho que isso foi parcialmente porque eu precisava ver aplicativos e qualquer um que eu pudesse encontrar estava na física, não no CS. Como meu interesse …

19 soft-question  algebra  teaching 

Me ofereceram para ensinar um novo programa de ensino médio do TCS, que exige a construção de um currículo. Eu gostaria muito de ouvir opiniões e sugestões sobre isso. Primeiro, alguém conhece as escolas secundárias onde um programa TCS foi ensinado com sucesso (ou sem sucesso)? A idéia é de …

16 teaching