MATEMÁTICA

Disciplina: Lógica Matemática

Este espaço está destinado muito que óbvio a disponibilização de VÍDEOS acrescentando mais dinamismo ao Ensino das Disciplinas. São vídeos de Autores diversos desde os elaborados pela ensinoeinformacao.com ou vídeos postados na internet. Estes provenientes da Internet terão seu conteúdo avaliado (na forma e no conteúdo) pela ensinoeinformacao.com condição “sine qua non” para que os mesmos possam ser publicados, por meio de “Links”, sempre respeitando o direito de autoria – citação da fonte bem como divulgação do nome do Autor.

Vídeo Aulas

(Ensino&Informação)

Leis de Augustus De Morgan - no Contexto da Teoria dos Conjuntos (Aula 01)

(Ensino&Informação)

Leis de Augustus De Morgan - no Contexto da Lógica Matemática (Aula 02)

ensinoeinformacao - Leis de Augustus De Morgan - no Contexto da Teoria dos Conjuntos (Aula 01)

 

Publicado em 14 de jul de 2017

Leis de Augustus De Morgan

Aula 01: Contexto 01 - na Teoria dos Conjuntos
Complementar de (A ∪  B) = Complem. de A ∩  Complem. de B

A Teoria dos Conjuntos é comumente empregada como um sistema precursor da matemática, particularmente na forma de teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha. Além de seu papel fundamental, a teoria dos conjuntos é um ramo da matemática em si própria, com uma comunidade de pesquisa ativa. Pesquisas contemporâneas em teoria dos conjuntos incluem uma diversa coleção de temas, variando da estrutura do número real ao estudo da consistência de grandes cardinais.


A Lógica de Classes, que pode ser considerada um pequeno fragmento da Teoria dos Conjuntos com importância histórica é ISOMORFA à Lógica Proposicional clássica e à Álgebra Booleana, e como tal, os teoremas de uma das teorias possuem ANÁLOGOS nas outras duas.

Exemplos:
A ∩ B equivale a     a ^  b
A ∪  B equivale a    a v  b
A ⊂  B equivale a    a ⇒  b

________________________________
Aula 02: Contexto 02 - Lógica Matemática
~ (p v q) ⇔   ~p ^ ~q

Ao longo dos anos, a Matemática tem se aprimorado de forma a facilitar os cálculos e a compreensão dos colaboradores, os símbolos deixam-na cada vez mais dinâmica e aplicável no contexto do cotidiano. A lógica tem o papel de formalizar e deixar mais simples os cálculos, no intuito de universalizar os estudos e o próprio ensino da Matemática. Os símbolos foram surgindo e sendo introduzidos com a evolução da forma de pensar e raciocinar do homem, do surgimento de cálculos complexos, da aplicação nas diversas ciências em que a Matemática contribui, na fundamentalização de situações práticas. 

Augustus De Morgan (Madura, Índia, 27 de junho de 1806 — Londres, 18 de março de 1871) foi um matemático e lógico britânico. Formulou as Leis de De Morgan e foi o primeiro a introduzir o termo e tornar rigorosa a ideia da Indução Matemática. ... Sua maior contribuição para o conhecimento foi como reformador da Lógica.

Símbolos Lógicos Matemáticos 
~       negação 
^       e 
v       ou 
⇒       se, então 
⇔       se, e somente se, 
/        tal que 
∃       existe 
∃  !   existe um e somente um 
∀       qualquer que seja

 

Nossa Revista no Facebook é a Ensino&Informação (Facebook).

ensinoeinformacao - Leis de Augustus De Morgan - no Contexto da Lógica Matemática (Aula 02)

 

Publicado em 14 de jul de 2017

Leis de Augustus De Morgan

Aula 01: Contexto 01 - na Teoria dos Conjuntos
Complementar de (A ∪  B) = Complem. de A ∩  Complem. de B

A Teoria dos Conjuntos é comumente empregada como um sistema precursor da matemática, particularmente na forma de teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha. Além de seu papel fundamental, a teoria dos conjuntos é um ramo da matemática em si própria, com uma comunidade de pesquisa ativa. Pesquisas contemporâneas em teoria dos conjuntos incluem uma diversa coleção de temas, variando da estrutura do número real ao estudo da consistência de grandes cardinais.


A Lógica de Classes, que pode ser considerada um pequeno fragmento da Teoria dos Conjuntos com importância histórica é ISOMORFA à Lógica Proposicional clássica e à Álgebra Booleana, e como tal, os teoremas de uma das teorias possuem ANÁLOGOS nas outras duas.

Exemplos:
A ∩ B equivale a     a ^  b
A ∪  B equivale a    a v  b
A ⊂  B equivale a    a ⇒  b

________________________________
Aula 02: Contexto 02 - Lógica Matemática
~ (p v q) ⇔   ~p ^ ~q

Ao longo dos anos, a Matemática tem se aprimorado de forma a facilitar os cálculos e a compreensão dos colaboradores, os símbolos deixam-na cada vez mais dinâmica e aplicável no contexto do cotidiano. A lógica tem o papel de formalizar e deixar mais simples os cálculos, no intuito de universalizar os estudos e o próprio ensino da Matemática. Os símbolos foram surgindo e sendo introduzidos com a evolução da forma de pensar e raciocinar do homem, do surgimento de cálculos complexos, da aplicação nas diversas ciências em que a Matemática contribui, na fundamentalização de situações práticas. 

Augustus De Morgan (Madura, Índia, 27 de junho de 1806 — Londres, 18 de março de 1871) foi um matemático e lógico britânico. Formulou as Leis de De Morgan e foi o primeiro a introduzir o termo e tornar rigorosa a ideia da Indução Matemática. ... Sua maior contribuição para o conhecimento foi como reformador da Lógica.

Símbolos Lógicos Matemáticos 
~       negação 
^       e 
v       ou 
⇒       se, então 
⇔       se, e somente se, 
/        tal que 
∃       existe 
∃  !   existe um e somente um 
∀       qualquer que seja

 

Nossa Revista no Facebook é a Ensino&Informação (Facebook).

Em Breve outros Vídeos selecionados na WEB e, também Nossos Próprios Vídeos, Aguardem!

  A partir de 03 Maio de 2018

Você é o Visitante de Número

Deem um "Gostei" nos Nossos Vídeos (mesmo os Compartilhados de outros Canais que foram selecionados entre os Melhores para estarem na nossa Revista!

 

Se Increva em Nosso Canal

ensinoeinformacao - Regras de Inferência

 

Publicado em 09 de Mai de 2014

Canal Cefor - Instituto Federal do Espírito Santo

 

Curso: Licenciatura em Informática

Disciplina: Lógica Matemática

Professor: Fernanda Cristina Toso de Assis

 

Vídeo produzido pelo Centro de Educação a Distância (Cead) do Instituto Federal do Espírito Santo (Ifes).

 

Nossa Revista: Ensino&Informação (Facebook)

ensinoeinformacao - LÓGICA MATEMÁTICA - Exercício 02

 

Publicado em 01 de Fev de 2020

(Exercício 02) Mostre que (p⇒q) ⇔ (¬q⇒¬p).

 

Nossa Revista: Ensino&Informação (Facebook)

(48) 8410.6510 /  faleconosco@ensinoeinformacao.com  /  Florianópolis - SC - Brasil

  • w-facebook
  • Twitter Clean
  • w-googleplus

® 2003 - 2018 Todos os direitos Reservados, ensinoeinformacao.com

Temos Uma versão desta Revista Especificamente para SmartPhones: Versão mais Enxuta somente com Vídeo Aulas e Eventos