O colega Rodolfo Biraben falará sobre Música e Lógica em Xenakis.
Da Wikipedia:
Xenakis pioneered the use of mathematical models in music such as
applications of set theory, stochastic processes and game theory and
was also an important influence on the development of electronic and
computer
olá joão e colegas,
nesta mesma plataforma, eu fiz o curso anterior do keith devlin
introduction to math. thinking e para mim foi uma boa experiência. a
primeira parte foi bem básica e envolvia lógica elementar. a segunda foi
mais interessante pois o foco era as demonstrações. eu que ainda nao
Pode ser de interesse para alguns colegas desta lista.
JM
--
\\
arXiv:1211.6468
Date: Tue, 27 Nov 2012 22:29:05 GMT (44kb)
Title: Using Isabelle to verify special relativity, with application to
hypercomputation
Também segui o curso do Devlin. Exigiu-me alguma paciência, dado o
nível elementar, mas foi uma boa experiência do ponto de vista da
observação pedagógica. Temos muito a aprender com a experiência dos
MOOCs.
JM
2012/11/29 Renato Mendes Rocha mendesro...@gmail.com:
olá joão e colegas,
nesta
Foi professor do ITA e depois da USP. Minhas condolências e solidariedade à
família em meu nome e de meus familiares que o conheceram.
Em 29 de novembro de 2012 01:25, Walter Carnielli
walter.carnie...@gmail.com escreveu:
Colegas,
lamento ter que dar a triste notícia do falecimento do
Prof.
Caros Redistas: O Leonidas era uma pessoa de enorme erudicao,
agradabilissima, e que permaneceu ativo e dinamico ate seu falecimento.
Visitei-o ano passado em Sao Jose dos Campos, onde encontrei o velho mestre
lucido e afiado como uma navalha! Recentemente tive a honra de escrever o
A dúvida abaixo pode ser comum a outros colegas, então respondo aqui à
seguinte pergunta pessoal de um colega da lista.
o que são MOOCs?
Eis a resposta:
http://en.wikipedia.org/wiki/Massive_open_online_course
Pra quem preferir um video:
http://www.youtube.com/watch?v=eW3gMGqcZQc
* * *
São
Endosso tudo.
Sent from my iPhone
On 29/11/2012, at 11:49, Julio Stern jmst...@hotmail.com wrote:
Caros Redistas:
O Leonidas era uma pessoa de enorme erudicao, agradabilissima,
e que permaneceu ativo e dinamico ate seu falecimento.
Visitei-o ano passado em Sao Jose dos Campos,
Caro Tony,
Há uma resposta nada paradoxal à questão que você coloca: os holandeses
podem ter lutado para CONTINUAREM livres e independentes da Espanha!!
Aliás, não é tão simples assim decidir sobre estes assuntos. A França
foi ou não foi colônia da Alemanha na época da II guerra?
Abraço,
Bem, aí você discute o modo com que se descreve a situação. Na verdade,
quando eu aventei a hipótese acima de que para eles a independência do
país seria uma verdade necessária, reflete justamente a ideia de que eles
pensam que o país sempre foi independente/livre. Ocorre que o fato de que
em
Repassando:
Caros Amigos e Colegas,
Com o apoio da Fundação Gulbenkian e o Instituto Gulbenkian de
Ciência, estou a organizar na Fundação Gulbenkian no dia 11 de
Dezembro um simpósio para celebrar o centenário de Alan Turing, que em
Portugal foi pouco celebrado. Os palestrantes incluem o prémio
Varieties of Modality
- Boris Kment
http://plato.stanford.edu/entries/modality-varieties/
Existence
- Michael Nelson
http://plato.stanford.edu/entries/existence/
JM
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
12 matches
Mail list logo
