Pessoal, quem assistiu essa aula, eu recomendo ver depois o desafio da semana 2 ( ruclips.net/video/JDsVH5byy94/видео.html ) 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 ( ruclips.net/video/syjuiA3lTDE/видео.html ) 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
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!!!
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!👍
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.
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
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.
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.
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 👍
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" ?
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
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.
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: ruclips.net/video/JDsVH5byy94/видео.html 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
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?
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.
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?
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 ?
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?
![Quantificador Universal e Quantificador Existencial [Braian responde]](http://i.ytimg.com/vi/g34jAmqthkQ/mqdefault.jpg)
Pessoal, quem assistiu essa aula, eu recomendo ver depois o desafio da semana 2
( ruclips.net/video/JDsVH5byy94/видео.html )
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
( ruclips.net/video/syjuiA3lTDE/видео.html )
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
Esta me ajudando mt na materia, que ficou confusa nesse semestre.
Suas aulas quebra mol galho, professor. Parabéns e sucesso!
(Turma de 22)
Legal
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!!!
Valeu Diego, que bom que as minhas aulas estão te ajudando. Obrigado pela sua mensagem 👍👍
Mais uma vez, uma excelente aula. Sem palavras! Acabei de me tornar um padrinho com muito orgulho, Professor! Obrigado por este trabalho maravilhoso!
Que bom Sidnei, muito obrigado 🙏👏👏👏
Isso que é professor !!!
Esse professor é um "Monstro Sagrado"! Parabéns pela aula e muito obrigado!!
Valeu Antônio 👊🏻
Bem didático..
Valeu Alessandro 👍
Muito difícil 🙆, mas vamos em frente. Ótima aula como sempre! Obrigada, professor!
Obrigado Maria .... É difícil, mas a gente consegue 💪 Qualquer coisa só chamar.
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!👍
Esse professor é fora da curva...Muito bom.
Muito bom!,,,
Só estou um pouco perdido... mas vamos em frente! Hahhahah
Obrigado!,
Vou gravar o desafio e os exercícios, com mais exemplos acho que fica melhor pra pegar.
Aula muito boa professor!
top
Excelente aula. Parabéns e muito obrigado.
Obrigado Felipe 👍👏👏
ótima aula...
❤️❤️🙏
Ótima aula. Está ficando cada vez mais difícil.
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.
Muito bom 💎
Obrigada pelas explicações! Muito bom.
De nada Lívia 🥰
Parabens douglas. Otimas aulas
Muito obrigado Paulo 👍
Parabéns professor
Sua forma de explicar é ótima
Muito obrigado Mi 🥰
@@ProfessorDouglasMaioli 😊
Muito obrigada pelas explicações, ficou mais fácil entender o conteúdo. Parabéns pela didática!
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
Obrigado pela aula
Muito bom e super didático.
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
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.
Muito obrigado pela aula!!!
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.
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 👍
@@ProfessorDouglasMaioli Isso! Torcendo aqui pelo crescimento do canal.
31:25 - Vc nunca viu um Uno com escada no teto!!
Verdade 😂😂😂
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)?
Bom dia Rodrigo, valeu 👍 Sim, tem razão era pra ser Q(x), eu que acabei escrevendo errado no slide.
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
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" ?
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.
@@ProfessorDouglasMaioli obrigado pela explicação.
Brasil ao quadrado = América Latina kkkkk
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?
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
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.
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:
ruclips.net/video/JDsVH5byy94/видео.html
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
Professor, muito obrigado pela. Professor, qual é o livro de lógica matemática que recomenda?
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?
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.
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?
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 ?
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?
também fiquei com a mesma dúvida!!!