Informações Gerais

Este grupo é destinado à discussão da disciplina de Lógica para alunos de Ciência da Computação da Universidade Federal de Campina Grande. Mais informações sobre a disciplina, consultar as páginas disponíveis no grupo. 
Horário: Qua 8-10h, Sex 10-12h
Sala: A definir


Acompanhe sua nota na planilha.

Grupo da disciplina (inscrição obrigatória)

A Lógica é uma das ciências mais antigas, mas com grande aplicação na atualidade. Suas origens datam do século IV a.C., sendo posterior apenas à Filosofia e Matemática, com as quais sempre esteve conectada. Os conhecimentos da Lógica foram revitalizados no século XX, graças a aplicação de novas técnicas da matemática e, nos últimos 50 anos teve sua importância ressaltada, devido às aplicações na Ciência da 
Computação e no Processamento da Informação (Priest, G.Logic - A very short introduction. Oxford University Press, 2000).

Veja também essa matéria do Fantástico sobre Lógica.

Ao lado, a pintura "A escola de Atenas" de Rafael Sanzio, localizada no Vaticano.Esta pintura contempla 21 filósofos e matemáticos da Antiguidade, dentre eles Aristóteles, considerado o pai da Lógica e do método científico. Mais detalhes podem ser vistos aqui.