sexta-feira, 21 de agosto de 2009

Lançamento de livro: "Pensamento Critico: O Poder da Logica e da Argumentação"

Recebi o email abaixo do prof. Walter Carnielli da UNICAMP.

O livro pode ser encontrado nos seguintes links:

Na Livraria Cultura:

http://www.livrariacultura.com.br/scripts/cultura/resenha/resenha.asp?nitem=2863896&sid=14817711111821724694835174&k5=4C7314A&uid=
ou (mais curto)
http://ow.ly/kUJM

Na FNAC (em que o campo autor está como "Walter Casrnielli", mas o preço é menor):
http://www.fnac.com.br/pensamento-critico-o-poder-da-logica-e-da-argumentacao-FNAC,,livro-526414-2144.html
ou
http://ow.ly/kUK8


---------- Forwarded message ----------
From: Walter Carnielli
Date: 2009/8/21
Subject: [Logica-l] "Pensamento Critico: O Poder da Logica e da Argumentação"



Prezados colegas:

gostaria  de comunicar a todos  que finalmente nosso livro, que há
anos circula  em notas, acaba de ser lançado:

"Pensamento Critico: O Poder da Logica e da Argumentação"
Walter Carnielli e
Richard L. Epstein

ISBN: 8533912986
ISBN-13: 9788533912984

Editora: Rideel, 2009 (384 pág).


Neste livro, que pretende ser  bem elementar,  damos definições
cuidadosas de argumentos  válidos, bons argumentos e argumentos
fortes, seguindo as bases de  "Critical Thinking" de R. L. Epstein
(Wadsworth, 2005), com muitos exemplos. Parece  incrível, mas essas
definições não aparecem em quase nenhum guia de argumentação; nosso
enfoque permite aproximar  muto bem a argumentação da  lógica, de
forma a dar um ótimo fundamento do pensamento crítico, das falácias e
da construção de bons argumentos.

= = = = = = = = = = = = = = = = = = = = = = = = = = = = =
Conteúdo:

Parte I- As bases fundamentais

Capítiulo 1- Pensamento crítico?  (Afirmações; argumentos.)

Capítiulo 2- O que é que está em discussão?  (vaguesa, fronteira
imprecisa, afirmações morais; confusão entre objetividade com
subjetividade, o papel das definições.)

Capítiulo 3- O que é um bom argumento?  (a conexão entre premissas e
conclusão;argumentos fortes versus  argumentos válidos.)

Capítiulo 4 -A reparação de argumentos  (Guia para reparação de
argumentos; o princípio da discussão racional.)

Capítiulo 5-  Será que isso é verdade? (a avaliação de premissas;
critérios para aceitar ou rejeitar afirmações; maus argumentos.)

Parte II-  A estrutura dos argumentos

Capítiulo 6- Afirmações compostas (a contraditória de uma afirmação;
argumentar com disjunções; falsos dilemas; condicionais; formas
válidas e inválidas; "Só se" e "a menos que"; condições necessárias e
suficientes; o raciocínio em cadeia e a derrapagem.)

Capítiulo 7- Argumentos complexos (Levantar objeções; refutação
direta; refutação indireta; argumentos encaixados; premissas
conectadas e desconectadas; análise de argumentos complexos.)

Capítiulo 8- Generalidades ("Todos" e "alguns"; contraditórias de
universais e de existenciais; entre um e todos; generalidades exatas;
generalidades vagas.)

Parte III- Como evitar os maus argumentos

Capítiulo 9- Afirmações ocultas (perguntas traiçoeiras; eufemismos e
disfemismos; minimização e maximização; insinuações; um pouco de
retórica.)

Capítiulo 10- Emoção, Demasiada emoção (apelo à misericórdia; apelo ao
medo; apelo ao despeito; afetividade.)

Capítiulo 11- Falácias, um breve sumário de maus argumentos (falácias
estruturais; falácias de conteúdo; violação das regras da discussão
racional.)

Parte IV- Argumentos com base na experiência

Capítiulo 12- Argumentos por analogia

Capítiulo 13- Como enganar e se deixar enganar com números
(proposições enganosas com números; falsa precisão; média, mediana,
moda; como enganar com gráficos; o problema dos falsos positivos.)

Capítiulo 14-  Generalizando a partir da experiência (auando uma
generalização é boa?  amostras representativas; tamanho da amostra;
três premissas para uma boa generalização;  margem de erro e
intervalos de confiança; risco; analogias e generalizações.)

Capítiulo 15 - Causa e Efeito (as condições normais; causas
particulares; generalizações
e causas gerais; critérios de causa e efeito; dois enganos em
avaliação de  causa e efeito)
Capítiulo 16 -Argumentação e tomada de decisões

Capítiulo 17-  Um pouco mais de lógica: as tabelas de verdade

Capítiulo 18 Um guia das falácias famosas (falácias estruturais;
falácias de conteúdo violações das regras da discussão racional;
falácias quase lógicas; a lista negra das falácias mais perigosas).

= = = = = = = = = = = = = = = = = = = = = = = = = = = = =
Disponível em:
Livraria   Cultura (http://www.livrariacultura.com.br) e FNAC
(http://www.fnac.com.br)


Abraços,

Walter Carnielli



+++++++++++++++++++++++++++++++++++++++++++++++++
Walter Carnielli
Centre for Logic, Epistemology and the History of Science – CLE
State University of Campinas –UNICAMP
P.O. Box 6133 13083-970 Campinas -SP, Brazil
Phone: (+55) (19) 3788-6519
Fax: (+55) (19) 3289-3269
Website: http://www.cle.unicamp.br/prof/carnielli
_______________________________________________
Logica-l mailing list
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

terça-feira, 18 de agosto de 2009

O fim do vestibular, por Rubem Alves

Obs.: Corrigi nos links acima (graças à ajuda do prof. João Fabro) o link de "Muito cedo para decidir" que no original (em http://www.rubemalves.com.br/vestibular.htm) estava errado. E acrescentei um link para o último texto, que não aparecia no original.

quinta-feira, 13 de agosto de 2009

Curso no Ágiles 2009: Test Driven Development (TDD) and Refactoring

Trainer: Naresh Jain
Duration: 2 days

Test Driven Development (TDD), one of the most profound eXtreme Programming practice, which has been adopted by nearly all the Agile methods. While there is such huge acceptance and appreciation for this practice, a lot of new teams struggle understanding and implementing this practice at work.

This 2-day workshop teaches you the thought process and the steps involved during a typical Test Driven session. You'll understand how developers take a user story and drive the development (design and implementation) using acceptance tests and unit tests. We'll discuss various techniques of TDD and their implications on the resultant code and its design. And you will discover just how much confident, faster you can go by writing test first!

Good object-oriented design principles are emphasized throughout. You will learn how to keep your designs clean and simple by applying those design principles through various refactoring techniques. You will learn how to identify poorly designed code by using our elaborate code smell vocabulary. Once we've identified the code smell, you understand how to apply refactorings techniques to simplify the code. You will learn to incrementally transform complex and difficult classes into readable, well-structured, and well-designed code, while keeping them running at all times. You will also learn how to take advantage of the automated refactoring support available in the IDEs.

As you participate in our hands-on environment, you will learn how to approach design from the outside-in; one test case at a time, driving the system to better and simpler design while it continues to pass all its tests. You will learn how unit tests and acceptance tests can be used to incrementally grow well-factored systems that are easy to understand and maintain.

Objectives

By the end of this workshop, you will be able to:

  • Understand Automated Unit and Acceptance Testing Techniques
  • Perform test -first development for user stories on your project
  • Recognize poor code constructs and build a common vocabulary of code smells
  • Understand OO design principles and Improve design of existing code in small safe steps
  • Use the xUnit framework (Junit/Nunit) for unit testing
  • Know how and when to refactor
  • Write executable requirements using Acceptance Tests
  • Know how to deal with Legacy Code (code without tests)

Course Outline

Automated Unit Testing and xUnit Framework
We'll cover the philosophy of developer unit testing, provide a detailed overview of xUnit framework, including how to write and organize tests, which assert methods to use, how to deal with exceptions within tests and test naming conventions. All these techniques are introduced using the unit testing tools available in an Integrated Development Environment (IDE) like eclipse. A small presentation will be followed by a demo and lots of discussion.

Test-Driven Development
Test-Driven Development (TDD) is a practice for efficiently evolving useful code. While its name implies that it's mostly about testing, test-driven development is primarily about design: it keeps programmers focused on exactly what they need to build and helps them avoid over-engineering. We'll demonstrate the TDD Rhythm. Participants will understand how TDD simplifies evolving lean, useful, fully tested software. We'll give a small live demo of TDD and then Participants will get their hands dirty by using TDD to extend the demonstration code.

Code Smells
Code smells identify common design problems in object-oriented code. This interactive lecture provides a good overview of code smells defined by Martin Fowler & Kent Beck in their book "Refactoring: Improving the Design of Existing Code." In addition, you'll learn about some new smells that have been categorized by Joshua Kerievsky and his colleagues. Technical lecture with lots of code snippets. Followed by an exercise to identify code smells on a sample code base.

Refactoring
Refactoring is a disciplined technique for restructuring an existing body of code, altering its internal structure without changing its external behavior. We'll demonstrate how using automated Refactoring tools available in IDEs we can evolve the design of existing code using a series of small behavior preserving transformations. We'll cover most common refactoring techniques listed in Martin Fowler's classic catalog of refactorings. Technical lecture with lots of code snippets. Followed by a lab exercise.

Acceptance Test Driven Development
Acceptance TDD involves writing one or more systems-level acceptance tests (or "customer unit tests") from a customer's perspective, before coding the solution. This practices encourages collaboration on the team by bringing together product management, developers, and testers at the start of each feature to clarify and align on its goals. This workshop highlights the importance of speaking a common, useful, and relative unambiguous language and how to create requirements as executable tests. This workshop explains what happens between writing user stories and convert them into working software. Details about Acceptance Criteria and Acceptance tests using FitNesse and FitLibrary are described in this workshop. We'll also cover Patterns and Anti-Patterns associated with ATDD. To understand the essence of TDD and how it applies to customer level end to end tests, we'll take some scenarios and explain how to write acceptance criteria and tests for the same. Will conclude with an exercise where the participants will write acceptance tests for a given problem.

Test Driving Enterprise Code
Test-driving enterprise code isn't easy. In this workshop we'll dive right into the deep end of enterprise applications. You will learn how to apply the techniques of test-driven development to enterprise components, including handling web requests, accessing databases and asynchronous communication. We'll leverage on lightweight containers like Spring to demonstrate these techniques. For the whole workshop to be of any use one must focus on learning how to practice TDD in real world not on simple money example. During this workshop we'll demo these topics in details and follow it up with a lab.

2 day workshop Retrospective
We'll wrap up the 2 day Testing and Refactoring workshop with a retrospective to understand what worked, what could be improved next time and what kind of topics might be interesting if we conduct similar training again.


Software Required

Java:

  • Eclipse 3.4+ IDE or any other new age IDE
  • Latest Sun JDK (Java 1.5+)
  • Mockito - Mocking Framework

.Net:

  • .Net 2.0 or later
  • Visual Studio 2005 or later
  • ReSharper Plugin
  • Rhino Mock

Note: Attendees can chose between Java and .Net and follow the training in their preferred language.


Language

This training will be conducted in English.


Dates

October 6 – 7, 2009

Fonte: http://www.agiles2009.org/en/tdd.php


domingo, 9 de agosto de 2009

Fwd: [Sbc-l] Saiu no portal "Democracia e Transparencia em C&T" ...

---------- Forwarded message ----------
From: Prof. Otávio Augusto S. Carpinteiro
Date: 2009/8/9
Subject: [Sbc-l] Saiu no portal "Democracia e Transparencia em C&T" ...
To: sbc-l@sbc.org.br


Foram publicados dois artigos no portal
"Democracia e Transparencia em C&T
(http://www.democracia-e-transparencia-em-ct.blogspot.com/)".
Sao eles:

- A quem se dirige o Edital Universal 2008?
- O CNPq e sua oligarquia

Otavio
Univ. Fed. de Itajuba, MG

quinta-feira, 30 de julho de 2009

Fwd: [Anuncios] 1ª Semana Acadêmica Integrada de Tecnologia

---------- Forwarded message ----------
From: Aline Macohin
Date: 2009/7/30
Subject: 1ª Semana Acadêmica Integrada de Tecnologia


A 1ª SAITEC – Semana Acadêmica Integrada de Tecnologia - é um evento que tem como objetivo promover a atualização dos estudantes e profissionais de computação em temas relacionados à tecnologia da informação que estejam em destaque no Brasil e no mundo, assim como facilitar a troca de experiências entre os participantes.
Esse evento é uma evolução da tradicional SETAC (Semana Técnico-Acadêmica de Computação e Telecomunicações), que já é realizada há mais de 10 anos pelos alunos de computação da PUCPR, tendo como diferencial a integração de 3 grandes universidades do Paraná na sua organização (PUCPR, UTFPR e UFPR).
A 1ª SAITEC será realizada entre os dias 17 e 21 de Agosto de 2009, na Pontifícia Universidade Católica do Paraná. O evento apresentará diversos aspectos dos cursos de computação, além de inovações e tendências da tecnologia aplicada em matéria de pesquisa, desenvolvimento e adaptação ao mercado.

Quem conhecer pessoas ou empresas ou ainda quiser dar palestras/mini-cursos no evento, favor entrar em contato comigo o quanto antes.

Mais informações e inscrições: http://www.caecopr.com/



Receba as postagens deste blog por email