O que é Matemática Discreta? - EP 1

Vídeo Introdutório sobre Matemática Discreta explicando o que é a Matemática Discreta, sua importância para a ciência da computação e quais são suas principais áreas de estudo: Lógica Proposicional, Lógica dos Predicados, Teoria dos Conjuntos, Demonstração de Teoremas, Indução Matemática, Teoria dos Números, Teoria dos Grafos.
No final é proposto um desafio de lógica para os espectadores.

0:00 Introdução
0:50 Roteiro
1:03 O que é Matemática Discreta
1:54 Lógica Proposicional
4:44 Lógica dos Predicados
5:28 Teoria dos Conjuntos
6:23 Teoria da Computação
7:08 Problema da Parada
7:56 Alan Turing
9:06 Teoria dos Números
9:55 Demonstrações
11:12 Indução Matemática
13:16 Análise Combinatória
14:23 Princípio da casa dos Pombos
15:19 Recorrência e Recursão
16:20 Teoria dos Grafos
17:36 Teorema das 4 Cores
18:21 História da Matemática Discreta
20:22 Desafio de Lógica

[wesleynuness]

Vou começar a cursar engenharia da computação, passei no vestibular da Univesp. Irei maratonar todos os vídeos, para já ir me preparando ao conteúdo que terei de estudar na faculdade. Gostei muito da sua didática, parabéns pelo ótimo conteúdo.

[cerq]

tive minha primeira aula de mat discreta ontem cursando Sistema de informação, professor já começou dando indução adorei sua didática, com certeza continuarei acompanhando

[luiz]

Gastei desse professor desde o primeiro minuto, o cara tem o Dom

[ercolisferreiralopes]

Pela afirmação 3, sabemos que o jardineiro e o zelador estão dizendo a verdade.
Se o zelador está dizendo a verdade (conforme o item 3), então, pela afirmação 4, o cozinheiro mente.
sabemos que o cozinheiro está mentindo. Agora, vamos verificar as outras afirmações:

Pela afirmação 2, como o cozinheiro está mentindo, o jardineiro (que está dizendo a verdade, conforme a afirmação 3) também não pode estar mentindo, o que é consistente.

Pela afirmação 1, se o mordomo estivesse dizendo a verdade, o cozinheiro também estaria. Porém, já sabemos que o cozinheiro está mentindo, logo, o mordomo também deve estar mentindo.

Conclusao:

O modomo está mentindo.
O cozinheiro está mentindo.
O jardineiro e o zelador estão dizendo a verdade.

[dantttewww]

Valeu pela aula, professor! Iniciei recentemente a graduação em ciência da computação e vou ter minha primeira aula de matemática discreta hoje, espero conseguir passar por ela sem muitos problemas. Ótima aula!

Minha conclusão foi:
Mordomo e cozinheiro mentindo
Jardineiro e zelador falando a verdade

[karenhonoriobanci]

Estou começando a primeira aula de Math Discreta em um College da Califórnia, vou maratonar seus vídeos como material de suporte para me ajudar. Desde já estou adorando seu conteúdo! 😊

[ja.to.no.busao]

Eu esava procurando material sobre matemática discreta para estudar como hobby e caí nesse vídeo. Muito bom!

[whyaname]

A qualidade da aula e de edição estão perfeitas! Muito obrigado por esse voluntariado de criar aulas para gente, professor!!

[henryoliveira]

Começando a maratonar essa playlist antes do comeco das aulas da facul de engenharia de software, onde esse período terá a materia "Cálculo discreto", gostei da didática.

Sobre o desafio lógica proposto ao final do video
Concluí que o mordomo e o cozinheiro mentem, já que na primeira afirmativa diz que se um diz a verdade o outro também diz a verdade o que tambem implica com o fato de que se um mente o outro tambem mente. O cozinheiro e o jardineiro não podem ambos falar a verdade, então 1 mente, que no caso é o cozinheiro. Depois temos a afirmativa de que o jardineiro e o zelador não estão mentindo, ou seja, foi comprovado aí que nem o jardineiro e nem o zelador podem estar mentindo. E então por fim, vem a afirmativa de que se o zelador diz a verdade então o cozinheiro mente, se já foi comprovado que o zelador não está falando mentira, então quem mente é o cozinheiro.

[porcariasposttada]

A resposta do desafio, eu acredito que ele consiga sim, visto que

Mordomo == cozinheiro != jardineiro == zelador

[PB-joir]

já ganhou um inscrito, gostei muito do formato!!!

[muriilouwu]

ótima introdução, vou utilizar esse curso como estudo complementar à matéria!

[amonspencer]

começando analise e desenvolvimento de sistemas na fatec, estou apanhando feio para matematica discreta e codigos binarios, vou começas hj a aprender contigo

[elioliv]

Iniciando a maratona .Vou fazer licenciatura em Matemática.

[Lucaalgo]

Bom dia professor, eu tenho uma pergunta sobre o teorema das 4 cores da teoria dos grafos, esse teorema basicamente diz que não tem como conectar 5 objetos em um plano, porém quando nos falamos de 3 dimenções isso é possivel, considerando isso, qual seria o máximo de objetos possiveis de se conectar em 3 dimeções? existe algo como um "teorema das x cores" para 3 dimenções?

[lucasguimaraes]

Mestre, obrigado pelo conteúdo do canal !
Segue a minha resolução do desafio:
Cozinheiro e o mordomo estão mentindo;
Jardineiro e o zelador dizem a verdade.

[eutu]

iniciei agora o curso de Sisitemas de Informação, to com medo dessa materia kkkk

[KatrynJoy-fn]

Jardineiro e zelador estão dizendo a verdade

[naomirosa]

o mordomo e o cozinheiro estão mentindo

[dsordesmoreiraalves]

cozinheiro e mordomo mentem.
jardineiro e zelador falam a verdade.