Lógica para Computação - Histórico de revisão

Adolfo em 19h54min de 29 de maio de 2013

2013-05-29T19:54:45Z

Adolfo em 19h54min de 29 de maio de 2013

2013-05-29T19:54:34Z

Adolfo em 19h54min de 29 de maio de 2013

2013-05-29T19:54:06Z

Adolfo em 19h53min de 29 de maio de 2013

2013-05-29T19:53:12Z

Adolfo em 19h52min de 29 de maio de 2013

2013-05-29T19:52:14Z

Adolfo em 19h51min de 29 de maio de 2013

2013-05-29T19:51:54Z

Adolfo: /* Em construção */

2011-09-16T15:48:12Z

Em construção

Adolfo: /* Em construção */

2011-09-16T15:47:36Z

Em construção

Adolfo: /* Objetivos da disciplina */

2010-08-12T18:18:26Z

Objetivos da disciplina

Adolfo: /* Bibliografia Básica */

2010-08-10T12:33:35Z

Bibliografia Básica

← Versão anterior		Edição de 19h54min de 29 de maio de 2013
Linha 18:		Linha 18:


−	~~= Bibliografia Básica =~~

−	* SILVA, Flávio S. C. da; FINGER, Marcelo; MELO, Ana C. V. de. '''Lógica para Computação'''. São Paulo: Thomson Learning, 2006.
−	** Este livro conquistou o [http://www.agencia.fapesp.br/materia/7716/especiais/questao-de-logica.htm primeiro lugar do Prêmio Jabuti 2007 na categoria Ciência Exatas, Tecnologia e Informática.]
−	** [[Respostas dos Exercícios do livro "Lógica para Computação"]]
−
−	* HUTH, Michael; RYAN, Mark. '''Lógica em Ciência da Computação:''' modelagem e argumentação sobre sistemas. Segunda edição. Editora LTC: 2008. 326 p.
−	** Tradução de:
−	*** HUTH, Michael; RYAN, Mark. '''Logic in Computer Science:''' modelling and reasoning about systems. Segunda edição. Cambridge University Press: 2004. 427 p.
−	*** Página do livro original (contém errata): http://www.cs.bham.ac.uk/research/projects/lics/
−
−	* SOUZA, João N. de. '''Lógica para Ciência da Computação.''' Segunda edição. Rio de Janeiro: 2008.
−	** Leia resenha ''bastante'' crítica de Walter Carnielli sobre a primeira edição deste livro publicada na revista Espiral: http://www.eca.usp.br/njr/espiral/noosfera18b.htm. Leia também, de Carnielli e Coniglio, uma crítica mais detalhada: '''A lógica e o consortio daemoniorum'''. Disponível em: <ftp://ftp.cle.unicamp.br/pub/arquivos/educacional/consortio-daemoniorum.pdf>. Acesso em: 09 dez. 2008.

	= [[Lógica para Computação - Bibliografia Complementar \| Bibliografia Complementar]] =		= [[Lógica para Computação - Bibliografia Complementar \| Bibliografia Complementar]] =

← Versão anterior		Edição de 19h54min de 29 de maio de 2013
Linha 5:		Linha 5:
	* [[Competências da disciplina Lógica para Computação]]		* [[Competências da disciplina Lógica para Computação]]
	* [[Por que estudar Lógica (para Computação)?]]		* [[Por que estudar Lógica (para Computação)?]]
		+	* [[Bibliografia Básica da disciplina Lógica para Computação]]
		+

@@ Linha 4: / Linha 4: @@
 * [[Objetivos da disciplina Lógica para Computação]]
 * [[Competências da disciplina Lógica para Computação]]
@@ Linha 11: / Linha 13: @@
 = Bibliografia Básica =

← Versão anterior		Edição de 19h53min de 29 de maio de 2013
Linha 3:		Linha 3:

	* [[Objetivos da disciplina Lógica para Computação]]		* [[Objetivos da disciplina Lógica para Computação]]
		+	* [[Competências da disciplina Lógica para Computação]]


Linha 10:		Linha 11:


−
−	~~=== Em construção ===~~
−
−	~~Ao final da disciplina o aluno deverá será capaz de:~~
−
−	* Sintaxe e Semântica de Lógica Proposicional
−	* Sintaxe de Lógica de Predicados
−	* Algum método de demonstração (Tablôs Analíticos e/ou KE) para Lógica Proposicional
−	**(os três itens acima são assuntos da prova 1 - serão cobrados indiretamente)
−
−	* Algum método de demonstração (Tablôs Analíticos e/ou KE) para Lógica de Predicados
−	** saber fazer demonstrações de sequentes da lógica de predicados usando o sistema KE
−
−	* Substituição/Unificação (ver Apostila)
−	** conceitos (substituição, unificação, unificador mais geral, etc.)
−	** saber executar o Algoritmo de Unificação
−
−	* Semântica de Lógica de Predicados (Cap.2 HuthRyan)
−	** conceitos (modelo, tabela/contexto, etc.)
−	** saber construir um modelo para uma fórmula/sequente
−	** saber demonstrar se um modelo satisfaz/falsifica/valida uma fórmula/sequente
−
−	* Formas Normais (Cap.3 de SFM06):
−	** saber obter a forma normal conjuntiva/disjuntiva de uma fórmula, justificando cada passo.
−	** conceitos
−
−	~~Prolog (livro do Eloi Favero):~~
−	** Saber qual vai ser a resposta do Prolog a determinadas consultas (com uso, inclusive, de assert e retract) (ex.: mini-prova 2 do BSI)
−	** Saber escrever programinhas do nível de complexidade dos vistos em sala de aula (ex.: questões genealógicas) exceto Torre de Hanoi
−	** conceitos
−
−	* Especificação Formal (Cap.6 de SFM06):
−
−	** Saber escrever uma especificação de uma operação (ex. Copa dp Brasil, Jogo da Velha, Ordenações de Vetores)
−	** conceitos
−
−	* Verificação Formal (Cap.6 de SFM06):
−
−	** ideia geral de todos os conceitos (sistema, regras, correção, completude, etc).
−	** Correção Parcial
−	** Até antes de While Parcial
−	** saber escrever uma demonstração em formato de tabela
−	** While Parcial
−	** (NÃO) saber escrever uma demonstração em formato de tabela
−	** saber ver uma demonstração em formato de tabela e dizer se ela está correta ou não
−	** Correção Total
−	** While Total
−	**(NÃO) saber ver uma demonstração em formato de tabela e dizer se ela está correta ou não
−	** NÃO exigirei que saiba escrever uma demonstração

	= Porque estudar lógica? =		= Porque estudar lógica? =

← Versão anterior		Edição de 19h52min de 29 de maio de 2013
Linha 9:		Linha 9:
	* [[Lógica para Computação - Ementa e pré-requisitos \| Ementa e pré-requisitos]]		* [[Lógica para Computação - Ementa e pré-requisitos \| Ementa e pré-requisitos]]

−	~~== Objetivos da disciplina ==~~
−
−	* Os objetivos da disciplina Lógica para Computação são "desenvolver conceitos de lógica proposicional e de predicados, prova automática de teoremas e programação em lógica".

−	* O papel desta disciplina é o de mostrar como uma lógica pode ser vista como uma linguagem de especificação tanto de sistemas como de suas propriedades.
−
−	* Sendo assim, pode-se entender a disciplina como o estudo das lógicas proposicional e predicativa do ponto de vista da verificação de propriedades por elas expressas, permitindo que o aluno seja capaz de identificar o tipo de lógica que pode ser usada para especificar um sistema ou propriedade, bem como realizar a modelagem de sistemas e propriedades por meio da lógica escolhida.

	=== Em construção ===		=== Em construção ===

← Versão anterior		Edição de 19h51min de 29 de maio de 2013
Linha 1:		Linha 1:
	= Informações Gerais =		= Informações Gerais =
		+
		+
		+	* [[Objetivos da disciplina Lógica para Computação]]
		+

	* [[Lógica para Computação - Professores responsáveis \| Professores responsáveis]]		* [[Lógica para Computação - Professores responsáveis \| Professores responsáveis]]

@@ Linha 19: / Linha 19: @@
 * Sintaxe e Semântica de Lógica Proposicional
 * Sintaxe de Lógica de Predicados
-* Algum método de demosntração para Lógica Proposicional (TAbv
+* Algum método de demonstração (Tablôs Analíticos e/ou KE) para Lógica Proposicional
 **(os três itens acima são assuntos da prova 1 - serão cobrados indiretamente)
-* KE para Lógica de Predicados
+* Algum método de demonstração (Tablôs Analíticos e/ou KE) para Lógica de Predicados
 ** saber fazer demonstrações de sequentes da lógica de predicados usando o sistema KE

← Versão anterior		Edição de 18h18min de 12 de agosto de 2010
Linha 12:		Linha 12:

	* Sendo assim, pode-se entender a disciplina como o estudo das lógicas proposicional e predicativa do ponto de vista da verificação de propriedades por elas expressas, permitindo que o aluno seja capaz de identificar o tipo de lógica que pode ser usada para especificar um sistema ou propriedade, bem como realizar a modelagem de sistemas e propriedades por meio da lógica escolhida.		* Sendo assim, pode-se entender a disciplina como o estudo das lógicas proposicional e predicativa do ponto de vista da verificação de propriedades por elas expressas, permitindo que o aluno seja capaz de identificar o tipo de lógica que pode ser usada para especificar um sistema ou propriedade, bem como realizar a modelagem de sistemas e propriedades por meio da lógica escolhida.
		+
		+	=== Em construção ===
		+
		+	Ao final da disciplina o aluno deverá será capaz de:
		+
		+	* Sintaxe e Semântica de Lógica Proposicional
		+	*Sintaxe de Lógica de Predicados
		+	* KE para Lógica Proposicional
		+	**(os três itens acima são assuntos da prova 1 - serão cobrados indiretamente)
		+
		+	* KE para Lógica de Predicados
		+	** saber fazer demonstrações de sequentes da lógica de predicados usando o sistema KE
		+
		+	* Substituição/Unificação (ver Apostila)
		+	** conceitos (substituição, unificação, unificador mais geral, etc.)
		+	** saber executar o Algoritmo de Unificação
		+
		+	* Semântica de Lógica de Predicados (Cap.2 HuthRyan)
		+	** conceitos (modelo, tabela/contexto, etc.)
		+	** saber construir um modelo para uma fórmula/sequente
		+	** saber demonstrar se um modelo satisfaz/falsifica/valida uma fórmula/sequente
		+
		+	* Formas Normais (Cap.3 de SFM06):
		+	** saber obter a forma normal conjuntiva/disjuntiva de uma fórmula, justificando cada passo.
		+	** conceitos
		+
		+	Prolog (livro do Eloi Favero):
		+	** Saber qual vai ser a resposta do Prolog a determinadas consultas (com uso, inclusive, de assert e retract) (ex.: mini-prova 2 do BSI)
		+	** Saber escrever programinhas do nível de complexidade dos vistos em sala de aula (ex.: questões genealógicas) exceto Torre de Hanoi
		+	** conceitos
		+
		+	* Especificação Formal (Cap.6 de SFM06):
		+
		+	** Saber escrever uma especificação de uma operação (ex. Copa dp Brasil, Jogo da Velha, Ordenações de Vetores)
		+	** conceitos
		+
		+	* Verificação Formal (Cap.6 de SFM06):
		+
		+	** ideia geral de todos os conceitos (sistema, regras, correção, completude, etc).
		+	** Correção Parcial
		+	** Até antes de While Parcial
		+	** saber escrever uma demonstração em formato de tabela
		+	** While Parcial
		+	** (NÃO) saber escrever uma demonstração em formato de tabela
		+	** saber ver uma demonstração em formato de tabela e dizer se ela está correta ou não
		+	** Correção Total
		+	** While Total
		+	**(NÃO) saber ver uma demonstração em formato de tabela e dizer se ela está correta ou não
		+	** NÃO exigirei que saiba escrever uma demonstração

	= Porque estudar lógica? =		= Porque estudar lógica? =

@@ Linha 32: / Linha 32: @@
 ** [[Respostas dos Exercícios do livro "Lógica para Computação"]]
-* HUTH, Michael; RYAN, Michael. '''Lógica em Ciência da Computação:''' modelagem e argumentação sobre sistemas. Segunda edição. Editora LTC: 2008. 326 p.
+* HUTH, Michael; RYAN, Mark. '''Lógica em Ciência da Computação:''' modelagem e argumentação sobre sistemas. Segunda edição. Editora LTC: 2008. 326 p.
 ** Tradução de:
-*** HUTH, Michael; RYAN, Michael. '''Logic in Computer Science:''' modelling and reasoning about systems. Segunda edição. Cambridge University Press: 2004. 427 p.
+*** HUTH, Michael; RYAN, Mark. '''Logic in Computer Science:''' modelling and reasoning about systems. Segunda edição. Cambridge University Press: 2004. 427 p.
 *** Página do livro original (contém errata): http://www.cs.bham.ac.uk/research/projects/lics/