Páginas novas
De Wiki DAINF
- 11h56min de 5 de agosto de 2013 Projeto Integrado - Turma S73 - 2013.1 (hist) [4 164 bytes] Adolfo (disc | contribs) (Criou página com ' = O que é o Projeto Integrado do Primeiro Período do Bacharelado em Sistemas de Informação? = Leia [[Projeto Integrado do Primeiro Período do Bacharelado em Sistemas de...')
- 17h54min de 29 de maio de 2013 Bibliografia Básica da disciplina Lógica para Computação (hist) [1 732 bytes] Adolfo (disc | contribs) (Criou página com '= 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 c...')
- 17h54min de 29 de maio de 2013 Por que estudar Lógica (para Computação)? (hist) [830 bytes] Adolfo (disc | contribs) (Criou página com '= Porque estudar lógica? = * [http://userweb.cs.utexas.edu/~rlc/whylog.htm Why Logic is Important for Computer Science and Mathematics] * [http://people.ucalgary.ca/~rzach/...')
- 17h53min de 29 de maio de 2013 Competências da disciplina Lógica para Computação (hist) [2 232 bytes] Adolfo (disc | contribs) (Criou página com '=== 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é...')
- 17h52min de 29 de maio de 2013 Objetivos da disciplina Lógica para Computação (hist) [797 bytes] Adolfo (disc | contribs) (Criou página com '== 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 ...')