Na Esteira do Tempo CEM é Igual a DEZ.

   
Com grata satisfação completo CEM eventos propostos, coordenados e ministrados nos DEZ anos de existência da TECNOLÓGICA (2005 a 2015).

Dentre Cursos, Palestras, Seminários e Colóquios, conduzi os seguintes Eventos; quais sejam:

(001) A Lógica da Necessidade (2012)

(002) Álgebra da Lógica Aplicada na Avaliação de Raciocínios Dedutivos (2013)

(003) Álgebra Enunciativa de Primeira Ordem no Cálculo Proposicional (2009)

(004) Álgebra Proposicional e Implicações Lógicas (2010)

(005) Álgebras Computáveis e Recursivamente Computáveis (2010)

(006) Análise de Argumentos Dedutivos em Lógica Matemática (2013)

(007) Análise Inferencial Dedutiva em Lógica Matemática (2015)

(008) Análise Lógica da Teoria dos Conjuntos Através do Cálculo Proposicional e dos Predicados (2009)

(009) Análise Lógica de Modelos Diferenciais e Integrais nas Engenharias (2014)

(010) Análise Lógica de Predicados em Lógica Matemática (2010)

(011) Análise Lógica Sentencial e Predicativa Aplicada na Demonstração Dedutiva (2015)

(012) Argumentos Dedutivos e Teoria da Demonstração de Primeira Ordem (2009)

(013) Aritmética de Peano e os Fundamentos da Aritmética (2009)

(014) Aritmética de Primeira Ordem e Linguagem (2009)

(015) Axiomatização da Lógica Matemática de Primeira Ordem (2013)

(016) Axiomatização da Lógica Proposicional de Primeira Ordem (2009)

(017) Axiomatização do Corpo Ordenado Completo dos Números Reais (2009)

(018) Benefícios Fiscais Subjugados pelo Academismo (2013)

(019) Cálculo das Funções Predicativas em Lógica Matemática (2010)

(020) Cálculo das Funções Predicativas Quantificadas em Lógica Matemática (2010)

(021) Cálculo Inferencial Dedutivo em Lógica Matemática Proposicional (2012)

(022) Cálculo Inferencial Proposicional em Lógica Matemática (2012)

(023) Cálculo Lógico e Análise Lógica de Funções Enunciativas ( 2013)

(024) Cálculo Lógico Inferencial (2014)

(025) Cálculo Proposicional em Lógica Matemática Inferencial Dedutiva (2014)

(026) Cálculo Sentencial Dedutivo em Lógica Matemática (2011)

(027) Cálculo Sentencial Dedutivo em Lógica Matemática Inferencial (2014)

(028) Cálculo Sentencial e Predicativo em Lógica Matemática (2009)

(029) Completude da Lógica Proposicional Clássica (2009)

(030) Completude e Corretude de Sistemas Algébricos (2010)

(031) Consistência em matemática e a Incompletude (2009)

(032) Contínua e Constante Escravidão Humana (2013)

(033) Demonstração Segundo o Princípio da Indução Finita ou Indução Matemática (2009)

(034) Demonstrações Recursivas em Análise Inferencial (2009)

(035) Engenharia Inferencial (2012)

(036) Engenharia Lógica, Cálculo Lógico Inferencial e Engenharia Matemática (2014)

(037) Engenharia Matemática Rumo à Inovação (2013)

(038) Engenharias em Inovação Científica e Tecnológica (2014)

(039) Estruturas Algébricas em Sistemas Lógicos Bivalentes e Dicotômicos (2011)

(040) Ética Maquiavélica Frente à Consciência Política Despótica (2013)

(041) Exigências holísticas entre tecnologia e ciência (2015)

(042) Filosofia da Ciência Dedutiva no Contexto Histórico e Epistemológico (2011)

(043) Filosofia da Ciência no Contexto Histórico e Epistemológico (2011)

(044) Filosofia Extemporânea Promove Antagonismo Sobre Fundamentos Estritos (2013)

(045) Funções Computáveis e Funções Recursivas (2010)

(046) Funções Recursivas Parciais (2010)

(047) I COENTELOG: Colóquio Entelechia Logicae (2013)

(048) I SCADIENG: Seminário de Cálculo Diferencial e Integral em Engenharia (2010)

(049) I SECAFUNP: Seminário de Cálculo das Funções Predicativas em Lógica Matemática: Instâncias Sentenciais e Funções Quantificadas (2010)

(050) I SELOGMAS: Seminário de Lógica Matemática Sentencial: Completude dos Fundamentos Necessários e Suficientes da Matemática (2010)

(051) I SEQUANTEI: Seminário de Quantificação Aplicada em Engenharia e na Indústria: Relação Corporativa entre Tecnologia e Ciência (2015)

(052) I SETECIEI: Seminário de Tecnologias e Ciências para Engenharia e Indústria (2015)

(053) I SIDELOFIC: Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência (2014)

(054) II COENTELOG: Colóquio Entelechia Logicae: Inovação em Engenharia Lógica (2014)

(055) II SCADIENG: Seminário de Cálculo Diferencial e Integral em Engenharia (2011)

(056) II SECAFUNP: Seminário de Cálculo das Funções Predicativas em Lógica Matemática: Lógica Formal e Filosofia Analítica como Fator de Inovação (2011)

(057) II SELOGMAS: Seminário de Lógica Matemática Sentencial: Inovação Tecnológica Centrada na Lógica Clássica (2011)

(058) II SIDELOFIC: Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência: Possibilidades Tecnológicas e Segurança Científica (2015)

(059) III COENTELOG: Colóquio Entelechia Logicae: Lógicas Mentais Recursivas (2014)

(060) INTELIGÊNCIA LÓGICA NAS CIÊNCIAS EXATAS (2012)

(061) IV COENTELOG: Colóquio Entelechia Logicae: Engenharia Lógica Aplicada na Indústria (2015)

(062) Lógica Como Possibilidade Tecnologia para as Ciências (2015)

(063) Lógica da Inovação nas Relações de Aproximação entre Indústria e Ciência (2013)

(064) Lógica Diferencial e Integral de Modelos Hiperbólicos (2015)

(065) Lógica dos Enunciados Categóricos (2005)

(066) Lógica e Gerenciamento Industrial (2015)

(067) Lógica Formal Aplicada na Análise Dedutiva de Inferências (2014)

(068) Lógica Matemática Aplicada à Teoria da Argumentação Dedutiva (2011)

(069) Lógica Matemática Aplicada em Modelos Inferenciais (2015)

(070) Lógica Matemática Aplicada na Avaliação de Raciocínios Dedutivos (2014)

(071) Lógica Matemática Dedutiva Aplicada (2013)

(072) Lógica Matemática Inferencial Dedutiva (2013)

(073) Lógica Matemática Inferencial Proposicional de Primeira Ordem (2014)

(074) Lógica matemática Predicativa e Quantificacional de Primeira Ordem (2011)

(075) Lógica Matemática Proposicional de Primeira Ordem (2011)

(076) Lógica Matemática Proposicional e Predicativa. (2013)

(077) Lógica Matemática Sentencial Inferencial (2012)

(078) Lógica Sentencial e Predicativa Aplicada ao Cálculo Diferencial e Integral (2010)

(079) Modelagem Diferencial e Integral nas Engenharias (2010)

(080) Modelagem Inferencial Proposicional em Lógica Matemática (2007)

(081) Modelagem Lógica Sentencial e Inferencial (2015)

(082) Morte Como Razão Suficiente (2013)

(083) Na “Montanha do Rei” é Registrada Transição entre os Medievais e o Renascimento (2013)

(084) Nanomáquinas Promovem Nova Revolução Industrial (2013)

(085) Os Caminhos da Inovação em Engenharia Matemática (2012)

(086) Paradigmas da Necessidade “Assaltam” Possibilidades (2013)

(087) Paradoxos Matemáticos e Paradoxos Lógicos (2009)

(088) Paradoxos Supõem Antinomias Maquiavélicas (2013)

(089) PDI Uma Questão Nacional (2014)

(090) Potência Lógica e Eficiência das Nanomáquinas (2013)

(091) Razão Suficiente de Maquiavel (2013)

(092) Simbiose e Exigências Relacionais entre Academia e Indústria (2015)

(093) Sistemas Algébricos em Lógica Matemática (2010)

(094) Teorema da Dedução e Provas como Procedimento Computável (2009)

(095) Teoremas da Incompletude Matemática (2010)

(096) Teoremas de Gödel e a Lógica de Primeira Ordem (2009)

(097) Teoria Axiomática dos Conjuntos de Acordo com a Lógica Matemática (2009)

(098) Teoria da Argumentação e Análise Inferencial em Lógica Matemática de Primeira Ordem (2008)

(099) Teoria da Demonstração em Lógica Matemática de Primeira Ordem (2008)

(100) Uma lógica analítica para a simbiose e exigências relacionais entre academia e indústria (2015)

Carlos Magno Corrêa Dias
05/11/2015