O-Auto-Falante http://www.diale.org/w3log/08.jun.html W3log de Tiago Charters de Azevedo (Comentários para: tca@diale.org) en-us Emacs Muse Parece que já não vou perder muito tempo http://www.diale.org/w3log/08.jun.html#Parece%20que%20já%20não%20vou%20perder%20muito%20tempo Descobri o (lush).

]]> Tiago Charters de Azevedo Sun, 29 Jun 2008 00:00:00 WEST http://www.diale.org/w3log/08.jun.html#Parece%20que%20já%20não%20vou%20perder%20muito%20tempo Agora que as aulas acabaram http://www.diale.org/w3log/08.jun.html#Agora%20que%20as%20aulas%20acabaram vou completar isto.

]]> Tiago Charters de Azevedo Thu, 26 Jun 2008 00:00:00 WEST http://www.diale.org/w3log/08.jun.html#Agora%20que%20as%20aulas%20acabaram Tenho andado http://www.diale.org/w3log/08.jun.html#Tenho%20andado a escrever uns textos sobre matemática e programação. A ideia base seria a de recursividade, tornar explícito o facto de o uso de funções totais estarem intimamente relacionadas com o cálculo computacional.

Tenho já alguns exemplos na manga:

  • como definir números naturais o que são; como pensar sobre eles
  • polinómios, cálculo do seu valor de forma recursiva
  • funções racionais
  • séries geométricas e extensão ao caso de funções racionais (exemplo de um livro do sec. 19)
  • zeros de funções contínuas (método da bissecção)
  • extremos de funções (golden search method)
  • valores médios (diferenças divididas): por dois pontos passa uma recta
  • listas de números: matrizes e sistemas lineares
  • determinantes (Laplace)

(...)

]]> Tiago Charters de Azevedo Thu, 26 Jun 2008 00:00:00 WEST http://www.diale.org/w3log/08.jun.html#Tenho%20andado Liberdade e ensino http://www.diale.org/w3log/08.jun.html#Liberdade%20e%20ensino Recebi hoje, e pela primeira vez, um comentário sobre os programas escritos em GNU/Octave. Foi feito por um estudante de Engenharia brasileiro que queria aplicar o método da falsa posição.

A dúvida era simples e oportuna, a vontade genuína e livre.

Obrigado.

]]> Tiago Charters de Azevedo Wed, 18 Jun 2008 00:00:00 WEST http://www.diale.org/w3log/08.jun.html#Liberdade%20e%20ensino Ensinar, pensar matematicamente http://www.diale.org/w3log/08.jun.html#Ensinar%2C%20pensar%20matematicamente Acredito que a melhor maneira de fazer e ensinar matemática é através de uma linguagem de programação. O problema é saber qual e como explicitar isto de modo que seja credível1.

A linguagem de programação mais interessante, qualquer uma serviria diga-se, é Lisp. Lisp é uma linguagem de programação funcional muito semelhante ao cálculo lambda inventada em 1958 por John McCarthy publicada num artigo intitulado "Recursive Functions of Symbolic Expressions and Their Computation by Machine". Os dois maiores dialectos de Lisp são o Common Lisp e o Scheme. No entanto, muito provavelmente, a maioria do código escrito em Lisp não está escrito em nenhum destes dialectos! A maior parte do código de Lisp está escrito em ELisp, um dialecto de Lisp usado pelo GNU Emacs.

Mas então porque é que recai sobre Lisp a minha preferência? Devido à sua semelhança com o cálculo lambda, que é em si mesma uma linguagem de programação minimalista, permite expressar e construir qualquer algoritmo.

Se não veja-se alguns exemplos simples.

Quando se diz " a soma de um mais dois dá três", o que se quer dizer realmente com isto? Somar um a dois é agarrar no número dois e somar 1 2, i. e. 

+ 1 2

E se quisermos somar "3 mais 1"? Bom, é a mesma coisa, agarro no número 3 e somo-lhe uma unidade. O que estou então a fazer? Em geral somar um unidade, somar um, a um outro numero inteiro é simplesmente fazer 

(lambda (x) (+ x 1))
O que é isto então? O resultado de calcular a expressão designada por lambda é a própria expressão, que neste caso é simplesmente somar um. A expressão lambda formaliza então a ideia de função, i. e., constrói a formalização de transformar x em, neste caso, + x 1.

Notas:

1. Isto pode parecer estúpido mas é muito relevante. Nem sempre é fácil convencer alguém de que algo verdadeiro é importante.

2. Nos exemplos que se seguem vou usar a Reverse Polish notation.

]]> Tiago Charters de Azevedo Tue, 17 Jun 2008 00:00:00 WEST http://www.diale.org/w3log/08.jun.html#Ensinar%2C%20pensar%20matematicamente Matemática http://www.diale.org/w3log/08.jun.html#Matemática Há um certo afastamento da matemática em relação às linguagens de programação. Isto é, se a melhor maneira de explicitar um pensamento rigoroso é através de uma linguagem de programação a não coincidência destas duas formas é sinal do seu afastamento propositado.

Desconfio da universalidade dos matemáticos, a sua pretensão tem efeitos devastadores na divulgação e entendimento da matemática.

]]> Tiago Charters de Azevedo Tue, 17 Jun 2008 00:00:00 WEST http://www.diale.org/w3log/08.jun.html#Matemática Simetrias (act.) http://www.diale.org/w3log/08.jun.html#Simetrias%20 octave> x=1/7 x = 0.142857142857143 octave> [x 2*x 3*x 4*x 5*x 6*x]' ans = 0.142857142857143 0.28571428571428 0.428571428571429 0.571428571428571 0.714285714285714 0.857142857142857

Há outros: 1/13, 1/14, 1/28, 1/35

Refs:

]]> Tiago Charters de Azevedo Sat, 14 Jun 2008 00:00:00 WEST http://www.diale.org/w3log/08.jun.html#Simetrias%20 Tenho uma teoria http://www.diale.org/w3log/08.jun.html#Tenho%20uma%20teoria Todos os livros de divulgação de matemática têm uma secção sobre o número de ouro.

]]> Tiago Charters de Azevedo Tue, 10 Jun 2008 00:00:00 WEST http://www.diale.org/w3log/08.jun.html#Tenho%20uma%20teoria Solar power http://www.diale.org/w3log/08.jun.html#Solar%20power A ler: http://www.cnn.com/2008/TECH/science/05/30/space.solar/

]]> Tiago Charters de Azevedo Fri, 06 Jun 2008 00:00:00 WEST http://www.diale.org/w3log/08.jun.html#Solar%20power Números http://www.diale.org/w3log/08.jun.html#Números

Ref:

]]> Tiago Charters de Azevedo Thu, 05 Jun 2008 00:00:00 WEST http://www.diale.org/w3log/08.jun.html#Números Como determinar as equações destas elipses? http://www.diale.org/w3log/08.jun.html#Como%20determinar%20as%20equações%20destas%20elipses%3F

Resolvendo um sistema linear com a matriz

latex2png equation

onde (x,y) são as coordenadas dos pontos sobre o círculo azul?

Refs:

]]> Tiago Charters de Azevedo Mon, 02 Jun 2008 00:00:00 WEST http://www.diale.org/w3log/08.jun.html#Como%20determinar%20as%20equações%20destas%20elipses%3F Arquivo http://www.diale.org/w3log/08.jun.html#Arquivo - 2008 - Maio [RSS]

]]> Tiago Charters de Azevedo Sun, 01 Jun 2008 00:00:00 WEST http://www.diale.org/w3log/08.jun.html#Arquivo