Re: [Logica-l] Re: "Funções são conjuntos"

2024-01-31 Por tôpico 'samuel' via LOGICA-L
... Touché !!! Isso me lembra mais o joguinho de tentar descobrir a història completa através de respostas "sim", "nao" e "irrelevante". O exemplo mais clássico é: "homem olha pro lado, acende um fósforo e morre". ... ao cabo de meia hora, uma hora, trabalhando em grupo dá pra recuperar a hist

Re: [Logica-l] Re: "Funções são conjuntos"

2024-01-31 Por tôpico Joao Marcos
> * > > O encapsulamento do código evita que o cliente faça perguntas > bobas, > como "será que {a}∈(a,b)?" > **

Re: [Logica-l] Re: "Funções são conjuntos"

2024-01-31 Por tôpico 'samuel' via LOGICA-L
* O encapsulamento do código evita que o cliente faça perguntas bobas, como "será que {a}∈(a,b)?"

Re: [Logica-l] Re: "Funções são conjuntos"

2024-01-31 Por tôpico Joao Marcos
> Essa questao da "coisa" x "implementacao da coisa", eu confesso que em geral > os teoristas de conjuntos ficamos meio viciados nisso (guilty as charged), Os matemáticos poderiam aqui (e não só aqui) aprender algo, talvez, com os cientistas da computação, que estão acostumados a implementar novo

Re: [Logica-l] Re: "Funções são conjuntos"

2024-01-31 Por tôpico 'samuel' via LOGICA-L
Olás, Essa questao da "coisa" x "implementacao da coisa", eu confesso que em geral os teoristas de conjuntos ficamos meio viciados nisso (guilty as charged), Entao se você me perguntar o que *é* o par ordenado (a,b) a tendência é que eu diga que (a,b) = { {a}, {a,b} } Mas esse tipo de pensam

Re: [Logica-l] Re: "Funções são conjuntos"

2024-01-30 Por tôpico Juan Carlos Agudelo Agudelo
Olá, João On Tue, Jan 30, 2024 at 11:44 AM Joao Marcos wrote: > Viva, Juan! > > > Acho que o resultado de sua pesquisa só mostra quanto estamos > acostumados com a formalização de funções na Teoría de Conjuntos. > Particularmente, acho que a formalização de funções como conjuntos de pares > orde

Re: [Logica-l] Re: "Funções são conjuntos"

2024-01-30 Por tôpico Joao Marcos
> Pro aluno que acha que "funcao tem que ter fórmula"... > > O Axioma da Escolha nao significa nada... Porque o que sai dele é uma funcao > que nao > tem fórmula, imaginem. Pois já pensou: não tem nem fórmula, que sentido fará em pensar na sua ---completamente desconhecida--- descrição extensiona

Re: [Logica-l] Re: "Funções são conjuntos"

2024-01-30 Por tôpico Joao Marcos
Viva, Eduardo! > Muitos alunos daqui de Rio das Ostras têm muita dificuldade de > entender que isto aqui é _uma_ função: > > $f(x) = >\begin{cases} > x^3 & \text{se $x<0$}, \\ > x^2 & \text{se $x \ge 0$} \\ >\end{cases} > $ > > Eles acham que isso é (são?) duas funções, e ele

Re: [Logica-l] Re: "Funções são conjuntos"

2024-01-30 Por tôpico Joao Marcos
Viva, Juan! > Acho que o resultado de sua pesquisa só mostra quanto estamos acostumados com > a formalização de funções na Teoría de Conjuntos. Particularmente, acho que a > formalização de funções como conjuntos de pares ordenados é só uma > codificação que funciona, mas que não mostra seu car

Re: [Logica-l] Re: "Funções são conjuntos"

2024-01-30 Por tôpico 'samuel' via LOGICA-L
... Já que chegamos nas "coisas que alunos dizem", Outra coisa interessante é que aluno acha que "funcao tem que ter fórmula". Aí é que a pessoa nao entende o Axioma da Escolha de jeito nenhum (porque se o Axioma da Escolha se fez necessário para criar uma funcao-escolha é porque nao se tinha me

Re: [Logica-l] Re: "Funções são conjuntos"

2024-01-29 Por tôpico Eduardo Ochs
Muitos alunos daqui de Rio das Ostras têm muita dificuldade de entender que isto aqui é _uma_ função: $f(x) = \begin{cases} x^3 & \text{se $x<0$}, \\ x^2 & \text{se $x \ge 0$} \\ \end{cases} $ Eles acham que isso é (são?) duas funções, e eles têm muita dificuldade pra nomes pr

Re: [Logica-l] Re: "Funções são conjuntos"

2024-01-29 Por tôpico Juan Carlos Agudelo Agudelo
Olá, João Acho que o resultado de sua pesquisa só mostra quanto estamos acostumados com a formalização de funções na Teoría de Conjuntos. Particularmente, acho que a formalização de funções como conjuntos de pares ordenados é só uma codificação que funciona, mas que não mostra seu caráter procedim