15-251 Grandes Ideias Teóricas em Informática

Bem-vindos ao 15-251! Este curso terá uma perspectiva filosófica e histórica sobre o desenvolvimento da ciência da computação teórica. A partir do uso de uma pilha de pedras para representar e manipular números, os humanos têm desenvolvido progressivamente um vocabulário abstrato com o qual representam matematicamente o seu mundo. Os antigos, especialmente os gregos, perceberam que eles poderiam raciocinar consistentemente sobre suas representações de uma maneira passo a passo. Em outras palavras, através da computação em modelos abstratos, eles poderiam descrever e prever padrões no mundo ao seu redor.

Neste curso, vamos revisitar o desenvolvimento da matemática do ponto de vista computacional. Por outro lado, estudaremos matematicamente a natureza da computação em si. O que é computação? O que é o cálculo, em princípio? O que é especialmente fácil, ou especialmente difícil de computar? Até que ponto a natureza inerente da computação molda a forma como aprendemos e pensamos sobre o mundo?

Pré-requisitos: (15-122 ou 15-150) e (21-127 ou 21-128 ou 15-151)

Organização

As palestras serão realizadas todas as terças e quintas-feiras das 9:00 às 10:20 da manhã no GHC 4401. Haverá sessões de recitação semanais às sextas-feiras. As recitações serão utilizadas para complementar o material das palestras e práticas de trabalho em pequenos grupos. Por favor, participe da sessão de recitação para a qual se inscreveu. Assistiremos à maioria das palestras e recitações. Isto terá em conta a sua nota de participação no final do semestre (ver a secção de Classificação abaixo).

Além disso, às quartas-feiras das 18:30 às 19:50 serão utilizadas para “Sessões de Redacção dos Trabalhos de Casa”. Mais informações sobre estas sessões podem ser encontradas na secção Sistema de Lições de Casa abaixo.

Recursos

Não há texto necessário para o curso. O material é bastante diversificado, e nenhum texto padrão o contém. As palestras serão gravadas e os links para as gravações de vídeo, assim como os slides, serão fornecidos no site do curso. Fornecemos notas de palestra para a maioria das palestras. Se você quiser ver livros que contenham parte do material do curso, recomendamos o seguinte:

  • “Introdução à Teoria da Computação” por Michael Sipser
  • “A Natureza da Computação” por Cristopher Moore e Stephan Mertens
  • Comunicação com o Pessoal do Curso

    Todos os alunos devem se inscrever na página Piazza do curso! Os anúncios relacionados com o curso serão feitos usando o Piazza, portanto você deve verificar o Piazza todos os dias.

    Se você tiver uma pergunta sobre um conceito de palestra ou palavras sobre um problema no dever de casa, há uma boa chance de que outros alunos da classe tenham a mesma pergunta. Assim, recomendamos vivamente que coloque a sua pergunta na Piazza. Por favor, mantenha a discussão educada e tenha cuidado para não dar informações sobre as soluções para o dever de casa. Se você tiver uma pergunta específica para você pessoalmente, por favor, envie um e-mail para o seu TA ou para um dos instrutores. Se você gostaria de fazer um pedido de recadastramento, por favor entre em contato diretamente com o TA que classificou essa pergunta.

    Todos os funcionários do curso terão horário de expediente semanal – horários e locais são publicados no site do curso. Você é fortemente encorajado a freqüentar o horário de expediente. Na verdade, os trabalhos de casa são preparados com o pressuposto de que você terá suporte durante o horário de expediente.

    Classificação

    Sua nota dependerá dos seguintes fatores.

    Trabalhos domésticos. Haverá 12 tarefas de casa.

    Exames de Meio-termo. Haverá 2 exames de meio-termo (1º de março, 19 de abril, das 18h30 às 21h30). Por favor, marque seus calendários.

    Exame final. Haverá um exame final no final do semestre.

    Participação da classe. Isto será baseado principalmente na participação. Outros fatores incluem perguntar e responder perguntas em classe, em recitações e no fórum de discussão.

    Sua nota numérica será calculada de acordo com a tabela a seguir.

    Curso Componente Peso
    Trabalho de casa 30%
    Médio prazo 1 20%
    Médio prazo 2 20%
    Final 25%
    Participação 5%

    Em meados de…Semestre, serão anunciados os cortes de notas de carta.

    Se a sua nota de letra no final do semestre for inferior a C, então também calcularemos a sua nota usando a seguinte tabela e atribuiremos a nota mais alta. A nota máxima que você pode receber com o esquema de classificação alternativo é um C.

    Curso Componente Peso
    Trabalho de casa 30% (o mais baixo de 4 trabalhos de casa meio…ponderado)
    Medio Superior 30%
    Final 35%
    Participação 5%

    Sistema de trabalho doméstico

    Trabalho doméstico é, sem dúvida, o componente mais importante deste curso. Resolver os problemas é a única forma de ganhar domínio do material.

    Existem algumas regras gerais que se aplicam a todas as questões do trabalho de casa:

  • Não se pode partilhar o material escrito com ninguém.
  • Você não pode discutir soluções para os problemas no Piazza ou em qualquer outro fórum de discussão. (Você está convidado a fazer perguntas na Piazza que não revelem nenhuma idéia de solução).
  • Você não pode solicitar respostas às perguntas do dever de casa, ou seja, você não pode pedir a ninguém que lhe forneça a solução para um problema, antes da sessão de redação do dever de casa.
  • Pesquisar conceitos gerais na internet é permitido. É proibido pesquisar no Google palavras-chave específicas que aparecem em uma das perguntas da lição de casa.
  • Você deve sempre citar suas fontes incluindo as pessoas com quem você trabalhou.
  • Para as partes colaborativas do dever de casa, você deve pensar em um problema por 15 minutos antes de começar a discuti-lo com outra pessoa.
  • Se você trabalha em um quadro branco/preto visível publicamente, você deve apagar todo o conteúdo quando terminar.
  • Se você tiver alguma dúvida se algo está dentro das regras ou não, não hesite em contatar a equipe do curso.

    Tipos de perguntas: Haverá 4 tipos de perguntas no trabalho de casa e cada pergunta será claramente identificada com o seu tipo.

    SOLO – Você deve trabalhar estas perguntas por si mesmo. Além das regras mencionadas acima, você não está autorizado a discutir estas questões com ninguém, exceto com a equipe do curso.

    GROUPO – Estas questões devem ser resolvidas em grupos de 3 ou 4. Não é permitido trabalhar nestas questões apenas por si mesmo. Você deve indicar claramente os membros do seu grupo. Você pode mudar o seu grupo de semana para semana, mas você pode ter no máximo um grupo por semana. Além dos membros do seu grupo, você pode discutir estas questões com a equipe do curso.

    COLLABORAÇÃO OPEN – Você pode discutir estas questões com quem você quiser da classe. Além das regras gerais mencionadas acima, não há regras adicionais para este tipo de pergunta.

    PROGRAMAÇÃO – Nem todas as tarefas de casa conterão uma pergunta de programação, mas algumas talvez contenham. As regras SOLO se aplicam a este tipo de questões. Você deve submeter seus programas para o Autolab até as 18:30h do dia em que o dever de casa é devido.

    Sessões de Redação de Deveres Domésticos: Você não entregará soluções escritas para todas as questões do dever de casa. Toda quarta-feira, das 18:30 às 19:50 no DH 2210, teremos uma sessão de redação dos deveres de casa. Nesta sessão escolheremos aleatoriamente um subconjunto das questões da lição de casa, e você será solicitado a escrever as soluções para esses problemas individualmente durante esta configuração proctored. Esperamos que você já tenha praticado a escrita da solução para cada questão na lição de casa antes da noite de quarta-feira. Portanto, estas sessões de trabalho de casa devem ser relativamente simples e sem stress.

    A qualidade da sua escrita e apresentação é muito importante, por isso deve certificar-se que as suas soluções são explicadas de forma muito clara. Se você não tem certeza de algo, ou acha que há uma lacuna em sua argumentação, indique claramente estas na sua redação (você ganhará mais pontos fazendo isso ao invés de escrever uma argumentação errada!!). Não tente vender uma prova errada ou incompleta! Se você deixar uma pergunta completamente em branco, você ganhará 20% do crédito por essa pergunta.

    É muito importante que você aprenda com seus erros e os corrija. Por esta razão, depois de receber de volta o seu trabalho de casa avaliado, você será autorizado a reapresentar soluções que você se enganou (prazo a ser anunciado). Se você entregar uma solução completamente correta e bem escrita, você receberá de volta 25% do crédito perdido por essa questão.

    Cheating

    Entendemos que a maioria de vocês nunca consideraria trapacear de qualquer forma. Há, no entanto, uma pequena minoria de estudantes para os quais este não é o caso. No passado, quando pegamos alunos trapaceando eles insistiram muitas vezes que eles não entendiam as regras e penalidades. Como parte do primeiro dever de casa, você será obrigado a reconhecer que leu e entendeu as políticas de trapaça. Por favor, leia a Carnegie Mellon University Policy on Academic Integrity (Política de Integridade Acadêmica da Universidade Carnegie Mellon). A seguir estão alguns exemplos claros de trapaça:

  • Cópia de outro aluno durante uma sessão de redação de exame ou dever de casa.
  • Discussão de um problema SOLO antes da sessão de redação do dever de casa com alguém que não faz parte da equipe do curso.
  • Entrar no Google palavras-chave específicas que aparecem em uma das perguntas do dever de casa.
  • Mostrar um rascunho de uma solução escrita para outro aluno.
  • Receber ajuda de alguém que você não reconhece na sua solução.
  • Recebendo informações relacionadas ao exame de um aluno que já fez o exame.
  • Tentando invadir qualquer parte da infra-estrutura 15-251.
  • Localizando o trabalho de outra pessoa no AFS, mesmo que as permissões do arquivo permitam.
  • Mentir à equipe do curso.
  • Consequências: A penalidade por trapacear pode variar desde uma dedução de 10% na média geral do seu curso (ou seja, uma queda na nota da letra) até a reprovação direta no curso. Além disso, na maioria dos casos, é enviada uma carta ao Reitor de Assuntos Estudantis e outras consequências são determinadas por eles.

    Política de Prolongamento de Tempo e Realização

    Estamos felizes em acomodar alunos que requerem tempo prolongado aprovado pelo escritório de Larry Powell. Entre em contato com um dos instrutores se você estiver nessa situação.

    Não serão realizados testes de maquiagem, exames ou sessões de redação de dever de casa, exceto no caso de emergências médicas ou familiares documentadas, ou outras ausências aprovadas pela universidade. O frio comum ou a falha do seu computador, infelizmente, não qualificam como uma ausência desculpada.

    Bem-estar e Felicidade

    Preocupamo-nos muito com o seu bem-estar e felicidade!! Esteja ciente de que todos os funcionários do curso estão sempre disponíveis para aconselhar ou conversar, e você deve freqüentar o horário de expediente quantas vezes quiser para conversas acadêmicas e não acadêmicas.

    No entanto, saiba também que a universidade fornece serviços que você pode querer aproveitar em algum momento durante o semestre. Se você tiver dúvidas sobre eles, se deparar com um problema ou quiser mais informações, sinta-se à vontade para contactar os instrutores.

    Para uma lista completa dos serviços de saúde da CMU, clique aqui.

    CMU Police Department

    Não hesite em chamar a polícia da CMU quando em uma emergência ou se você estiver interessado em tirar proveito dos seus serviços.

  • Website: http://www.cmu.edu/police/welcome.html
  • Número de telefone de emergência: 412-268-2323
  • Número de telefone não de emergência: 412-268-6232
  • Aconselhamento e Serviços Psicológicos (CAPS)

    CAPS tem uma equipe mais limitada durante o verão, mas ainda está disponível para você usar. Eles oferecem terapia, apoio em situações de crise, etc. e você deve procurar o CAPS para aconselhamento se você estiver lutando, não importa o quão pequenos você possa pensar que seus problemas são. Se CAPS não puder ajudá-lo apropriadamente, eles também fazem encaminhamentos e consultas básicas para ajudá-lo a encontrar o que você precisa.

  • Horas: De segunda a sexta-feira das 8:30h às 17:00h
  • Número de telefone: 412-268-2922
  • Local: 2º andar, Morewood Gardens, E-Tower
  • Serviços de Saúde da Universidade

    Serviços de Saúde podem ajudá-lo da mesma forma que um médico o faz, mas também oferecem serviços abrangentes de gestão de cuidados e promoção de saúde.

  • Horas: M, Tu, W: 8:30am-7:00pm, Th: 10:00am-7:00pm, F: 8:30am-5:00pm, Sat: 11:00am-3:00pm
    Nota: Quando o UHS estiver fechado, ligue 1(844)881-7176.
  • Para marcar uma consulta no HealthConnect, clique aqui.
  • Gerente de cuidados compreensivos: Diane Dawson, 412-268-9171
  • 15-251 Ajuda de bem-estar

    Se você se encontrar em dificuldades de alguma forma ou simplesmente gostaria de discutir como você está se sentindo sobre 251 ou apenas conversar, procure uma das seguintes pessoas ou sua assistente para marcar uma reunião casual.

  • Anil Ada (Instrutor):
  • Bernhard Haeupler (Instrutor):
  • Anna Tan (Chefe CA):
  • Chris Liu (Cabeça CA):
  • Deixe uma resposta

    O seu endereço de email não será publicado.