Welcome to EverybodyWiki 😃 ! Nuvola apps kgpg.png Log in or ➕👤 create an account to improve, watchlist or create an article like a 🏭 company page or a 👨👩 bio (yours ?)...

Tarski's World

Fonte: EverybodyWiki Bios & Wiki


Tarski's World: Revised and Expanded (sem edição no Brasil), é um livro de introdução a lógica de primeira ordem. Junto com o livro, acompanha um software, o Tarski's World, e o software Submit, que juntamente com o livro, servem de guia para a introdução a lógica de lógica de primeira ordem, através do software, se é capaz de fazer Worlds(mundos, em português) tridimensionais que podem conter vários objetos geométricos, e também são possíveis criar Sentences (Sentenças, em português), que o software valora essas sentenças de acordo com o mundo.

Informações Sobre o livro[editar]

Autores: Dave Barker-Plummer ,Jon Barwise e John Etchemendy
Quantidade de páginas: 144 páginas
Publicador: Center for the Study of Language and Inf; 1 edition (July 15, 2007)
Linguagem: English
Dimensão do produto: 6 x 0.4 x 9 polegadas

Sobre os exercícios[editar]

No livro, são propostos os mais diversos exercícios, que podem ser tanto para passar as sentenças de língua natural para sentenças lógicas, para escrever sentenças que são válidas naquele mundo, criar mundos em que as sentenças são verdadeiras, entre outros. E para verificar se as respostas, existe o software que faz submit, no qual o software envia as questões para o servidor, e o servidor retorna ao email do usuário, e se o aluno quiser, tem a opção de enviar para o email do professor também, para que este possa avaliar.

Sobre o Submit[editar]

No software Submit, que valora as questões no servidor e dar a resposta no email, o usuário tem que colocar seu Registration ID, que vem junto do livro, seu nome, seu email para receber as respostas, o nome do instrutor, e o email do instrutor e selecionar as questões a serem submetidas a correção. O registration ID é válido por um ano após a validação do software. Após a seleção das questões o usuário tem a opção de mandar apenas para ele (Just Me), ou enviar para o instrutor também (Instructor Too).


Este artigo "Tarski's World" é da wikipedia The list of its authors can be seen in its historical and/or the page Edithistory:Tarski's World.