Universidade do Vale do Rio dos Sinos

Reconhecida pela Portaria Ministerial nº 453 de 21/11/1983 - D.O.U de 22/11/1983

Unidade de Apoio de Operações e Serviços
Gerência de Serviços Acadêmicos

CARACTERIZAÇÃO DE ATIVIDADE ACADÊMICA

Identificação

Atividade Acadêmica: 060500 - Lógica

Período Letivo: 2020/1
Carga Horária Total: 90 horas-aula
Distribuição da Carga Horária:
Teoria: 60 horas-aula
Prática: 30 horas-aula

Competências

Avaliar fórmulas das lógicas proposicional (a partir de uma atribuição de valores) e de primeira ordem (sobre
o modelo na qual a fórmula deve ser interpretada);

Modelar propriedades de sistemas computacionais usando lógicas apropriadas;

Inferir novos conhecimentos a respeito de sistema usando sistemas de prova e de verificação para lógica
proposicional e de primeira ordem.

Conhecimentos

Valor verdade. Proposições. Operações lógicas sobre proposições. Sintaxe da lógica proposicional. Fórmulas.
Atribuição. Semântica da lógica proposicional. Tabelas verdade. Atribuição. Avaliação de fórmulas.
Formalização de expressões na lógica proposicional. Argumentos. Validade de um argumento. Verificação da
validade de um argumento por meio de tabelas verdade. Sistemas de prova para a lógica de predicados.
Dedução natural. Lógica de primeira ordem. Quantificadores existenciais e universais. Semântica de fórmulas
quantificadas. Avaliação de fórmulas em lógica de primeira ordem. Modelos. Sistemas de prova para a lógica
de primeira ordem. Determinação algorítmica da validade de argumentos. Árvores de refutação.
Indecidibilidade do cálculo de predicados.

Metodologias, técnicas e recursos de ensino e aprendizagem

Na modalidade à distância, as aulas se desenvolvem dentro da plataforma virtual Moodle-Ambiente de

aprendizagem http://www.moodle.org. O Moodle é um sistema de administração de atividades educacionais
destinado à criação de comunidades on-line, em ambientes virtuais voltados para a aprendizagem. Como
meios de comunicação/interação, utilizam-se fóruns para o desenvolvimento de discussão assincrônica e troca
de material entre os participantes, e-mails, chats para ampliação de discussões sincrônicas (dentro da
plataforma).

Para expansão do conteúdo, utilizam-se um conjunto de ferramentas: arquivos para postagem e

compartilhamento de arquivos comuns; diário individual para registro de dúvidas e apreensões pessoais em
Página 1 de 3

Av. Unisinos, 950 Caixa Postal 275 CEP 93022-750 | São Leopoldo | Rio Grande do Sul | Brasil | Telefone: 51 3591 1122| http://www.unisinos.br
 Universidade do Vale do Rio dos Sinos
Reconhecida pela Portaria Ministerial nº 453 de 21/11/1983 - D.O.U de 22/11/1983
Unidade de Apoio de Operações e Serviços
Gerência de Serviços Acadêmicos

relação à atividade; glossário para o compartilhamento e ligação de termos utilizados pelo curso; página Wiki
para desenvolvimento de atividades de escrita colaborativa; questionários para composição de questões e
resposta cujo material é armazenado em uma base de dados; tarefas para implementação e descrição de
atividades com possibilidades de entrega em arquivo ou texto on-line; lições com roteiros que permitem a
disponibilização de conteúdo em forma de páginas seguidas por perguntas; quadro de notas para integração a
correção de notas pelo professor através da configuração de uma escala de notas. Para além disso, há aulas
remotas (gravação de vídeos das aulas do professor linkados na web). Outras metodologias adequadas ao
contexto de execução da atividade.

Metodologias, técnicas e recursos de avaliação

O Grau A é constituido por atividades virtuais, com peso de 33% do grau final. O Grau B é uma atividade obrigatória
presencial, com peso de 67% do grau final. O Grau C, uma atividade presencial com peso de 67%, recuperando ou
substituindo o GB.

Bibliografia básica
GERSTING, Judith L. Fundamentos matemáticos para a ciência da computação: matemática discreta e
suas aplicações. 7. ed. Rio de Janeiro: LTC, 2016. Disponivel em:
<http://www.biblioteca.asav.org.br/biblioteca_s/acesso_login.php?cod_acervo_acessibilidade=5021724&aces
so=aHR0cHM6Ly9pbnRlZ3JhZGEubWluaGFiaWJsaW90ZWNhLmNvbS5ici9ib29rcy85Nzg4NTIxNjMzMz
Az&label=acesso%20restrito>. Acesso em: 20 mar. 2019.

VELASCO, Patrícia del Nero. Educando para a argumentação: contribuições do ensino da lógica. Belo
Horizonte: Autêntica, 2010. Disponível em:
<http://www.biblioteca.asav.org.br/biblioteca_s/acesso_login.php?cod_acervo_acessibilidade=5014787&aces
so=aHR0cDovL1VuaXNpbm9zLmJ2My5kaWdpdGFscGFnZXMuY29tLmJyL3VzZXJzL3B1YmxpY2F0a
W9ucy85Nzg4NTgyMTc4MTg4&label=acesso%20restrito>. Acesso em: 20 mar. 2019.

GLUZ, João Carlos; PY, Mônica Xavier. Lógica para computação. São Leopoldo: Ed. UNISINOS, 2014.
Disponivel em:
<http://www.biblioteca.asav.org.br/biblioteca_s/acesso_login.php?cod_acervo_acessibilidade=453677&acess
o=aHR0cDovL2JpYmxpb3RlY2EuYXNhdi5vcmcuYnIvdmluY3Vsb3MvMDAwMDQ2LzAwMDA0NjJjLn
BkZg==&label=acesso%20restrito>. Acesso em: 20 mar. 2019.

Bibliografia complementar
BRAGA, Rodrigo Orsini. Matemática para computação. São Leopoldo: Ed. UNISINOS, 2010. Disponivel
em:
<http://www.biblioteca.asav.org.br/biblioteca_s/acesso_login.php?cod_acervo_acessibilidade=453678&acess
o=aHR0cDovL2JpYmxpb3RlY2EuYXNhdi5vcmcuYnIvdmluY3Vsb3MvMDAwMDQ2LzAwMDA0NjMw
LnBkZg==&label=acesso%20restrito>. Acesso em: 20 mar. 2019.

BARBIERI FILHO, Plínio. Fundamentos de informática: lógica para computação. Rio de Janeiro: LTC,
2012. Disponivel em:
<http://www.biblioteca.asav.org.br/biblioteca_s/acesso_login.php?cod_acervo_acessibilidade=5001703&aces
so=aHR0cDovL29ubGluZS5taW5oYWJpYmxpb3RlY2EuY29tLmJyL2Jvb2tzLzk3OC04NS0yMTYtMjE5O
Página 2 de 3

Av. Unisinos, 950 Caixa Postal 275 CEP 93022-750 | São Leopoldo | Rio Grande do Sul | Brasil | Telefone: 51 3591 1122| http://www.unisinos.br
 Universidade do Vale do Rio dos Sinos
Reconhecida pela Portaria Ministerial nº 453 de 21/11/1983 - D.O.U de 22/11/1983
Unidade de Apoio de Operações e Serviços
Gerência de Serviços Acadêmicos

C0w&label=acesso%20restrito>. Acesso em: 20 mar. 2019.

NICOLETTI, Maria do Carmo. A cartilha da lógica. 3. ed. Rio de Janeiro: LTC, 2017. Disponível em:
<http://www.biblioteca.asav.org.br/biblioteca_s/acesso_login.php?cod_acervo_acessibilidade=5021489&aces
so=aHR0cHM6Ly9pbnRlZ3JhZGEubWluaGFiaWJsaW90ZWNhLmNvbS5ici9ib29rcy85Nzg4NTIxNjMzN
DMz&label=acesso%20restrito>. Acesso em: 20 mar. 2019.

DIX, Jürgen; LEITE, João. Preface to the special issue on computational logics in multi-agent systems.
Annals of Mathematics & Artificial Intelligence. v. 62, n. 1/2, p. 1-5. Nov, 2011. Disponível em:
<https://link-springer-com.ez101.periodicos.capes.gov.br/article/10.1007%2Fs10472-011-9269-3>. Acesso
em: 20 mar. 2019.

BISPO, Carlos Alberto Ferreira; CASTANHEIRA, Luiz Batista; SOUZA FILHO, Oswaldo Melo.
Introdução à lógica matemática. São Paulo: Cengage Learning, c2012. Disponivel em:
<http://www.biblioteca.asav.org.br/biblioteca_s/acesso_login.php?cod_acervo_acessibilidade=5036250&aces
so=aHR0cHM6Ly9iaWJsaW90ZWNhdmlydHVhbC5jZW5nYWdlLmNvbS9saWJyYXJ5X2Jvb2tzP2Jvb2s9
NDMwJmxpYnJhcnk9ODM5&label=acesso%20restrito>. Acesso em: 20 mar. 2019.

Página 3 de 3

Av. Unisinos, 950 Caixa Postal 275 CEP 93022-750 | São Leopoldo | Rio Grande do Sul | Brasil | Telefone: 51 3591 1122| http://www.unisinos.br