2025.1-Ciência Computação

O enfoque nesse curso será no contexto de Engenharia de Requisitos. A Engenharia de Requisitos é a área da Engenharia de Software responsável por identificar, documentar, analisar, validar e gerenciar os requisitos de um sistema, garantindo que ele atenda às necessidades dos stakeholders. Suas principais fases incluem a elicitação (coleta de necessidades), análise e modelagem (refinamento e resolução de conflitos), especificação (documentação formal), validação (verificação da correção e viabilidade) e gerenciamento (controle de mudanças). Os requisitos podem ser funcionais (definem o que o sistema faz), não funcionais (descrevem qualidades como desempenho e segurança) ou de domínio (relacionados ao contexto da aplicação). Os desafios da área incluem comunicação ineficaz, mudanças frequentes e ambiguidade na especificação. Uma Engenharia de Requisitos adequada reduz falhas, minimiza custos e melhora a satisfação do usuário ao garantir um sistema alinhado às expectativas dos stakeholders.

Os fundamentos científicos para a engenharia de software envolvem o uso de modelos abstratos e precisos que permitem ao engenheiro especificar, projetar, implementar e manter sistemas de software, avaliando e garantido suas qualidades. Além disto, a engenharia de software deve oferecer mecanismos para se planejar e gerenciar o processo de desenvolvimento. Esta disciplina foi subdividida em módulos para cobrir diversos aspectos relacionados à área de Engenharia de Software (ES), conforme bibliografia recomendada. O conteúdo abordado inclui desde uma visão geral de ES, requisitos, projeto, verificação e validação, gerenciamento, chegando até a aspectos de evolução da área com foco na metodologia Ágil e no contexto de software como serviço (SaaS). 

Visão geral comparativa dos paradigmas de programação funcional,  imperativo, e orientado a objetos. Paradigma de programação funcional;  tipos básicos e estruturados, manipulação de listas, funções de alta ordem, polimorfismo, tipos algébricos. Paradigma imperativo. Paradigma de programação orientada a objetos, encapsulamento, information-hiding, herança, ligação dinâmica.

Visão geral comparativa dos paradigmas de programação funcional,  imperativo, e orientado a objetos. Paradigma de programação funcional;  tipos básicos e estruturados, manipulação de listas, funções de alta ordem, polimorfismo, tipos algébricos. Paradigma imperativo. Paradigma de programação orientada a objetos, encapsulamento, information-hiding, herança, ligação dinâmica.

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.

Disciplina que aborda o protocolo TCP/IP 

Disciplina que aborda tópicos de segurança computacional 

A disciplina “Algoritmos e Programação de Computadores” busca propiciar aos alunos conhecimentos sólidos em desenvolvimento de algoritmos e elaboração de programas no computador. O aprendizado deste conhecimento envolve saber como o funcionamento de um computador digital é controlado por programas e os formalismos que permitem criar estes programas.

Disciplina obrigatória para o curso de Computação (licenciatura).

CIC 0135 Introdução A Inteligência Artificial, turma 02, é uma disciplina obrigatoria do Departamento de Ciência de Computação da Universidade de Brasília. A disciplina esta cento realizada nas  seg e qua., 14:00 – 15:50, 2025.1.

PPGI2221 Inteligência Artificial 1, turma A é uma disciplina optativa no PPGI do Departamento de Ciência de Computação da Universidade de Brasília. A disciplina esta cento realizada na sala 3 de Modulo 14 de ICC da UnB, seg e qua., 08:00 – 09:50, 2022.1.

A disciplina introduz conceitos básicos relacionados ao desenvolvimento de sistemas embarcados.

Introdução aos sistemas embarcados:  características, processo de desenvolvimento, notações formais, exemplos.

Microprocessadores: conjuntos de instruções, programação assembly, entrada e saída, arquitetura de memória, desempenho e consumo de enegia.

Plataformas de sistemas embarcados: barramentos, memórias, dispositivos para temporização e entrada e saída, interfaceamento entre componentes, desenvolvimento e depuração de aplicações.

Sistemas operacionais embarcados.

Linguagens regulares, livres de contexto, sensíveis ao contexto, recursivas, recursivamente enumeráveis e não recursivamente enumeráveis: reconhecedores e geradores. Computabilidade: máquinas de Turing e funções recursivas. Decidibilidade, redutibilidade. Complexidade: NP-completude, espaço-completude.