Aula 5 - Predicados e Quantificadores (Parte V de Lógica) - Fundamentos Matemáticos para Computação

[@ProfessorDouglasMaioli]

Pessoal, quem assistiu essa aula, eu recomendo ver depois o desafio da semana 2 ( kzbin.info/www/bejne/gHXWh3trl96sb5Y ) para entender mais sobre as regras de inferência sobre quantificadores. E depois se quiserem ver mais exemplos, podem ver a resolução dos exercícios de apoio também da semana 2 ( kzbin.info/www/bejne/qarNppx3aNGHeqc ) Não se esqueçam também de pegar a versão completa da ficha-resumo de lógica, no final tem uma ajuda para o tema de regra de inferência de quantificadores. drive.google.com/file/d/1sOqit-NnHm16F85oj2isyO4ExQwndvSK/view?usp=drivesdk

[@dooh2]

Esta me ajudando mt na materia, que ficou confusa nesse semestre. Suas aulas quebra mol galho, professor. Parabéns e sucesso! (Turma de 22)

[@code_luke]

Estou estudando pelo livro: Fundamentos matemáticos para ciência da computação(Joudith L. Gersting). De vez em quando venho aqui nos seus vídeos para dar uma complementada, muito bom!👍

[@antoniodias7073]

Esse professor é um "Monstro Sagrado"! Parabéns pela aula e muito obrigado!!

[@ProfessorDouglasMaioli]

Valeu Antônio 👊🏻

[@diegodemorais4060]

Muito obrigado, você é o professor mais didático dessa matéria e domina ela muito bem, está me ensinando como nunca! Já odiei 2 professores de matemática discreta porque não sabiam me ajudar e você sem estar presente fez entrar em minha cabeça. OBRIGADO!!!

[@ProfessorDouglasMaioli]

Valeu Diego, que bom que as minhas aulas estão te ajudando. Obrigado pela sua mensagem 👍👍

[@sidneimarcal7407]

Mais uma vez, uma excelente aula. Sem palavras! Acabei de me tornar um padrinho com muito orgulho, Professor! Obrigado por este trabalho maravilhoso!

[@ProfessorDouglasMaioli]

Que bom Sidnei, muito obrigado 🙏👏👏👏

[@cilassantos1660]

Esse professor é fora da curva...Muito bom.

[@julianamedeiros4439]

Isso que é professor !!!

[@alessandro8101]

Bem didático..

[@ProfessorDouglasMaioli]

Valeu Alessandro 👍

[@profleiagomes]

muito obrigada pelas aulas,o vídeo disponibilizado pela univesp no portal do aluno não e didático,mas aqui clareou bem minha mente

[@GOVB13]

Muito obrigada pelas explicações, ficou mais fácil entender o conteúdo. Parabéns pela didática!

[@mariacoelho3290]

Muito difícil 🙆, mas vamos em frente. Ótima aula como sempre! Obrigada, professor!

[@ProfessorDouglasMaioli]

Obrigado Maria .... É difícil, mas a gente consegue 💪 Qualquer coisa só chamar.

[@FelipeOliveira-fh2ip]

Excelente aula. Parabéns e muito obrigado.

[@ProfessorDouglasMaioli]

Obrigado Felipe 👍👏👏

[@mnolacerda]

Parabéns professor Sua forma de explicar é ótima

[@ProfessorDouglasMaioli]

Muito obrigado Mi 🥰

[@mnolacerda]

@@ProfessorDouglasMaioli 😊

[@Lenerelene]

Aula muito boa professor!

[@liviasabbagh30]

Obrigada pelas explicações! Muito bom.

[@ProfessorDouglasMaioli]

De nada Lívia 🥰

[@jaquespereira9577]

Obrigado pela aula

[@paulof.mizuno1275]

Parabens douglas. Otimas aulas

[@ProfessorDouglasMaioli]

Muito obrigado Paulo 👍

[@wellingtonalves2922]

Muito obrigado pela aula!!!

[@lndrms4044]

Muito bom!,,, Só estou um pouco perdido... mas vamos em frente! Hahhahah Obrigado!,

[@ProfessorDouglasMaioli]

Vou gravar o desafio e os exercícios, com mais exemplos acho que fica melhor pra pegar.

[@flaviohenri2]

ótima aula...

[@osasco3731]

Muito bom 💎

[@matheussanches702]

Ótima aula. Está ficando cada vez mais difícil.

[@ProfessorDouglasMaioli]

Obrigado Matheus 👍 Recomendo assistir a resolução do desafio da semana 2, ela vai ajudar a entender um pouco essa parte de regras de inferência de quantificadores.

[@ricj9594]

Boa noite professor, tem algum exemplo prático de computação no dia a dia onde se aplica tudo isso (sobre lógica)? Seria sobre aquele negócio das portas dos transistores? NOR, XOR, AND? Mais uma vez, as suas aulas são ótimas. Voce realmente tem o dom de ensinar.. Muito obrigado prof! :D

[@ProfessorDouglasMaioli]

Boa noite Ricardo, sim, as portas lógicas são um exemplo do uso de lógica em computação, na verdade, em todos condicionais e loops na computação, usa tbm, pq vai ter uma proposição (ou mais proposições ligadas por conectivos) que o computador deve verificar se são verdadeiras ou falsas, para decidir o que fazer.

[@alefrodrigopereira9708]

Muito bom e super didático.

[@suelifernandes4341]

Legal

[@thiagocampos6870]

Professor muito boa a aula! Parabéns! Sugiro que deixe o seu nome no slide pq prints estão sendo compartilhados e nem sempre referenciados, acho que o nome no slide pode te ajudar a trazer mais gente para o canal.

[@ProfessorDouglasMaioli]

Obrigado Thiago, você diz em todos os slides neh, é uma boa ideia mesmo, pq só coloco o nome no primeiro e último. Vou aproveitar que sempre deixo um espaço vazio no slide, onde aparece meu rosto e vou colocar meu nome lá. Boa ideia, obrigado 👍

[@thiagocampos6870]

@@ProfessorDouglasMaioli Isso! Torcendo aqui pelo crescimento do canal.

[@celsorv6001]

Professor, mais um bimestre que está nos salvando. Obrigado. Uma dúvida: a negação do Quantificador "Existe um Único" também é o Quantificador "Para Todo" ?

[@ProfessorDouglasMaioli]

Obrigado Celso 👍 Não, negar o existe um único é bem mais difícil, negar o existe um único é falar que: não existe nenhum OU existe pelo menos dois.

[@celsorv6001]

@@ProfessorDouglasMaioli obrigado pela explicação.

[@suelyjanecosta4193]

Olá Professor. No tempo do vídeo 25' tive uma dúvida ao transcrever a frase. Pois no vídeo diz H(x) para todo homem. Mas na fórmula apareceu H(y). Fiquei com essa dúvida, pois para o meu entendimento seria M(x) para x mulher e H(y) para homem. Entendi errado?

[@christobongende893]

Otima aula, serio, ta me ajuda bastante ! agradeço muito, professor Douglas Maioli. Tenho uma pergunta por esta aula, se com o exercicio no minuto 56 (uma maneira de referir o exercicio segundo sua posição no tempo no video) se seria possìvel fazer uma exportação com o que é a conclusão ? Agradeço muito, Professor

[@danielcezario2419]

Brasil ao quadrado = América Latina kkkkk

[@rodrigobelladona.]

Bom dia Professor, suas aulas são fantásticas. Me tira um dúvida no minuto 14:12 você usou P(x), não seria Q(x)?

[@ProfessorDouglasMaioli]

Bom dia Rodrigo, valeu 👍 Sim, tem razão era pra ser Q(x), eu que acabei escrevendo errado no slide.

[@samuelcorreianunes9080]

Professor só uma duvida, essa letra que vem antes do X por exemplo P(x), Q(x), I(x), M(x) ela não importa né? posso usar qualquer uma para representar algo que aquele x vai valer certo?

[@ProfessorDouglasMaioli]

Isso aí Samuel, você pode usar a letra que quiser, seria a letra para representar o predicado, assim, como usamos letra para representar uma função. O importante é saber a relação da letra com o seu predicado.

[@brenotanquista9543]

top

[@heraldocandidodacruz4587]

Parabéns, professor. Mas este conteúdo ficou um pouco pesado. Consegui entender melhor, vou ter que assistir este vídeo mais uma vez. Para entender um pouco mais.

[@ProfessorDouglasMaioli]

Obrigado Heraldo. Para entender melhor esse conteúdo, eu sugiro que você assista a resolução do desafio da semana 2, é um bom exemplo para entender melhor as regras de inferência com quantificadores: kzbin.info/www/bejne/gHXWh3trl96sb5Y Outra coisa que pode ajudar é pegar a versão complete da ficha-resumo de lógica, no final tem uma explicação informal das regras de inferência de quantificadores com exemplos: drive.google.com/file/d/1sOqit-NnHm16F85oj2isyO4ExQwndvSK/view?usp=drivesdk

[@cosmos-ouniversoeimenso502]

Professor, muito obrigado pela. Professor, qual é o livro de lógica matemática que recomenda?

[@vn77821]

Só pra saber: aos 25:40 está escrito que M é [x] e H é [x] também, mas na frase embaixo coloca H como se fosse 'y'. No fim das contas H é [y] correto?

[@Brutalist_]

eu sei que existe todo um preparo antes de cada aula dada ,e tenho certeza que é feito com muito capricho ,porem um video de uma hora acaba sendo muito grande ,dividi lo em 2 partes não ajudaria mais na didatica ?

[@outtabubblegum7034]

31:25 - Vc nunca viu um Uno com escada no teto!!

[@ProfessorDouglasMaioli]

Verdade 😂😂😂

[@walqqr1]

47:45 então o y e o x podem ter qualquer valor, inclusive ser o mesmo valor? vc colocou 'a' nos dois, não entendi

[@sol_mandy]

Olá Professor. No tempo do vídeo 25' tive uma dúvida ao transcrever a frase. Pois no vídeo diz H(x) para todo homem. Mas na fórmula apareceu H(y). Fiquei com essa dúvida, pois para o meu entendimento seria M(x) para x mulher e H(y) para homem. Entendi errado?

[@nelen1571]

também fiquei com a mesma dúvida!!!