- Видео 245
- Просмотров 131 942
Ad infinitum
Бразилия
Добавлен 17 апр 2021
O objetivo desse canal é divulgar temas ligados aos fundamentos da matemática. Veremos temas em lógica informal, lógica formal e teoria de conjuntos, especialmente em relação aos infinitos.
O canal é alimentado com conteúdos elaborados e produzidos por dois amigos apaixonados por matemática e filosofia:
Alfredo Roque Freire é engenheiro de computação pelo ITA, doutor em filosofia pela UNICAMP e atualmente professor na Universidade de Brasília (UnB).
Currículo: lattes.cnpq.br/9597772498442436
Edgar L B Almeida é graduado em matemática pela unesp, mestre e doutor em filosofia Unicamp. Atua no momento como professor efetivo no IFB e pesquisador associado na UnB.
Currículo: lattes.cnpq.br/9497525586581224
O canal é alimentado com conteúdos elaborados e produzidos por dois amigos apaixonados por matemática e filosofia:
Alfredo Roque Freire é engenheiro de computação pelo ITA, doutor em filosofia pela UNICAMP e atualmente professor na Universidade de Brasília (UnB).
Currículo: lattes.cnpq.br/9597772498442436
Edgar L B Almeida é graduado em matemática pela unesp, mestre e doutor em filosofia Unicamp. Atua no momento como professor efetivo no IFB e pesquisador associado na UnB.
Currículo: lattes.cnpq.br/9497525586581224
Exercícios - vídeo 11 - Teorema da dedução e Provas por contradição
Resolução de exercícios em que usamos os teoremas da dedução e prova por contradição. Exercícios referentes ao vídeo 11.
Exercícios em:
www.canaladinfinitum.com/cursos/introdu%C3%A7%C3%A3o-%C3%A0-l%C3%B3gica/l%C3%B3gica-proposicional
Exercícios em:
www.canaladinfinitum.com/cursos/introdu%C3%A7%C3%A3o-%C3%A0-l%C3%B3gica/l%C3%B3gica-proposicional
Просмотров: 55
Видео
Resolução dos exercícios do vídeo 6 do curso de lógica de predicados
Просмотров 7221 час назад
Neste vídeo resolvemos os exercícios relativos ao sexto vídeo teórico da série Lógica de Predicados 00:00 Introdução 00:18 Questão 1, item 1 06:13 Questão 1, item 2 10:10 Questão 2, item 1 14:28 Questão 2, item 2 16:58 Questão 2, item 3 19:52 Questão 2, item 4 22:41 Questão 2, item 5 24:54 Questão 2, item 6 25:56 Questão 2, item 7 28:02 Questão 2, item 8 31:42 Questão 2, item 9 34:50 Questão 2,...
Exercícios - vídeo 10 - Usando o sistema dedutivo - MAIS REGRAS
Просмотров 8714 дней назад
Resolução de exercícios em que usamos regras mais complicadas para resolver casos mais complexos de dedução. Resolução dos exercícios referentes ao vídeo 10. Exercícios em: www.canaladinfinitum.com/cursos/introdução-à-lógica/lógica-proposicional
Probabilidade
Просмотров 23921 день назад
Falaremos sobre como os empiristas lógicos discutiram probabilidade. Falaremos da concepção frequentista e a concepção lógica da probabilidade. Referências do vídeos em: www.canaladinfinitum.com/cursos/positivismo-lógico Veja os outros vídeos do canal e exercícios em: www.canaladinfinitum.com/ #logica #positivismoLogico #pseudoProblemas
Semântica e Lógica Modal
Просмотров 16828 дней назад
Falaremos sobre a retomada do pensamento semântico no Círculo de Viena. Em seguida, mostraremos como isso influenciou as primeiras propostas de semântica para lógica modal. Referências do vídeos em: www.canaladinfinitum.com/cursos/positivismo-lógico Veja os outros vídeos do canal e exercícios em: www.canaladinfinitum.com/ #logica #positivismoLogico #pseudoProblemas
Exercícios - vídeo 9 (parte 2) - usando o sistema dedutivo
Просмотров 65Месяц назад
Resolução da segunda parte da lista de exercícios referentes ao vídeo 9. Exercícios em: www.canaladinfinitum.com/cursos/introdução-à-lógica/lógica-proposicional
Resolução dos exercícios do vídeo 5 do curso de lógica de predicados
Просмотров 96Месяц назад
Neste vídeo resolvemos os exercícios relativos ao quinto vídeo teórico da série Lógica de Predicados. 00:00 Introdução 00:23 Exercício 1, item 1 03:21 Exercício 1, item 2 05:18 Exercício 2, itens 1 a 3 12:20 Exercício 2, itens 4 a 6 15:43 Exercício 2, itens 7 a 9 20:53 Exercício 2, itens 10 a 12 30:13 Exercício 2, itens 13 a 15 36:22 Exercício 3, item 1 41:17 Exercício 3, item 2 43:56 Encerrame...
Exercícios - vídeo 9 (parte 1) - usando o sistema dedutivo
Просмотров 108Месяц назад
Nesse vídeo, resolvemos os primeiros vídeos da lista referente ao vídeo 9. Exercícios em: www.canaladinfinitum.com/cursos/introdução-à-lógica/lógica-proposicional
Propriedades disposicionais
Просмотров 89Месяц назад
Falaremos os modos como o empirismo lógico lida com a caracterização das propriedades disposicionais. Referências do vídeos em: www.canaladinfinitum.com/cursos/positivismo-lógico Veja os outros vídeos do canal e exercícios em: www.canaladinfinitum.com/ #logica #positivismoLogico #pseudoProblemas
Exercícios vídeo 8 - o que é lógica
Просмотров 1222 месяца назад
Resolvemos exercícios sobre os recursos básicos dos sistemas dedutivos proposicionais. Exercícios em: www.canaladinfinitum.com/cursos/introdução-à-lógica/lógica-proposicional
Resolução dos exercícios do vídeo 4 do curso de lógica de predicados
Просмотров 692 месяца назад
Neste vídeo resolvemos a lista de exercícios do quarto vídeo do curso Lógica de Predicados. 00:00 - Introdução 00:17 - Exercício 1 03:17 - Exercício 2 06:22 - Exercício 3 07:32 - Exercício 4 08:32 - Exercício 5 10:25 - Exercício 6 13:00 - Exercício 7 14:05 - Exercício 8 15:15 - Exercício 9 16:30 - Exercício 10 18:19 - Exercício 11 19:40 - Exercício 12 21:39 - Exercício 13 23:25 - Encerramento P...
Resolução dos exercícios do vídeo 3 do curso de lógica de predicados
Просмотров 902 месяца назад
Neste vídeo resolvemos a lista de exercícios do terceiro vídeo do curso Lógica de Predicados. 00:00 Introdução 00:16 Exercício 1: Cavalos são herbívoros 04:35 Exercício 2: Zebras não são domesticadas 08:11 Exercício 3: Nem todo cavalo é domesticado 11:03 Exercício 4: Alguns cavalos são domesticados e outros não 16:40 Exercício 5: O pai do Café é primo do Bartolomeu 21:47 Exercício 6: O pai do C...
Resolução dos exercícios do vídeo 2 do curso de lógica de predicados
Просмотров 1892 месяца назад
Resolução dos exercícios do vídeo 2 do curso de lógica de predicados
Números complexos: conjuntos numéricos, vídeo 15
Просмотров 1233 месяца назад
Números complexos: conjuntos numéricos, vídeo 15
Relação de Inclusão, parte 2 (conjuntos Numéricos, vídeo 14)
Просмотров 503 месяца назад
Relação de Inclusão, parte 2 (conjuntos Numéricos, vídeo 14)
Multiplicação de cortes de Dedekind: conjuntos numéricos, vídeo 13
Просмотров 833 месяца назад
Multiplicação de cortes de Dedekind: conjuntos numéricos, vídeo 13
Adição de cortes de Dedekind, parte 2: conjuntos numéricos, vídeo 12
Просмотров 873 месяца назад
Adição de cortes de Dedekind, parte 2: conjuntos numéricos, vídeo 12
Dependência da analiticidade e matemática sem metafísica
Просмотров 2394 месяца назад
Dependência da analiticidade e matemática sem metafísica
Coisa, fenômeno e linguagem observacional
Просмотров 1295 месяцев назад
Coisa, fenômeno e linguagem observacional
Verificação e princípios explicativos
Просмотров 1785 месяцев назад
Verificação e princípios explicativos
As bases do projeto do Círculo de Viena
Просмотров 5136 месяцев назад
As bases do projeto do Círculo de Viena