Preguntas etiquetadas con teaching

He estado revisando Theory of Computation por diversión y esta pregunta me ha estado molestando por un tiempo (curioso, nunca lo pensé cuando aprendí Automata Theory en mi licenciatura). Entonces, ¿por qué exactamente estudiamos autómatas finitos deterministas y no deterministas (DFA / NFA)? Así que aquí hay algunas respuestas que …

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

Es mi primera pregunta en este sitio. Estoy tomando un curso de maestría en teoría de la computación. ¿Cómo explicarías el problema P = NP a un niño de 10 años y por qué tiene una recompensa monetaria? Su toma? Actualizaré la pregunta a medida que mi cabeza se aclare …

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

La jerarquía de Chomsky (–Schützenberger) se usa en los libros de texto de informática teórica, pero obviamente solo cubre una fracción muy pequeña de lenguajes formales (REG, CFL, CSL, RE) en comparación con el Diagrama completo del zoológico de complejidad . ¿La jerarquía juega algún papel en la investigación actual? …

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

Mi departamento a menudo me pide que dé charlas a los alumnos de último año de secundaria sobre los elementos más matemáticos de la informática. Hago mi mejor esfuerzo para elegir temas de TCS que puedan inspirar su interés (que en su mayoría implica algo que ver con el problema …

38 soft-question  teaching 

Siempre hay una forma de aplicación en temas relacionados con la informática teórica. Pero los libros de texto y los cursos de pregrado generalmente no explican la razón por la que la teoría de autómatas es un tema importante y si todavía tiene aplicaciones en la práctica. Por lo tanto, …

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

Esta pregunta está dirigida a personas que asignan problemas: maestros, asistentes de estudiantes, tutores, etc. Esto me ha sucedido varias veces en mis 12 años de carrera como profesor: rápidamente asigné algún problema del texto pensando "esto se ve bien". Luego me di cuenta de que no podía resolverlo. Pocas …

36 soft-question  teaching 

Cuando seguimos los libros de texto estándar, o la tradición, la mayoría de nosotros enseñamos la siguiente definición de notación big-Oh en las primeras clases de una clase de algoritmos: Quizás incluso le demos la lista completa con todos sus cuantificadores:f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)).f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)). f = O(g) \mbox{ iff …

35 ds.algorithms  soft-question  teaching 

Adivinar es poco probable que sea una pregunta común, pero preguntarse si alguien ha visto material hecho claramente para dirigirse a esta audiencia de manera significativa.

34 soft-question  teaching 

Enseño un curso de algoritmos avanzados y me gustaría incluir algunos temas relacionados con el aprendizaje automático que serán de interés para mis alumnos. Como resultado, me gustaría escuchar las opiniones de las personas sobre los resultados algorítmicos más interesantes / mejores actualmente en el aprendizaje automático. La restricción potencialmente …

30 ds.algorithms  machine-learning  teaching 

Acabo de enseñar el algoritmo de mincut aleatorio Karger-Stein en mi clase de algoritmos de posgrado. Esta es una verdadera joya algorítmica , así que no puedo no enseñarlo, pero siempre me deja frustrado, porque no conozco ninguna otra aplicación de la técnica principal. (Por lo tanto, es difícil asignar …

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

Tengo dificultades para enseñar el concepto de funciones computables. Traté de desarrollar la idea de por qué investigadores como Hilbert / Ackermann / Godel / Turing / Church / ... inventaron la noción de 'computabilidad'. Los estudiantes inmediatamente preguntaron: "¿Qué significa la computabilidad?" y no puedo responder a menos que …

22 soft-question  computability  turing-machines  teaching 

Actualmente doy un pequeño curso (cuatro conferencias de dos horas a nivel de maestría) sobre Métodos lógicos en seguridad , aunque el título Métodos formales en seguridad podría ser más adecuado. Cubre brevemente los siguientes temas (con métodos lógicos asociados): Gestión de derechos digitales y aplicación de políticas (formalización general, …

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

Enseñaré una clase de pregrado estándar sobre idiomas y autómatas el próximo semestre, y preferiría usar un texto legítimo gratuito o de bajo costo. ¿Alguna sugerencia? Me encanta el texto Sipser, pero la última edición cuesta $ 196, lo cual es difícil de decir con una cara seria en la …

21 soft-question  teaching  books 

Tengo una educación matemática de pregrado razonable, pero nunca me he sentido 100% cómodo con el álgebra abstracta (las matemáticas de grupos, anillos, campos, etc.). Creo que esto se debió en parte a que necesitaba ver aplicaciones y cualquiera que pudiera encontrar estaba en física, no en CS. Como mi …

19 soft-question  algebra  teaching 

Me ofrecieron enseñar un nuevo programa de escuela secundaria TCS, que requiere la construcción de un plan de estudios. Me gustaría mucho escuchar opiniones y sugerencias sobre esto. Primero, ¿alguien sabe de las escuelas secundarias donde se ha enseñado un programa TCS con éxito (o sin éxito)? La idea es …

16 teaching