Campus: So Paulo

Curso: Cincia da Computao

PLANO de ENSINO
DISCIPLINA
Lgica e Matemtica Discreta

CD. DISCIPLINA
LOMAD

PROFESSOR
Prof. Msc. Edmar Santos

ANO/SEMESTRE

CRDITOS

CARGA HORRIA EM SALA DE

AULA (H)

CARGA HORRIA EM ESPAOS

DIVERSIFICADOS (H)

CARGA HORRIA EAD

(H)

CARGA
HORRIA
TOTAL (H)

2015/1

30

36

72

EMENTA
Clculo Proposicional, Lgica de Primeira Ordem, Conjuntos, Relaes, Funes, Ordens Parciais e Totais, lgebra Booleana, Estruturas Algbricas;
PERFIL DO EGRESSO
O campo de trabalho dos Bacharis em Cincia da Computao, formados pelo curso em questo, incluir tanto empresas e
organizaes pertencentes aos diversos setores da economia, quanto instituies de pesquisa. Os profissionais estaro aptos a exercer
funes que envolvam o desempenho das seguintes atividades:

Programao: Inclui o desenvolvimento de programas utilizando linguagens de programao de diferentes paradigmas e

caractersticas, tais como linguagens orientadas a objetos, funcionais, procedimentais, concorrentes, lgicas, para execuo em
ambiente web (internet), entre outras.

Desenvolvimento de Sistemas de Software: Inclui anlise e projeto de sistemas pertencentes a diferentes classes, tais como
software bsico, ferramentas, sistemas de automao comercial, sistemas de tempo real, etc. Tanto o desenvolvimento de
sistemas novos como a reengenharia e manuteno de sistemas existentes podero ser abordados.

Projeto de Redes. Inclui a especificao, projeto, implementao e anlise de desempenho de redes de computadores e
sistemas distribudos, para atender tipos distintos de problemas e ambientes.

Desenvolvimento de Sistemas Avanados. Inclui a anlise, projeto e implementao de sistemas de software e aplicaes
dedicadas, que demandem o uso de tecnologias recentes de computao grfica, multimdia, realidade virtual, inteligncia
artificial, trabalho cooperativo, interfaces homem-computador, entre outras.

A formao dos profissionais para atender s funes descritas requer um currculo de curso que oferea conhecimentos
compreendendo: fundamentos tericos da computao, tcnicas bsicas da computao, principais tecnologias computacionais, e
aplicaes multidisciplinares. Alm destes conhecimentos, fundamental que os alunos desenvolvam uma base slida em temas
humansticos, em matrias de domnio conexo e em questes pertinentes ao contexto social e profissional.

A computao uma rea recente, que vem evoluindo em ritmo acelerado. Para acompanhar essa evoluo, o Bacharel em Cincia
da Computao deve ser capaz de desenvolver e adaptar seus conhecimentos e habilidades, estar atento aos impactos sociais
provenientes da introduo de novas tecnologias, e atuar como um agente de mudana na absoro e disseminao das inovaes
tecnolgicas.
O profissional egresso do Curso de Bacharelado em Cincia da Computao deve possuir conhecimento tcnico-cientfico
compatvel com as exigentes condies de um mercado em constante atualizao. Para tanto, dever desenvolver o pensamento lgico,
o raciocnio abstrato e a viso sistmica. Dever ter conscincia das reais necessidades e possibilidades do cidado e das caractersticas
da sociedade na qual est inserido. Alm disso, dever dominar instrumentos, mtodos e tcnicas que permitam desenvolver sua
profisso, respondendo a situaes concretas e gerais com condies de exercer liderana e manter comportamento tico que se
ajustem dinmica de uma sociedade em constante transformao.
Dever o graduado em Cincia da Computao, alm dos conhecimentos tcnico-cientficos, ter conscincia e percepo dos reais
valores humanos, colaborando como agente coadjuvante na formao de uma sociedade mais equilibrada e justa. Para tanto, dever ser
um profissional pautado por profunda considerao pelo ser humano e respeito pela cincia na qual se especializou, e do qual se espera
a busca da contnua atualizao.

COMPETNCIAS E HABILIDADES (C Hab)

a) Incentivar a pesquisa mediante anlise e investigao da realidade;
b) Dominar as tcnicas utilizadas no mercado global e entender o processo profissional;
c) Ser capaz de evoluir ao longo do tempo exercitando o seu conhecimento matemtico indispensvel ao entendimento da
computao;
d) Possuir os fundamentos tericos da computao a fim de possibilit-lo facilmente a adaptar-se s novas tecnologias;
e) Procurar uma atualizao constante das tcnicas e instrumentos educacionais em conjunto com as tcnicas e
instrumentos computacionais;
f) Ser um cidado e respeitar os valores humanos e sociais.
g) Buscar constante aprimoramento profissional e pessoal por meio da educao continuada, apropriando-se de novas
formas de aprender, conectadas com a realidade concreta, aprimorando a independncia intelectual, o exerccio da
crtica e autonomia no aprender;

h) Desenvolver trabalhos em equipe utilizando-se de princpios ticos e de cidadania, de relacionamento interpessoal, de

raciocnio lgico e criatividade;

OBJETIVOS
Objetivo Conceitual:
Obj01 - Diferenciar entre os conceitos da matemtica discreta (aplicada Computao) e a matemtica continua;
Obj02 - Capacitar-se para aplicar os conceitos computacionais em forma rigorosa na mesma forma que os conceitos matemticos e lgicos;
Objetivo Procedimental:
Obj03 - Traduzir objetos lgicos em objetos computacionais atravs de exerccios;
Obj04 - Representar objetos computacionais na forma de objetos grficos e matemticos (grafos, conjuntos, etc.);
Objetivo Atitudinal:
Obj05 - Desenvolver o conhecimento e a criatividade com vista ao crescimento profissional.
Obj06 - Estimular-se para participar de atividades extra-classe, visitas e eventos relacionados ao curso, nos seus mltiplos aspectos, para ampliao de
conhecimentos e de vivncia profissional;

Obj07 - Relacionar-se com os colegas a fim de adquirir, assimilar e compartilhar experincias.

Obj08 - Desenvolver e vivenciar os princpios da tica e valores bblico-cristos no ambiente escolar.
C Hab

Obj

CONTEDO

c,d,f,g,
h

Todos

Clculo Proposicional

c,d,f,g,
h

Todos

Lgica de Primeira Ordem

c,d,f,g,
h

Todos

Conjuntos

c,d,f,g,
h

Todos

Relaes

c,d,f,g,
h

Todos

Funes

c,d,f,g,
h

Todos

Ordens Parciais e Totais

c,d,f,g,
h

Todos

lgebra Booleana

c,d,f,g,
h

Todos

Estruturas Algbricas

METODOLOGIA
Exposio oral e dialogada, atendimento pessoal com
acompanhamento de atividades com Reforo e planto de
dvidas;
Exposio oral e dialogada, atendimento pessoal com
acompanhamento de atividades com Reforo e planto de
dvidas;
Exposio oral e dialogada, atendimento pessoal com
acompanhamento de atividades com Reforo e planto de
dvidas;
Exposio oral e dialogada, atendimento pessoal com
acompanhamento de atividades com Reforo e planto de
dvidas;
Exposio oral e dialogada, atendimento pessoal com
acompanhamento de atividades com Reforo e planto de
dvidas;
Exposio oral e dialogada, atendimento pessoal com
acompanhamento de atividades com Reforo e planto de
dvidas;
Exposio oral e dialogada, atendimento pessoal com
acompanhamento de atividades com Reforo e planto de
dvidas;
Exposio oral e dialogada, atendimento pessoal com
acompanhamento de atividades com Reforo e planto de
dvidas;
*Aulas a distncia

DESCRIO DAS ATIVIDADES EM ESPAOS DIVERSIFICADOS

Modalidade da atividade: Resoluo de Exerccios (Tipo A1)
Relao das atividades:
A1:Q1 - Introduo Lgica e Matemtica Discreta Lgica;

CARGA
HORRIA (H)
4
6*
6
9*
6
10*
6
7*
2
2*
2
2
2*
2

CARGA HORRIA
(H)
6

A1:Q2 - Construo de tabelas verdade de proposies complexas;

A1:Q3 - Implicaes, equivalncias lgicas e tautologias;
A1:Q4 - Negao conjunta e disjunta;
A1:Q5 - Operaes lgicas com sentenas abertas com 1, 2 e 'n' variveis;
A1:Q6 - Expresses com quantificadores;
A1:Q7 - Teoria dos Conjuntos;
INSTRUMENTOS E CRITRIOS DE AVALIAO
Avaliaes:
Tipo A1 - Exerccios (Peso 5) - (previso de 7 exerccios valendo cada um 5/7 pontos)
Tipo A2 - Avaliao Terica (Peso 4) - (previso de 2 avaliaes)
Tipo A3 - Avaliao Interdisciplinar de Curso (Peso 1)
Nota Final: A1 + A2 + A3
*No h atividade de reposio ou substituio
DESCRIO DA INTERDISCIPLINARIDADE
O projeto dessa disciplina no prev aes explcitas de interdisciplinaridade, contudo ela se relaciona diretamente s disciplinas mencionadas abaixo porque
seus conceitos lgicos e da matemtica discreta so fundamentais para a estrutura de cada um a delas:
Algebra Linear
Arquitetura de Computadores I e II
Clculo I e II
Compiladores
Construo de Algoritmos e Programao I e II
Estrutura de dados I e II
Geometria Analtica
Laboratrio de Programao I e II
Linguagens Formais e Autmatos
Teoria da Computao
INTEGRAO COM A FILOSOFIA INSTITUCIONAL
Esta disciplina est integrada com a filosofia institucional ao destacar os valores que devem ser vivenciados com colegas, monitores e professores no
ambiente de aula e nos trabalhos ou estudos em grupo. Nesse ambiente, procura-se buscar o desenvolvimento dos valores ticos e cristos, com nfase
nos relacionamentos interpessoais, valorizando a responsabilidade, a autodisciplina, a educao, a honestidade, a lealdade, o respeito, a solidariedade,
apoiados na f em Deus e no respeito ao prximo. Considera-se tambm relevante o incentivo ao uso das habilidades e talentos de cada indivduo no

servio para o bem do prximo. Assim, o graduado na rea da Computao dever, alm de dominar conhecimentos tcnico-cientficos, ter conscincia e
percepo dos reais valores humanos, colaborando para a formao de uma sociedade mais equilibrada e justa. Para tanto, dever ser um profissional
pautado por profunda considerao pelo ser humano, f em Deus e respeito pela cincia na qual se especializou, e na qual se espera que busque contnua
atualizao.
BIBLIOGRAFIA BSICA
1. MENEZES, Paulo Blauth. Matemtica discreta para computao e informtica. 2. ed. Porto Alegre: Bookman, 2008. 244 p., il. (Livros didticos).
ISBN 978-85-7780-269-2. {classificao: 004.0151 / notao: M512m}
2. GERSTING, Judith L. Fundamentos matemticos para a cincia da computao. Traduo de Lcio Leo Fialho, Manoel. Martins Filho. 4. ed. Rio de
Janeiro: LTC, 2001. xviii, 518, il. ISBN 85-216-104-6. {classificao: 511 / notao: G328f}
3. ALENCAR FILHO, Edgard de. Iniciao Lgica Matemtica. So Paulo: Nobel, 2008. 203 p. ISBN 978-85-213-0403-6. {classificao: 511.3 /
notao:A353i }

1.
2.
3.
4.

BIBLIOGRAFIA COMPLEMENTAR
SOUZA, Joo Nunes de. Lgica para cincia da computao: fundamentos de linguagem, semntica e sistemas de deduo. Rio de Janeiro: Campus,
2002. 308 p., il. ISBN 85-352-1093-8. {classificao: 551.3 / notao: S715l}
CASTRUCCI, Benedito. Introduo Lgica Matemtica. 2. ed. So Paulo: G.E.E.M., 1974. 223 p., il. (Professor). {classificao: 511.3/
notao:C353i}
CYRINO, Hlio Fernando Ferreira; ARANTES, Fernando Antonio. Lgica matemtica, lgica digital. Campinas: Papirus, 1984. 79 p., il..
{classificao: 511.3/ notao:C997L}
BOAVENTURA NETTO, Paulo Oswaldo. Grafos: teoria, modelos, algoritmos. So Paulo: Edgard Blucher, 1996. 405 p., il. {classificao: 511.5/
notao: B636g}