Este Curso permitirá atualizar os seus conhecimentos em Computação Teórica de uma forma prática, 100% online, sem renunciar ao máximo rigor académico”

Este programa destina-se a todos aqueles interessados em atingir um nível mais elevado de conhecimentos em Computação Teórica. O principal objetivo é capacitar ao aluno para que aplique no mundo real, os conhecimentos adquiridos neste Curso num ambiente de trabalho que reproduza as condições que poderá encontrar no seu futuro, de forma rigorosa e realista.

Este Curso preparará o aluno para o exercício profissional da engenharia informática, graças a uma formação transversal e versátil adaptada às novas tecnologias e inovações neste domínio. Obterá conhecimentos aprofundados em matéria de Computação Teórica ao lado dos profissionais do setor.

O aluno poderá aproveitar a oportunidade e fazer este Curso num formato 100% online, sem ter de renunciar às suas obrigações

Aprenda as mais recentes técnicas e estratégias com este programa e tenha sucesso como engenheiro informático”

Este Curso de Computação Teórica conta com o conteúdo educacional mais completo e atualizado do mercado. As suas principais características são: 

• Desenvolvimento de 100 cenários simulados apresentados por especialistas em Computação Teórica
• Os seus conteúdos gráficos, esquemáticos e eminentemente práticos com os quais está concebido recolhem uma informação científica e prática sobre a Computação Teórica
• Novidades sobre os últimos desenvolvimentos em Computação Teórica
• Contém exercícios práticos que permitem realizar o processo de autoavaliação para melhorar a aprendizagem
• Sistema interativo de aprendizagem baseado no método do caso e a sua aplicação à prática real
• Tal será complementado por aulas teóricas, perguntas aos especialistas, fóruns de discussão sobre temas controversos e atividades de reflexão individual
• Disponibilidade de acesso aos conteúdos a partir de qualquer dispositivo fixo ou portátil com ligação à Internet

Forme-se em Computação Teórica com este programa intensivo, a partir do conforto da sua própria casa”

Inclui no seu corpo docente, profissionais do domínio da engenharia Informática, que trazem a experiência do seu trabalho para este programa, bem como especialistas reconhecidos pertencentes a empresas de renome e a universidades de prestígio.

Graças ao seu conteúdo multimédia desenvolvido com a mais recente tecnologia educacional, este Curso concederá ao profissional de saúde uma aprendizagem situada e contextual, ou seja, um ambiente de simulação que proporcionará uma aprendizagem imersiva, programada para se formar em situações reais.

O design deste programa baseia-se na Aprendizagem Baseada em Problemas, através da qual o professor deve tentar resolver as diferentes situações de prática profissional que surgem durante o Curso académico. Para tal, o profissional terá a ajuda de um inovador sistema de vídeos interativos, feitos por especialistas de renome em Computação Teórica com uma vasta experiência de ensino.

Aproveite a mais recente tecnologia educativa para atualizar-se em Computação Teórica sem sair de casa”

Conheça as mais recentes técnicas em Computação Teórica ao lado dos especialistas na matéria”

A estrutura dos conteúdos foi desenhada por uma equipa de profissionais de engenharia Informática, cientes da relevância da atualidade da formação para poder aprofundar nesta área de conhecimento, com o objetivo de enriquecer humanisticamente o estudante e elevar o seu nível de conhecimento em Computação Teórica através das últimas tecnologias educativas disponíveis.

Este Curso de Computação Teórica, conta com o conteúdo educativo mais completo e atualizado do mercado”

Módulo 1. Computação Teórica

1.1. Conceitos matemáticos utilizados

1.1.1. Introdução à lógica proposicional
1.1.2. Teoria de relações
1.1.3. Conjuntos numeráveis e não numeráveis

1.2. Línguas e gramáticas formais e introdução às máquinas Turing

1.2.1. Linguagens e gramáticas formais
1.2.2. Problema de decisão
1.2.3. A máquina de Turing

1.3. Extensões para as máquinas de Turing, máquinas de Turing restringidas e computadores

1.3.1. Técnicas de programação para as máquinas de Turing
1.3.2. Extensões para as máquinas de Turing
1.3.3. Máquinas de Turing restringidas
1.3.4. Máquinas de Turing e computadores

1.4. Indecidibilidade

1.4.1. Linguagem não recursivamente enumerável
1.4.2. Um problema indecidível, recursivamente enumerável

1.5. Outros problemas indecidíveis

1.5.1. Problema indecidíveis para as máquinas de Turing
1.5.2. Problemas de correspondência de Post (PCP)

1.6. Problemas intratáveis

1.6.1. As classes P e NP
1.6.2. Um problema NP completo
1.6.3. Problema da satisfação restrita
1.6.4. Outros problemas NP completos

1.7. Problemas co-NP e PS

1.7.1. Complementares das linguages de NP
1.7.2. Problemas resolúveis no espaço polinomial
1.7.3. Problema PS completos

1.8. Classes de linguagens baseadas na aleatorização

1.8.1. Modelo da MT com aleatoriedade
1.8.2. As classes RP e ZPP
1.8.3. Teste de primalidade
1.8.4. Complexidade do teste de primalidade

1.9. Outras classes e gramáticas

1.9.1. Autómatos finitos e probabilísticos
1.9.2. Autómatos celulares
1.9.3. Células de McCulloch e Pitts
1.9.4. Gramáticas de Lindenmayer

1.10. Sistemas avançados de computação

1.10.1. Computação com membranas: sistemas P
1.10.2. Computação com ADN
1.10.3. Computação quântica