Plano de Ensino IDENTIFICAÇÃO EIXO TECNOLÓGICO: Informação e Comunicação CURSO: Tecnólogo em Sistemas para Internet FORMA/GRAU:( )integrado ( )subsequente ( ) concomitante ( ) bacharelado ( ) licenciatura ( X) tecnólogo MODALIDADE: ( X) Presencial ( ) PROEJA ( ) EaD COMPONENTE CURRÌCULAR: Lógica ANO / SEMESTRE: 1/2013 SEMESTRE ou ANO DA TURMA: 1º semestre TURNO: noite TURMA: 4 CARGA HORÀRIA: 40 horas DIRETOR(A) GERAL DO CAMPUS: Ana Rita Kraemmer da Fontoura DIRETOR (A) DE ENSINO: Alessandro Bazzan DOCENTE(A): Rosana Wagner EMENTA Álgebra booleana. Proposições. Operações Lógicas sobre Proposições. Construção de Tabelas-Verdade. Tautologia, Contradições e Contingências. Implicação Lógica. Álgebra das Proposições. Método Dedutivo. Argumentos, Regras de Inferência. Validade mediante Regras de Inferência. Cálculo de Predicados. OBJETIVO GERAL DO CURSO: OBJETIVOS O Curso Superior de Tecnologia em Sistemas para Internet pretende preparar profissionais qualificados para o mercado digital e para o mundo do trabalho, aptos a oferecer serviços no âmbito interno das organizações, bem como nas relações destas organizações com outras instituições, através de um ambiente virtual conectado com a rede mundial de computadores, integrando a grande rede sem fronteiras da Internet. O curso também objetiva contribuir para o desenvolvimento regional, uma vez que o egresso apresentará um perfil profissional tecnológico atualizado com competência técnica e gerencial adequado às exigências das organizações frente aos desafios e transformações constantes que vem ocorrendo na contemporaneidade, principalmente no que se refere aos sistemas WEB.
São ainda objetivos do curso: Oferecer formação de nível superior de qualidade e gratuita, proporcionando aos tecnólogos conhecimentos técnicos e humanísticos, tornando-os capazes de intervir e contribuir para o desenvolvimento regional; Preparar profissionais aptos a projetar, desenvolver e administrar sistemas para internet, contribuindo para o desenvolvimento e fortalecimento das organizações sociais, produtivas e culturais da região; Articular conhecimentos teóricos à prática profissional, permitindo uma formação ampla e integral, dotando o egresso de habilidades e aptidões que viabilizem sua inserção no mundo do trabalho, de forma consistente e criativa; Possibilitar ao profissional egresso atuar com tecnologias emergentes como a computação móvel, redes sem fio e sistemas distribuídos, bem como atualizar, manter e zelar pela segurança dos sistemas para internet; Estimular um perfil empreendedor no profissional de Sistemas para Internet, desenvolvendo soluções WEB para quaisquer setores, através de consultoria, projetos, oferta ou representação de Tecnologias da Informação, atendendo às demandas e peculiaridades regionais. OBJETIVO DO COMPONENTE CURRICULAR: O cumprimento da disciplina busca dar ao aluno uma visão geral sobre álgebra relacional, proposições e desta forma desenvolver o raciocínio lógico do aluno, preparando-o para as disciplinas de programação e algoritmos. METODOLOGIA Datashow (em aulas expositivas) e exercícios, estudo de texto, elaboração de artigo, seminários (conforme o desenvolvimento de sua aula), Artigos técnicos e científicos relacionados aos temas das unidades. CONTEÚDO PROGRAMÁTICO DATA NºAULAS NOÇÕES PREVISTAS
21/02 2 Introdução a lógica 28/02 2 Feriado 07/03 2 Lógica de proposições 14/03 2 Equivalências lógicas 21/03 2 Operações lógicas sobre proposições 28/03 2 Lógica de predicados 4/04 2 Lógica de predicados 11/04 2 Lógica de predicados 18/04 2 Tautologia 25/04 2 Feriado 2/5 2 Contingência 9/05 2 Equivalências lógicas 16/05 2 Exercício 24/05 2 Prova 30/05 2 Feriado 6/6 2 Trabalho sobre linguagens de programação 13/6 2 Trabalho sobre linguagens de programação 20/06 2 Sintaxe Semântica 27/06 2 Revisão para prova 4/7 2 Prova final 11/7 2 Revisão para exame AVALIAÇÃO Instrumentos a serem usados pelo docente (a): A avaliação do processo de ensino-aprendizagem se dará segundo o regulamento do Instituto Federal Farroupilha, que em seu art. Art. 1º A avaliação deverá ser contínua e cumulativa, assumindo, de forma integrada, no processo de ensino-aprendizagem, as funções diagnóstica, formativa e somativa, com preponderância dos aspectos qualitativos sobre os quantitativos. 2º A avaliação, enquanto elemento formativo e sendo condição integradora entre ensino aprendizagem, deverá ser ampla, contínua, gradual, dinâmica e cooperativa, em que os seus
resultados serão sistematizados, analisados e divulgados ao final de cada semestre letivo e/ou final de cada elemento curricular. A avaliação é trabalhada numa perspectiva formativa, que inclui a análise do processo de ensino-aprendizagem e se materializa nos contextos vividos pelos educadores e educandos. Possui como função primordial o acompanhamento das aprendizagens e a participação efetiva de todos os atores do processo. Baseia-se em princípios que decorrem do cognitivismo, do construtivismo, do interacionismo, das teorias socioculturais e das sóciocognitivas. A avaliação formativa passa, então, a ser concebida no meio educacional do Instituto Federal Farroupilha como um eficiente mecanismo de diagnóstico contínuo, capaz de conduzir, após uma análise de resultados parciais obtidos, a novas estratégias que contemplem os objetivos educacionais propostos. Critérios de avaliação: As avaliações da disciplina serão desenvolvidas da seguinte forma: Fórmula: P1(15%) + P2(40%) +T(45%) Descrição dos instrumentos de avaliação: P1 = prova P2 = prova (cumulativa) T = trabalhos e participação qualitativa na disciplina através do Moodle RECUPERAÇÃO PARALELA: Realização de exercícios e trabalhos extras, com o auxílio do professor e através da revisão dos conteúdos vistos em aula. O aluno deverá entrar em contato com o professor que disponibilizará um horário para auxiliar o aluno. PRÁTICA PROFISSIONAL INTEGRADA (PPI) O componente curricular prevê PPI: ( ) Sim ( X)Não ( )Colaboração Articulação com os componentes curriculares: Banco de Dados II e Redes de Computadores Obs: Se o Componente prevê PPI anexar projeto ao Plano de Trabalho Docente Não haverá. Planejamento da realização das atividades não presenciais BIBLIOGRAFIA BÁSICA: BIBLIOGRAFIA
GLEY, Fabiano Cardoso Xavier. Lógica de Programação. São Paulo: SENAC, 2004. UCCI, Waldir. Lógica de programação: os primeiros passos. São Paulo: Érica, 2002. MANZANO, José Augusto N. G. Lógica estruturada para programação de computadores. São Paulo: Érica, 2002. BIBLIOGRAFIA COMPLEMENTAR: ABE, Jair Minoro; Scalzitti, Alexandre, Filho, João Inácio da Silva. Introdução à Lógica para Ciência da Computação. São Paulo: Arte & Ciência, 2002. FORBELLONE, André Luiz Villar; EBERSPÄCHER, Henri Frederico. Lógica de programação. São Paulo: Makron Books, 2000. BIBLIOGRAFIAS PARA APROFUNDAMENTO GERSTING, Judith L. Fundamentos Matemáticos para a Ciência da Computação. Rio de Janeiro: LTC, 2004. MORTARI, Cezar Augusto. Introdução à Lógica. São Paulo: Unesp, 2001. SOUZA, João Nunes de. Lógica para Ciência da Computação. Rio de Janeiro: Campus, 2002. OBSERVAÇÃO Revisado em / /2013 Por: Coordenação: Sirlei Kowslowski ASSINATURAS Docente: Rosana Wagner Coordenação Geral de Ensino: Jorge Lago Fonseca Supervisão Pedagógica: Carmen Smaniotto