http://dainf.ct.utfpr.edu.br/wiki/index.php?feed=atom&namespace=0&title=Especial%3AP%C3%A1ginas_novas 2026-04-09T00:12:03Z De Wiki DAINF MediaWiki 1.18.1 http://dainf.ct.utfpr.edu.br/wiki/index.php/Projeto_Integrado_-_Turma_S73_-_2013.1 2013-08-05T13:56:47Z

<p>Adolfo: /* IMPORTANTE */</p> <hr /> <div><br /> = O que é o Projeto Integrado do Primeiro Período do Bacharelado em Sistemas de Informação? =<br /> <br /> Leia [[Projeto Integrado do Primeiro Período do Bacharelado em Sistemas de Informação]].<br /> <br /> = Equipe de Professores diretamente envolvidos =<br /> <br /> * Adolfo Neto (Lógica para Computação) - Professor Responsável<br /> * Silvia (Algoritmos 1)<br /> * Bogdan (Fundamentos 1)<br /> * Bernardes (TGS)<br /> <br /> == Demais professores do primeiro período ==<br /> <br /> * (EM CONSTRUÇÃO)<br /> <br /> = Descrição do Projeto =<br /> <br /> <br /> ((EM CONSTRUÇÃO))<br /> <br /> <br /> == Funcionalidades essenciais ==<br /> <br /> ((EM CONSTRUÇÃO))<br /> <br /> <br /> == Funcionalidades desejáveis ==<br /> <br /> ((EM CONSTRUÇÃO))<br /> <br /> = Regras =<br /> <br /> * Quantidade de membros na equipe: 3.<br /> ** Observação: caso um ou dois integrantes da equipe desistam de uma ou mais disciplinas ao longo do semestre, a equipe poderá escolher entre permanecer a mesma ou fundir-se com outra equipe. O professor responsável pela gerência do projeto analisará cada caso.<br /> <br /> = Equipes =<br /> <br /> ((EM CONSTRUÇÃO))<br /> <br /> <br /> <br /> == O que cada equipe precisa entregar? ==<br /> <br /> &lt;!--<br /> # '''Software funcionando''' (incluindo código-fonte com licenca aberta)<br /> # '''Documento''' descrevendo o software, contendo as seguintes seções:<br /> ## Introdução<br /> ## '''Diagramas de Fluxo de Dados''' (mais informações com o professor de TGS)<br /> ## '''Especificação Formal''' (mais informações com o professor de Lógica para Computação)<br /> ## '''Algoritmos Utilizados''' (mais informações com a professora de Algoritmos 1)<br /> ## '''Design e Implementação do Sistema''' (mais informações com a professora de Fundamentos de Programação 1)<br /> ## Conclusão<br /> <br /> <br /> ''O documento deve seguir as [http://www.utfpr.edu.br/dibib/normas-para-elaboracao-de-trabalhos-academicos normas para a elaboração de trabalhos acadêmicos da UTFPR].''<br /> <br /> De acordo com o que está na [http://www.utfpr.edu.br/dibib/normas-para-elaboracao-de-trabalhos-academicos/normas_trabalhos_utfpr.pdf página 16 das normas], o documento deverá conter os seguintes elementos:<br /> # Capa<br /> # Folha de rosto<br /> # Sumário<br /> # Introdução<br /> # Desenvolvimento (dividido em seções como visto acima)<br /> # Conclusão<br /> # Referências<br /> <br /> ''Não é necessário Resumo, Abstract, Lista de Ilustrações, Lista de Tabelas, etc.''<br /> <br /> Instruções sobre como elaborar estes elementos e sobre como fazer citações (''muito importante!'') podem ser encontradas nas normas. A equipe da [http://www.ct.utfpr.edu.br/biblioteca/ Biblioteca da UTFPR] e o(a) professor(a) de Comunicação Oral e Escrita também podem ajudar quanto às questões de escrita do documento.<br /> <br /> <br /> --&gt;<br /> <br /> === Avaliação ===<br /> <br /> <br /> &lt;!--<br /> <br /> A cada item do documento/implementação será atribuído um peso. Em adição, a equipe que obtiver a melhor pontuação nas &quot;funcionalidades desejáveis&quot; obterá um acréscimo de 10% na nota.<br /> <br /> Baseados nestes itens os professores estabelecerão uma nota.<br /> <br /> A nota pode ser diferente por disciplina, por membro da equipe. Ex.: na equipe A, com os membros A1, A2 e A3, A1 pode tirar 10 em Algoritmos, 9 em Lógica e 8 em Fundamentos 1. Na mesma equipe, os membros A2 e A3 podem tirar 9 em Algoritmos, 8 em Lógica e 8 em Fundamentos 1.<br /> <br /> Uma única nota será repassada ao professor de TGS.<br /> <br /> <br /> <br /> Algumas métricas que também serão avaliadas:<br /> * qualidade do código em geral<br /> ** quantidade de variáveis globais<br /> ** concordância com padrões de codificação (regras para nomear símbolos, por exemplo)<br /> ** qualidade e quantidade dos comentários<br /> ** adequabilidade das funções/métodos de API escolhidos<br /> * grau de modularização:<br /> ** número de funções/métodos x linhas por função/método<br /> ** quantidade de funções/métodos chamadas mais de uma vez<br /> <br /> <br /> --&gt;<br /> <br /> = Datas Importantes =<br /> <br /> <br /> * Defesas: de 23 a 27/09/2013<br /> <br /> &lt;!--<br /> <br /> * Até 16.09.2011: definição das equipes<br /> * Até 26.09.2011: entrega de documento descrevendo o jogo PacMan.<br /> * (prof. Bernardes definiu): Entrega dos Diagramas de Fluxo de Dados<br /> * 25.11.2011: Entrega do documento para o(a) professor(a) de Comunicação Oral e Escrita, para revisão<br /> * 06.12.2011 10h00: Entrega do documento e do código-fonte (via Moodle)<br /> * 06 a 09.12.2011: Bancas do projeto integrado<br /> <br /> <br /> --&gt;<br /> <br /> = IMPORTANTE =<br /> <br /> '''Os melhores trabalhos poderão ser apresentados na ExpoUT 2013!'''</div>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php/Bibliografia_B%C3%A1sica_da_disciplina_L%C3%B3gica_para_Computa%C3%A7%C3%A3o 2013-05-29T19:54:50Z

<p>Adolfo: /* Bibliografia Básica de Lógica para Computação */</p> <hr /> <div>= Bibliografia Básica de [[Lógica para Computação]]=<br /> <br /> * SILVA, Flávio S. C. da; FINGER, Marcelo; MELO, Ana C. V. de. '''Lógica para Computação'''. São Paulo: Thomson Learning, 2006. <br /> ** 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.]<br /> ** [[Respostas dos Exercícios do livro &quot;Lógica para Computação&quot;]]<br /> <br /> * 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. <br /> ** Tradução de:<br /> *** HUTH, Michael; RYAN, Mark. '''Logic in Computer Science:''' modelling and reasoning about systems. Segunda edição. Cambridge University Press: 2004. 427 p. <br /> *** Página do livro original (contém errata): http://www.cs.bham.ac.uk/research/projects/lics/<br /> <br /> * SOUZA, João N. de. '''Lógica para Ciência da Computação.''' Segunda edição. Rio de Janeiro: 2008.<br /> ** 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: &lt;ftp://ftp.cle.unicamp.br/pub/arquivos/educacional/consortio-daemoniorum.pdf&gt;. Acesso em: 09 dez. 2008.<br /> <br /> * FAVERO, Eloi Luiz. '''Programação em Prolog: Uma Abordagem Prática.''' Disponível em:<br /> &lt;http://favero.ufpa.br/capmain2006.pdf&gt;. Acesso em: 22 de fevereiro de 2011. Universidade Federal do Pará,<br /> 2006.<br /> <br /> * ALENCAR FILHO, Edgard de. '''Iniciação à lógica matemática'''. São Paulo: Nobel, c1975. 203 p. ISBN</div>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php/Por_que_estudar_L%C3%B3gica_(para_Computa%C3%A7%C3%A3o)%3F 2013-05-29T19:54:10Z

<p>Adolfo: </p> <hr /> <div>= Porque estudar [[Lógica para Computação]]? =<br /> <br /> <br /> * [http://userweb.cs.utexas.edu/~rlc/whylog.htm Why Logic is Important for Computer Science and Mathematics]<br /> * [http://people.ucalgary.ca/~rzach/logblog/2009/09/why-study-formal-logic.html Why Study Formal Logic?]<br /> <br /> * [http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao/1.Introducao/PorQuePrecisamosEnsinarLogicaEComoDevemosEnsinaLa_CibeleReis_S71_20091.pdf Por que precisamos ensinar lógica e como devemos ensiná-la?, Mária Bakó]<br /> ** [http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao/1.Introducao/WHY_WE_NEED_TO_TEACH_LOGIC_AND_HOW_CAN_WE_TEACH_IT_bakom.pdf Why we need to teach logic and how can we teach it?, Mária Bakó]<br /> <br /> <br /> * Adquirir conhecimentos para trabalhar em empresas como:<br /> ** http://www.grupo-aes.com.br/site/home/</div>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php/Compet%C3%AAncias_da_disciplina_L%C3%B3gica_para_Computa%C3%A7%C3%A3o 2013-05-29T19:53:17Z

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

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php/Objetivos_da_disciplina_L%C3%B3gica_para_Computa%C3%A7%C3%A3o 2013-05-29T19:52:19Z

<p>Adolfo: </p> <hr /> <div>== Objetivos da disciplina [[Lógica para Computação]] ==<br /> <br /> * Os objetivos da disciplina Lógica para Computação são &quot;desenvolver conceitos de lógica proposicional e de predicados, prova automática de teoremas e programação em lógica&quot;. <br /> <br /> * 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. <br /> <br /> * 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.</div>

Adolfo