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,...
É 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 ficar...
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...
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...
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...
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...
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 ) ( ∃ n0 0≥ 0 ) ( ∀ n ≥ n0 0) ( f(...
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
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...
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,...
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...
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...
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 era dos cursos...
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...
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 um...
Existem vários algoritmos e estruturas de dados que exploram a idéia de que obtém seu valor mínimo em k = \ sqrt n . Exemplos comuns incluemmax{k,n/k}max{k,n/k}\max \left\{k, n/k\right\}k=n−−√k=nk=\sqrt n algoritmo de passo gigante de baby-step para calcular logaritmo discreto em...
Sou um engenheiro de software bastante proficiente, mas não conheço muita teoria. Eu quero aprender mais teoria. Os tópicos específicos que me interessam são: complexidade computacional, linguagens formais e teoria dos tipos. Mas não sei como começar a aprender sobre esses campos. Quais recursos...
Estou procurando exemplos de resultados que vão contra a intuição das pessoas para uma conversa na audiência geral. Resultados que, se perguntados a não especialistas "o que sua intuição lhe diz?", Quase todos entendem errado. A declaração de resultados deve ser facilmente explicável aos alunos de...
Toda vez que ensino NP-Completeness, os alunos perguntam "existem problemas conhecidos por não pertencerem a NP?" Como você responderia? Normalmente, dou a eles um problema indecidível como exemplo, mas isso geralmente não resulta bem: (a) se eu der a eles o Problema da Parada, eles acham que é...
Suponha que você esteja se encontrando com programadores que fizeram alguns cursos profissionais de programação (/ pensamento próprio), mas não estudaram matemática em nível universitário. Para mostrar a eles a beleza do TCS, gostaria de reunir alguns bons resultados / perguntas abertas...