Este programa lhe possibilitará atualizar seus conhecimentos em Lógica Computacional de forma prática, 100% online, sem abrir mão do máximo rigor acadêmico"

Este programa destina-se aos profissionais interessados em alcançar um nível mais elevado de conhecimento em Lógica Computacional. O principal objetivo consiste em capacitar o aluno para aplicar os conhecimentos adquiridos em situações reais, reproduzindo as condições que poderá enfrentar futuramente, de forma rigorosa e realista.

Esta capacitação preparará o aluno para a prática profissional na engenharia da computação, graças a um programa transversal e versátil, adaptado às novas tecnologias e inovações do setor. Obtendo um vasto conhecimento em Lógica Computacional, com o acompanhamento de profissionais da área.

O aluno terá a oportunidade para realizar essa capacitação em um formato 100% online, sem ter que abrir mão de suas obrigações.  

Conheça as mais recentes técnicas e estratégias através deste programa e alcance o sucesso como engenheiro da computação"

Este Curso de Lógica Computacional conta com o conteúdo mais completo e atualizado do mercado. Suas principais características são:

• Desenvolvimento de 100 cenários simulados apresentados por especialistas em Lógica Computacional
• Seu conteúdo gráfico, esquemático e extremamente prático fornece informações científicas e práticas sobre a Lógica Computacional
• Novidades sobre os últimos avanços em Lógica Computacional
• Contém exercícios práticos, onde o processo de autoavaliação é realizado para melhorar a aprendizagem
• Sistema interativo de aprendizagem baseado no método de caso e sua aplicação à prática real
• Isto será complementado por aulas teóricas, perguntas ao especialista, fóruns para a discussão de temas controversos e trabalho de reflexão individual
• Acesso a todo o conteúdo desde qualquer dispositivo fixo ou portátil com conexão à internet

Capacite-se em Lógica Computacional com este programa intensivo, sem sair do conforto da sua casa"

A equipe de professores deste programa inclui profissionais da área de engenharia da computação, cuja experiência profissional é somada nesta capacitação, além
de reconhecidos especialistas de conceituadas instituições e universidades de prestígio.

Graças ao seu conteúdo multimídia desenvolvido com a mais recente tecnologia educacional, este programa de estudos traz para o profissional uma aprendizagem situada e contextual, ou seja, em uma simulação de ambiente que proporcionará uma aprendizagem imersiva programada para capacitar através de situações reais.

A proposta deste plano de estudos se fundamenta na Aprendizagem Baseada em Problemas, onde o profissional deverá resolver as diferentes situações da prática profissional que surjam ao longo do programa acadêmico.
Para isso, o profissional contará com a ajuda de um inovador sistema de vídeo interativo desenvolvido por destacados especialistas em Lógica Computacional.

Aproveite a mais recente tecnologia educacional para atualizar-se em Lógica Computacional sem sair de casa"

Conheça os últimos avanços em Lógica Computacional com o suporte de especialistas da área"

O conteúdo deste programa foi elaborado por uma equipe de profissionais de engenharia da computação, conscientes da relevância da capacitação atual para aprofundar-se nessa área de conhecimento com o objetivo de enriquecer humanisticamente o aluno, elevando o nível de conhecimento em Lógica Computacional através das mais recentes tecnologias educacionais disponíveis.

Este Curso de Lógica Computacional conta com o conteúdo mais completo e atualizado do mercado”

Módulo 1. Lógica Computacional

1.1. Justificativa da lógica

1.1.1. Objetivos de estudo da lógica
1.1.2. Para que serve a lógica?
1.1.3. Componentes e tipos de raciocínio
1.1.4. Componentes de um cálculo lógico
1.1.5. Semântica
1.1.6. Justificativa para a existência de uma lógica
1.1.7. Como verificar se uma lógica é adequada?

1.2. Cálculo de dedução natural de declarações

1.2.1. Linguagem formal
1.2.2. Mecanismo dedutivo

1.3. Estratégias de formalização e dedução para a lógica proposicional

1.3.1. Estratégias de formalização
1.3.2. Raciocínio natural
1.3.3. Leis e regras
1.3.4. Dedução axiomática e dedução natural
1.3.5. O cálculo da dedução natural
1.3.6. Regras primitivas de cálculo proposicional

1.4. Semântica da lógica proposicional

1.4.1. Tabelas de verdade
1.4.2. Equivalência
1.4.3. Tautologias e contradições
1.4.4. Validação de sentenças proposicionais
1.4.5. Validação mediante tabelas de verdade
1.4.6. Validação mediante árvores semânticas
1.4.7. Validação mediante refutação

1.5. Aplicações da lógica proposicional: circuitos lógicos

1.5.1. As portas básicas
1.5.2. Circuitos
1.5.3. Modelos matemáticos dos circuitos
1.5.4. Minimização
1.5.5. A segunda forma canônica e a forma mínima em produto de somas
1.5.6. Outras portas

1.6. Cálculo de dedução natural de predicados

1.6.1. Linguagem formal
1.6.2. Mecanismo dedutivo

1.7. Estratégias de formalização para a lógica de predicados

1.7.1. Introdução à formalização em lógica de predicados
1.7.2. Estratégias de formalização com quantificadores

1.8. Estratégias de dedução para a lógica de predicados

1.8.1. Razão de uma omissão
1.8.2. Apresentação das novas regras
1.8.3. A lógica da predicados como um cálculo de dedução natural

1.9. Aplicações da lógica de predicados: introdução à programação lógica

1.9.1. Apresentação informal
1.9.2. Elementos do Prolog
1.9.3. Re-avaliação e corte

1.10. Teoria de conjuntos, lógica de predicados e sua semântica

1.10.1. Teoria intuitiva de conjuntos
1.10.2. Introdução à semântica de predicados

Uma experiência de capacitação única, fundamental e decisiva para impulsionar seu crescimento profissional"