2025.2-Ciência Computação

Supervisão do estágio supervisionado obrigatório 1 e 2  do curso de Computação - Licenciatura.

Supervisão das componentes de Práticas Pedagógicas 1 e 2 do curso de Licenciatura em Computação.

Disciplina direcionada à formação básica para alunos de ciências exatas e engenharias, obrigatória para alunos de ciência da computação, nos aspetos computacionais de processos dedutivos lógicos.  

Disciplina direcionada à qualificação de alunos de pósgraduação na área de lógica, semântica e teoria da computação

Essa disciplina visa apresentar conceitos fundamentais sobre software de sistemas, programação em Assembly, e em C. O entendimento de tais conceitos facilita compreender os componentes básicos de um sistema operacional e desenvolver software eficiente, do ponto de vista de acesso ao hardware, requisitos de memória e tempo de execução.

Essa disciplina visa estudar conceitos de linguagens de programação e implicações deles na construção de softwares. O entendimento desses conceitos facilita ao programador desenvolver softwares mais eficientes e com menos erros.

A disciplina visa introduzir o estudante na vida universitária pela compreensão do processo de formação docente na área de Computação, em especial, no contexto das licenciaturas, da regulação e da avaliação de cursos de graduação e dos campos profissionais de ação e de pesquisa docente.

Supervisão de atividades para produção de material didático para ensino de computação na educação básica.

-> Introdução à Linguagem Haskell
  --> Controle: guardas, recursão
  --> Modelo de dados: 
    * tipos primitivos de dados 
    * tipos estruturados de dados: tuplas, listas, tipos algébricos
  --> Casamento de Padrões, Polimorfismo, Funções de Alta Ordem

-> Aplicação parcial

-> Thunks, Avaliação Preguiçosa x Avaliação Gulosa

-> Functors, Applicative, Monads em Haskell

-> Idiomas de programação genérica (SYB, GADT, etc.) em Haskell

-> Memoização, Lift Variacional

-> Estruturas de dados variacionais

-> Introdução à análise estática

-> Implementação de diversos interpretadores em Haskell
   PCF+, memoizado, variacional, combinado.

-> Leitura e discussão de artigos científicos

Introdução; Paradigmas de linguagens de programação: funcional, imperativo, orientado a objetos; conceitos básicos de linguagens de programação: abstração, encapsulamento, herança, polimorfismo, escopo, passagem de argumentos, sistemas de tipos; programação  lógica.

Estudos sobre segurança Computacional

Modelo TCP/IP 

Estudos e práticas para implementação de práticas pedagógicas Mão-na-Massa dentro de escolas de educação básica do DF, com aprendizagem sobre robótica, cortadoras laser, impressoras 3d, produção audiovisual e programação multimídia.

Gerenciamento dinâmico da memória. Listas. Pilhas. Filas. Árvores. Ordenação e Pesquisa. Pesquisa em Árvores. Grafos. Análise e aplicação de estruturas avançadas em problemas de programação. Resolução de problemas. Aplicações em problemas ambientais.

Teoria dos Autômatos. Teoria da Computabilidade. Teoria da Complexidade.

O conhecimento científico. A epistemologia da Ciência da Computação. Problema de
pesquisa. Abordagens, métodos e técnicas científicas. Fonte, busca, seleção e uso da
informação em pesquisa científica. Estrutura, forma e normas de trabalhos acadêmicos.
Ferramentas de produção acadêmica. Ética na pesquisa. Publicação científica. Técnicas
de apresentação e comunicação científica. Elaboração de plano de pesquisa.