Apresentação

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"

curso logica computacional

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"

diplomado logica computacional

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

Programa de estudos

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.

posgrado logica computacional

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

formacion logica computacional

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

Curso de Lógica Computacional

O trabalho dos engenheiros da computação é cada vez mais procurado no mundo profissional atual, sendo o conhecimento da lógica computacional um dos fatores mais determinantes no acesso ao extenso campo profissional que existe neste setor. Compreendendo a grande necessidade de atualização acadêmica que surge na busca pelo acesso a esse conhecimento, na TECH Universidade Tecnológica desenvolvemos nosso Curso de Lógica Computacional, voltado para a capacitação profissional sob as modernas tendências do setor. Este curso também tem uma ênfase especial na lógica proposicional, e na abordagem de aspectos relacionados, tais como: estratégias de formalização e dedução, a semântica correspondente a este campo e a aplicação de circuitos lógicos.

Estude uma pós-graduação na maior Escola de Informática

A lógica computacional requer um processo de aprendizado constante devido às contínuas implementações metodológicas e tecnológicas realizadas no setor. Nosso Curso surge como uma alternativa acadêmica de altíssima qualidade para o entendimento global da lógica computacional, proporcionando, através de um roteiro modular minuciosamente detalhado, a oportunidade de uma atualização teórica prática em aspectos como: estratégias de formalização para lógica de predicados, incluindo a implementação de quantificadores; aplicações modernas de lógica de predicados, examinando coisas como elementos de prólogo e reavaliação e divisão; e o papel e a possível incidência computacional da teoria intuitiva dos conjuntos.