15-251 Grandes ideas teóricas en informática

¡Bienvenido al 15-251! Este curso adoptará una perspectiva filosófica e histórica sobre el desarrollo de la informática teórica. Desde el uso de un montón de piedras para representar y manipular números, los humanos han desarrollado progresivamente un vocabulario abstracto con el que representar matemáticamente su mundo. Los antiguos, especialmente los griegos, se dieron cuenta de que podían razonar sistemáticamente sobre sus representaciones de forma escalonada. En otras palabras, al computar en modelos abstractos, podían describir y predecir patrones en el mundo que los rodeaba.

En este curso, revisaremos el desarrollo de las matemáticas desde un punto de vista computacional. A su vez, estudiaremos matemáticamente la naturaleza de la computación en sí misma. ¿Qué es la computación? ¿Qué es computable, en principio? ¿Qué es especialmente fácil o difícil de computar? ¿Hasta qué punto la naturaleza inherente de la computación determina cómo aprendemos y pensamos sobre el mundo?

Requisitos previos: (15-122 o 15-150) y (21-127 o 21-128 o 15-151)

Organización

Las clases tendrán lugar todos los martes y jueves de 9:00 a 10:20 en GHC 4401. Habrá secciones de recitación semanales celebradas los viernes. Las recitaciones se utilizarán para complementar el material de las clases y practicar el trabajo en problemas en pequeños grupos. Por favor, asista a la sesión de recitación a la que se ha apuntado. Tomaremos asistencia en la mayoría de las clases y recitaciones. Esto se tendrá en cuenta en su calificación de participación al final del semestre (véase la sección de Calificación más adelante).

Además, los miércoles de 18:30 a 19:50 se utilizarán para «Sesiones de escritura de tareas». Más información sobre estas sesiones se puede encontrar en la sección Sistema de Tareas más adelante.

Recursos

No hay un texto obligatorio para el curso. El material es bastante variado y ningún texto estándar lo contiene. Las conferencias serán grabadas y los enlaces a las grabaciones de vídeo, así como las diapositivas se proporcionarán en el sitio web del curso. Proporcionamos notas de clase para la mayoría de las conferencias. Si desea consultar los libros que contienen parte del material del curso, le recomendamos los siguientes:

  • «Introducción a la teoría de la computación» de Michael Sipser
  • «La naturaleza de la computación» de Cristopher Moore y Stephan Mertens
  • Comunicación con el personal del curso

    ¡Todos los estudiantes deben inscribirse en la página Piazza del curso! Los anuncios relacionados con el curso se harán utilizando Piazza, por lo que debe revisar Piazza todos los días.

    Si tiene una pregunta sobre un concepto de la clase o la redacción de un problema de tarea, hay una buena probabilidad de que otros estudiantes en la clase tengan la misma pregunta. Por lo tanto, le recomendamos encarecidamente que publique su pregunta en Piazza. Por favor, mantén la discusión de forma educada y ten cuidado de no dar información sobre las soluciones de los deberes. Si tienes una pregunta que es específica para ti personalmente, por favor envía un correo electrónico a tu TA o a uno de los instructores. Si desea hacer una solicitud de recalificación, por favor, póngase en contacto con el TA que ha calificado esa pregunta directamente.

    Todos los miembros del personal del curso tendrán horas de oficina semanales – los horarios y lugares se publican en el sitio web del curso. Se le recomienda encarecidamente que asista a las horas de oficina. De hecho, los trabajos en casa se preparan con el supuesto de que obtendrá apoyo durante las horas de oficina.

    Calificación

    Su calificación dependerá de los siguientes factores.

    Trabajos en casa. Habrá 12 tareas para casa.

    Exámenes de medio término. Habrá 2 exámenes parciales (1 de marzo, 19 de abril, de 18:30 a 21:30). Por favor, marquen sus calendarios.

    Examen final. Habrá un examen final al final del semestre.

    Participación en clase. Esto se basará principalmente en la asistencia. Otros factores incluyen hacer y responder preguntas en clase, en los recitados y en el tablero de discusión.

    Su calificación numérica se calculará de acuerdo con la siguiente tabla.

    Componente del curso Peso
    Tareas 30%
    Medio plazo 1 20%
    Medio semestre 2 20%
    Final 25%
    Participación 5%

    A mediados desemestre, se anunciarán las notas de corte de las letras.

    Si su calificación en letras al final del semestre es inferior a una C, entonces también calcularemos su calificación utilizando la siguiente tabla y le asignaremos la calificación más alta. La máxima calificación en letras que puede recibir con el esquema de calificación alternativo es una C.

    Componente del curso Peso
    Tareas 30% (los 4 trabajos más bajos medio ponderados-ponderados)
    Mediados de curso 30%
    Final 35%
    Participación 5%

    Sistema de deberes

    Los deberes son posiblemente el componente más importante de este curso. La resolución de los problemas es la única manera de conseguir el dominio del material.

    Hay algunas reglas generales que se aplican a todas las preguntas de los deberes:

  • No se puede compartir el material escrito con nadie.
  • No puedes discutir las soluciones a los problemas en Piazza o en cualquier otro foro de discusión. (Se pueden hacer preguntas en Piazza que no revelen ninguna idea de solución).
  • No puedes solicitar respuestas a las preguntas de los deberes, es decir, no puedes pedir a nadie que te proporcione la solución a un problema, antes de la sesión de escritura de los deberes.
  • Se permite buscar en Internet conceptos generales. Está prohibido buscar en Google palabras clave específicas que aparezcan por casualidad en una de las preguntas de los deberes.
  • Debes citar siempre tus fuentes, incluyendo a las personas con las que has trabajado.
  • Para las partes colaborativas de los deberes, debes pensar en un problema durante 15 minutos antes de empezar a discutirlo con otra persona.
  • Si trabajas en una pizarra/pizarrón visible públicamente, debes borrar todo el contenido cuando termines.
  • Si tienes alguna duda sobre si algo está dentro de las normas o no, no dudes en ponerte en contacto con el personal del curso.

    Tipos de preguntas: Habrá 4 tipos de preguntas en los deberes y cada pregunta estará claramente etiquetada con su tipo.

    SOLO – Debes trabajar en estas preguntas por ti mismo. Además de las reglas mencionadas anteriormente, no se permite discutir estas preguntas con nadie excepto con el personal del curso.

    Grupo – Estas preguntas deben ser resueltas en grupos de 3 o 4 personas. No se permite trabajar en estas preguntas solo. Debes indicar claramente los miembros de tu grupo. Puedes cambiar de grupo de una semana a otra, pero puedes tener como máximo un grupo por semana. Aparte de los miembros de su grupo, puede discutir estas preguntas con el personal del curso.

    COLABORACIÓN ABIERTA – Puede discutir estas preguntas con quien quiera de la clase. Aparte de las reglas generales indicadas anteriormente, no hay reglas adicionales para este tipo de preguntas.

    PROGRAMACIÓN – No todas las tareas contendrán una pregunta de programación, pero algunas podrían hacerlo. Las reglas de SOLO se aplican a este tipo de preguntas. Debe entregar sus programas en Autolab antes de las 18:30 horas del día en que se debe entregar la tarea.

    Sesiones de escritura de la tarea: No entregarás por escrito las soluciones a todas las preguntas de los deberes. Todos los miércoles de 18:30 a 19:50 en DH 2210, tendremos una sesión de escritura de deberes. En esta sesión escogeremos al azar un subconjunto de preguntas de los deberes, y se te pedirá que escribas las soluciones a esos problemas de forma individual durante esta sesión supervisada. Esperamos que haya practicado la solución de cada pregunta de los deberes antes del miércoles por la noche. Por lo tanto, estas sesiones de escritura de los deberes deberían ser relativamente sencillas y libres de estrés.

    La calidad de su escritura y presentación importa mucho, por lo que debe asegurarse de que sus soluciones están explicadas muy claramente. Si no estás seguro de algo, o crees que hay una laguna en tu argumento, indícalo claramente en tu redacción (¡ganarás más puntos haciéndolo que escribiendo un argumento erróneo!). No intentes vender una prueba errónea o incompleta. Si deja una pregunta completamente en blanco, ganará el 20% del crédito de esa pregunta.

    Es muy importante que aprenda de sus errores y los corrija. Por esta razón, después de que te devuelvan los deberes calificados, se te permitirá volver a presentar las soluciones en las que te hayas equivocado (la fecha límite se anunciará). Si entregas una solución completamente correcta y bien redactada, recibirás de nuevo el 25% del crédito perdido por esa pregunta.

    Trampas

    Entendemos que la mayoría de ustedes nunca consideraría hacer trampa de ninguna forma. Sin embargo, hay una pequeña minoría de estudiantes para los que este no es el caso. En el pasado, cuando hemos sorprendido a estudiantes haciendo trampas, a menudo han insistido en que no entendían las reglas y las sanciones. Como parte de los primeros deberes, se te pedirá que reconozcas que has leído y entendido las políticas para hacer trampas. Por favor, lee la Política de Integridad Académica de la Universidad Carnegie Mellon. Los siguientes son algunos ejemplos claros de hacer trampa:

  • Copiar de otro estudiante durante un examen o sesión de escritura de tareas.
  • Discutir un problema SOLO antes de la sesión de escritura de tareas con alguien que no forma parte del personal del curso.
  • Buscar en Google palabras clave específicas que casualmente aparecen en una de las preguntas de las tareas.
  • Mostrar un borrador de una solución escrita a otro estudiante.
  • Obtener ayuda de alguien a quien no reconoce en su solución.
  • Recibir información relacionada con el examen de un alumno que ya lo ha realizado.
  • Intentar hackear cualquier parte de la infraestructura del 15-251.
  • Mirar el trabajo de otra persona en el AFS, aunque los permisos de los archivos lo permitan.
  • Mentir al personal del curso.
  • Consecuencias: La sanción por copiar puede ir desde una deducción del 10% en la media general del curso (es decir, una bajada de nota) hasta suspender directamente el curso. Además, en la mayoría de los casos, se envía una carta al Decano de Asuntos Estudiantiles y las consecuencias adicionales son determinadas por ellos.

    Política de Tiempo Extendido y Recuperación

    Estamos encantados de acomodar a los estudiantes que requieren tiempo extendido aprobado por la oficina de Larry Powell. Por favor, póngase en contacto con uno de los instructores si se encuentra en esta situación.

    No se administrarán pruebas de recuperación, exámenes o sesiones de escritura de tareas, excepto en el caso de emergencias médicas o familiares documentadas, u otras ausencias aprobadas por la universidad. El resfriado común o el fallo de su ordenador, desgraciadamente, no califican como una ausencia justificada.

    ¡Bienestar y Felicidad

    ¡Nos importa mucho su bienestar y felicidad!!! Ten en cuenta que todos los miembros del personal del curso están siempre disponibles para dar consejo o charlar, y debes asistir a las horas de oficina tan a menudo como quieras para mantener conversaciones académicas y no académicas.

    Sin embargo, también debes saber que la universidad ofrece servicios que quizás quieras aprovechar en algún momento del semestre. Si alguna vez no estás seguro de ellos, te encuentras con un problema o quieres más información, no dudes en ponerte en contacto con los instructores.

    Para obtener una lista completa de los servicios de salud de la CMU, haz clic aquí.

    Departamento de Policía de la CMU

    No dudes en llamar a la policía de la CMU cuando estés en una emergencia o si estás interesado en aprovechar sus servicios.

  • Sitio web: http://www.cmu.edu/police/welcome.html
  • Número de teléfono de emergencia: 412-268-2323
  • Número de teléfono de no emergencia: 412-268-6232
  • Servicios de Orientación y Psicología (CAPS)

    CAPS tiene un personal más limitado durante el verano, pero todavía está disponible para que usted lo utilice. Ofrecen terapia, apoyo en caso de crisis, etc. y deberías acudir a CAPS para recibir asesoramiento si tienes problemas, no importa lo pequeños que creas que son tus problemas. Si el CAPS no puede ayudarle adecuadamente, también hacen remisiones y consultas básicas para ayudarle a encontrar lo que necesita.

  • Horas: De lunes a viernes de 8:30 a 17:00
  • Teléfono: 412-268-2922
  • Localización: 2ª planta, Morewood Gardens, E-Tower
  • Servicios de Salud de la Universidad

    Los servicios de salud pueden ayudarle de la misma manera que lo hace un médico, pero también ofrecen servicios de gestión de la atención integral y de promoción de la salud.

  • Horas: M, Tu, W: 8:30am-7:00pm, Th: 10:00am-7:00pm, F: 8:30am-5:00pm, Sat: 11:00am-3:00pm
    Nota: Cuando UHS está cerrado, llame al 1(844)881-7176.
  • Para programar una cita en HealthConnect, haga clic aquí.
  • Administrador de atención integral: Diane Dawson, 412-268-9171
  • 15-251 Ayuda para el bienestar

    Si se encuentra con algún tipo de dificultad o simplemente quiere hablar de cómo se siente con respecto a 251 o simplemente charlar, póngase en contacto con una de las siguientes personas o con su AT para concertar una reunión informal.

  • Anil Ada (Instructor):
  • Bernhard Haeupler (Instructor):
  • Anna Tan (Jefe CA):
  • Chris Liu (Jefe CA):
  • Deja una respuesta

    Tu dirección de correo electrónico no será publicada.