Nesta disciplina, foi realizado um projeto com clientes reais. Visando obter experiência, foi reunida uma equipe de estudantes que, juntos, aprendem e desenvolvem de forma independente.

Introduz técnicas matemáticas e lógicas para especificação, modelagem e verificação de sistemas computacionais. Abrange lógica proposicional e de predicados, teoria dos autômatos, linguagens formais, provas de correção e verificação formal de software e hardware, visando maior confiabilidade e rigor no desenvolvimento.

Estuda modelos de negócios baseados em tecnologias digitais e inovação. Analisa plataformas digitais, e-commerce, transformação digital, estratégias orientadas a dados, experiência do usuário e monetização em ambientes digitais, considerando aspectos tecnológicos, estratégicos e competitivos.

Apresenta os fundamentos do marketing estratégico e operacional, incluindo análise de mercado, comportamento do consumidor, segmentação, posicionamento e composto de marketing (produto, preço, praça e promoção). Discute ainda estratégias digitais, métricas de desempenho e criação de valor para o cliente.

Explora os componentes físicos e lógicos que sustentam os sistemas de informação nas organizações. Trata de redes de computadores, servidores, armazenamento, virtualização, computação em nuvem, segurança da informação e práticas de gestão e monitoramento de ambientes tecnológicos.

Estudo de métodos e técnicas para análise de viabilidade econômica e tomada de decisão em projetos de investimento. Engloba conceitos como valor do dinheiro no tempo, fluxo de caixa, taxas de juros, indicadores financeiros e análise de risco, aplicados ao contexto organizacional e tecnológico.

Disciplina voltada à reflexão crítica sobre princípios éticos, responsabilidade social e exercício da cidadania. Aborda fundamentos da ética profissional, direitos e deveres individuais e coletivos, diversidade, sustentabilidade e o papel do indivíduo na construção de uma sociedade justa e democrática.