SIS
BCC
SEMINCO
LCI
DSC
Disciplinas Ofertadas pelo Departamento
O Departamento de Sistemas e Computação – DSC oferta disciplinas para vários cursos da Universidade. Contudo, os cursos de Ciência da Computação e de Sistemas de Informação são os que se originam deste departamento e, portanto, tem a maior parte das disciplinas ofertadas pelo DSC.
Administração - ADM
Ciência da Computação - BCC
| Disciplina: | |
| *Desenvolvimento para Web |  |
| *Disciplina Eletiva III-LINGUAGEM DE PROGRAMAÇÃO PARA ESP826 | |
| *Disciplina Eletiva V | |
| *Empreendedor em Informática | |
| *Optativa | |
| *Tópicos Especiais em Computação II | |
| Algoritmos e estrutura de dados | |
| Algoritmos e Estruturas de Dados | |
| Algoritmos e Estruturas de Dados | |
| Análise de Algoritmos | |
| Aprendizado de máquina | |
| Arquitetura de Computadores | |
| Arquitetura de Computadores I | |
| Arquitetura de Computadores I | |
| Arquitetura de Computadores II | |
| Arquitetura de Computadores II | |
| Banco de Dados | |
| Banco de dados avançado | |
| Banco de Dados I | |
| Banco de Dados I | |
| Banco de Dados II | |
| Banco de Dados II | |
| Compiladores | |
| Compiladores | |
| Compiladores | |
| Computação Gráfica | |
| Computação Gráfica | |
| Computação Gráfica | |
| Desafios de programação | |
| Desenvolvimento de Aplicações Concorrentes e Distribuídas | |
| Desenvolvimento de Jogos e Entretenimento Digital | |
| Desenvolvimento de Sistemas Seguros | |
| Desenvolvimento para Plataformas Móveis | |
| Desenvolvimento para Web | |
| Disciplina Eletiva I | |
| Disciplina Eletiva I (Redes de Comunicação LOW ENERGY) | |
| Disciplina Eletiva I (Testes de Software) | |
| Disciplina Eletiva II | |
| Disciplina Eletiva II (LINGUAGENS PROG IOT) | |
| Disciplina Eletiva III (REALIDADE VIRTUAL) | |
| Disciplina Eletiva IV | |
| Disciplina Eletiva IV (Realidade Virtual) | |
| Disciplina Eletiva V ESP32 IoT Framework | |
| Disciplina Eletiva VI | |
| Disciplina Eletiva VI (RASPBERRY PI ZERO) | |
| Disciplina Optativa I | |
| Disciplina Optativa I | |
| Disciplina Optativa II | |
| Disciplina Optativa III | |
| Disciplina Optativa IV | |
| Eletiva | |
| Eletiva I (Cidades Inteligentes) | |
| Eletiva II | |
| Eletiva III | |
| Eletiva IV | |
| Eletiva V (ARDUÍNO REDE LORAWAN) | |
| Empreendedor em Informática | |
| Engenharia de software | |
| Engenharia de Software | |
| Engenharia de Software | |
| Estudo Dirigido | |
| Estudo Dirigido | |
| Inovação Tecnológica | |
| Inovação Tecnológica | |
| Inteligência Artificial | |
| Inteligência Artificial | |
| Inteligência Artificial | |
| Introdução a Computação | |
| Introdução a Computação | |
| Introdução a Programação | |
| Introdução a Programação | |
| Linguagens de Programação | |
| Linguagens de Programação | |
| Linguagens Formais | |
| Linguagens Formais | |
| Lógica para Computação |  |
Currículo: 2010-II Fase: 2 Área Temática: Fundamentos da Computação Horas Teóricas: 4 - Horas Práticas: 0 - Créditos: 4 Ementa: - Histórico e evolução; - Lógica proposicional; - Lógica de predicados; - Formalização de programas e sistemas de computação simples. Conteúdos: 1. Histórico e evolução; 1.1. Lógicas clássicas; 1.2. Lógicas não-clássicas; 1.3. Lógica em computação; 2. Lógica proposicional; 2.1. Linguagem: sintaxe e semântica; 2.2. Formalização de problemas; 2.3. Sistemas de prova; 2.4. Prova com tabelas-verdade; 2.4.1. Prova com refutação; 2.4.2. Prova com dedução natural; 2.4.3. Prova com resolução; 3. Lógica de predicados; 3.1. Linguagem: sintaxe e semântica; 3.2. Formalização de problemas; 3.3. Sistemas de prova; 3.3.1. Prova com dedução natural; 3.3.2. Prova com resolução; 4. Formalização de programas e sistemas de computação simples; 4.1. Linguagem Prolog. Objetivos: Aplicar os fundamentos da lógica na resolução de problemas, avaliando e provando fórmulas e demonstrando a formalização de programas. |
|
| Lógica para computação | |
| Lógica para Computação | |
| Modelagem Orientada a Objetos | |
| Optativa - (IOT - Internet das coisas) | |
| Optativa - (Padrão de projetos) | |
| Optativa - (Prática em redes de computadores) | |
| Optativa - (Redes) | |
| Optativa - (Robótica) | |
| Optativa - (Robótica) | |
| Optativa - (Testes de software) | |
| Optativa I - ESP32 ANNEX BASIC | |
| Práticas em redes de computadores | |
| Processamento de Imagens | |
| Processamento de Imagens | |
| Processamento de linguagem natural | |
| Processo de Software I | |
| Processo de Software II | |
| Processo de Software II | |
| Programação I | |
| Programação II | |
| Programação III | |
| Programação orientada a objetos | |
| Programação Orientada a Objetos I | |
| Programação Orientada a Objetos II | |
| Programação Web I | |
| Programação Web II | |
| Projeto de Software | |
| Projeto de Software I | |
| Projeto de Software II | |
| Protocolos de Comunicação de Dados | |
| Realidade Virtual | |
| Recomendação de aproveitamento | |
| Redes de Computadores | |
| Redes de Computadores | |
| Redes de Computadores | |
| Redes de Computadores EAD | |
| Segurança da Informação | |
| Sistemas distribuídos | |
| Sistemas Distribuídos | |
| Sistemas Distribuídos | |
| Sistemas Embarcados I | |
| Sistemas Multimídia | |
| Sistemas Operacionais | |
| Sistemas Operacionais | |
| Sistemas Operacionais | |
| Teoria da Computação | |
| Teoria da Computação | |
| Teoria da Computação | |
| Teoria dos Grafos | |
| Teoria dos Grafos | |
| Teoria dos Grafos | |
| Tópicos Especiais em Computação I | |
| Tópicos Especiais em Computação II | |
| Trabalho de Conclusão de Curso I | |
| Trabalho de Conclusão de Curso I | |
| Trabalho de conclusão de curso I | |
| Trabalho de Conclusão de Curso II | |
| Trabalho de Conclusão de Curso II | |
| Trabalho de conclusão de curso II | |