Distribuição dos Exercícios para o Trabalho 1 de Lógica Computacional/Lógica e Programação 2015 Enunciados da Folha 1. Entregas: dias 6 e 7 de Outubro no horário da respectiva aula prática. Cada aluno deve resolver os exercícios que foram distribuídos numa folha de papel, indicando também o nome, número de inscrição e turma prática. As resoluções têm de ser escritas à mão e com caneta (não podem ser feitas a lápis nem em formato digital). A entrega das resoluções deve ocorrer nos primeiros 5 minutos da aula prática correspondente. Caso não seja possível comparecer à aula, por motivo de força maior, o trabalho poderá ser enviado digitalizado para nam@dcc.fc.up.pt, antes da mesma e posteriormente apresentado. Nome Número TP Alberto Gomes Pinheira 201206834 PL1 11.c 11.q 15.k Alexandre Daniel Amorim Capelas 201405534 PL4 10.c 11.t 15.l Alexandre José Gonzalvez Meneses 201303674 PL4 11.d 11.t 15.h Américo José Pereira e Castro 201404398 PL3 11.c 11.q 15.c Ana Catarina Pinheiro Monteiro 201402752 PL1 11.c 11.q 15.g Ana Patrícia Areias Silva 201203528 PL1 11.c 11.q 15.g Ana Sofia Cepeda Germano 201105083 PL4 10.c 4.a 15.m Ana Sofia Ferreira Martins 201405006 PL2 11.d 11.t 15.h Andreia Filipa Dias Cunha 201106422 PL1 11.k 11.q 15.k André Alexandre Meireles Silva 201403473 PL2 2.p 12.a 15.l André Couto Meira 201404877 PL2 11.d 4.a 15.l André Fernandes Mira Foro 201406040 PL4 11.d 12.a 15.h André Filipe Grenha Gouveia 201108867 PL4 10.c 11.t 15.l André Lage Sobral 201407845 PL1 11.c 11.q 15.c André Viana de Carvalho 201404878 PL2 10.c 4.a 15.h António Manuel Cruz Soares 201403761 PL2 10.c 12.a 15.h António Pedro Pereira Marques 200802522 PL3 11.c 11.q 15.k Bruna Raquel Ribeiro Madeira 201404203 PL4 10.c 4.a 15.m Bruno André Parente Tunes 200901607 PL3 11.k 11.r 15.k Bruno Filipe Pereira Gomes de Sousa 201206812 PL4 11.d 4.a 15.h Carlos Afonso da Rocha Ferreira 201402963 PL4 2.p 4.a 15.h Carlos Alexandre Pereira Bernardes 201303743 PL1 11.e 11.q 15.k Carlos Miguel Moreira Pontemieiro 201405233 PL2 10.c 11.t 15.h Carlos Miguel Rocha Fernandes 201308074 PL1 11.c 11.p 15.g Carlos Miguel Teixeira Neves Pereira Fernando 201002603 PL3 11.k 11.p 15.c Carolina Martins Barbosa Rodrigues Afonso 201407672 PL2 11.d 12.a 15.m Celso Alexandre Fonseca Fernandes 201101522 PL1 11.c 11.q 15.c Cláudia Fernandes Correia 201304727 PL2 2.p 4.a 15.l Cristiano Filipe Vieira Barbosa 201402990 PL3 11.e 11.q 15.k Cátia Sofia Coutinho Correia 201407752 PL4 2.p 12.a 15.h Daniel Espinheira Paiva 201305675 PL4 11.d 11.t 15.h Daniel João Barros Bastos 201305861 PL2 2.p 4.a 15.m 1
Daniel Morais Araújo 201107682 PL1 11.c 11.r 15.k Daniela Sofia Marques Soa Lobo 201405738 PL4 10.c 12.a 15.l Danilo Reis da Silva 201100292 PL1 11.e 11.r 15.g David José Pires Andrade 201308363 PL3 11.k 11.r 15.g Dinis Inocêncio Vieira Pires Costa 201406364 PL4 2.p 12.a 15.h Diogo Almeida Cunha 201405506 PL2 11.d 12.a 15.m Diogo Filipe Soares Carvalho 201405391 PL1 11.e 11.q 15.g Diogo Henrique Mendes Bogas 201202482 PL1 11.k 11.r 15.g Diogo João Veiga de Sousa 201402843 PL2 2.p 12.a 15.h Diogo Manuel Rodrigues Fernandes 201403232 PL4 2.p 4.a 15.l Diogo dos Santos Martins 201008708 PL3 11.c 11.q 15.c Duarte Jorge Guedes Oliveira Dias Figueiredo 201202379 PL3 11.k 11.r 15.c Federica Vieira Y de Araoz Murillo 201303386 PL4 2.p 12.a 15.l Federico Manuel Bento 201407890 PL2 11.d 12.a 15.h Filipa Sousa Vilar 201403876 PL1 11.c 11.q 15.k Filipe João Lopes Santiago 201407860 PL4 10.c 4.a 15.h Filipe Manuel Martins Moura 201005141 PL1 11.c 11.p 15.c Flávio Rafael da Rocha Correia 201404263 PL2 10.c 12.a 15.l Francisco José Gomes Pimenta 201101030 PL3 11.k 11.r 15.g Francisco Madureira Oliveira 201308089 PL1 11.k 11.r 15.c Fábio José da Silva Queirós 201403008 PL2 10.c 4.a 15.m Gonçalo Belo Lúcio 201405912 PL2 11.d 11.t 15.l Gonçalo Miguel Nogueira da Costa 201407119 PL1 11.e 11.p 15.k Helder Luís Silva Torres dos Reis 201404947 PL4 10.c 11.t 15.m Henish Hemendra Balu 201403065 PL4 10.c 4.a 15.m Henrique Daniel Amorim Capelas 201408609 PL4 11.d 4.a 15.m Inês Duarte Lima 201303409 PL2 10.c 12.a 15.l Iúri António Tavares Pena 201304604 PL4 11.d 4.a 15.h Joana Filipa Santos Pereira 201408050 PL1 11.c 11.r 15.g Joana Maria Lima Valente 201405224 PL2 10.c 12.a 15.m Joana Silveira Ferreira da Silva 200908475 PL3 11.k 11.r 15.c Joao Pedro Pereira Machado 201303099 PL1 11.c 11.r 15.c Joel Agostinho Nunes Pinto de Sousa 201103870 PL1 11.k 11.q 15.k Jorge Duarte Correia Mota 200908409 PL4 11.d 12.a 15.m Jorge Manuel Sousa Moreira 201103875 PL3 11.e 11.p 15.g Jorge Marcelo da Silva Soares 201002605 PL1 11.c 11.r 15.c José António Amorim Lage de Carvalho 201403881 PL2 11.d 12.a 15.l José Eduardo Brandão Machado de Almeida 201205741 PL3 11.k 11.p 15.g José Gabriel Ferreira de Castro 201007482 PL1 11.e 11.p 15.k José Luís Pinto Monteiro Alves 201407077 PL4 11.d 4.a 15.m José Miguel da Silva Soares 201008707 PL4 10.c 12.a 15.l José Miguel dos Santos Oliveira 201304192 PL2 10.c 12.a 15.m José Pedro Trindade Gomes Martins 201307928 PL3 11.e 11.r 15.c José Querubim Rocha Reisinho 200901635 PL1 11.k 11.q 15.c João Alexandre Pedroso Salvado 201206902 PL3 11.k 11.r 15.c 2
João Anselmo de Sá Couto Lopes 201207908 PL4 10.c 12.a 15.h João Bruno Moura Silva 201406063 PL1 11.c 11.r 15.k João Carlos Almeida Marques 201308119 PL1 11.c 11.r 15.c João Carlos da Silva Bernardo 201106424 PL1 11.k 11.p 15.g João Luís Rodrigues Paulo 201306220 PL2 10.c 12.a 15.l João Miguel Barreira Pontes 201306221 PL1 11.k 11.p 15.k João Miguel Domingues da Rocha Marinheiro 201407900 PL1 11.k 11.p 15.g João Miguel Ribeiro da Silva 201203522 PL3 11.e 11.q 15.c João Nogueira de Fernandes Póvoas 201302839 PL1 11.c 11.q 15.g João Paulo Fernandes dos Santos 201206800 PL3 11.k 11.p 15.k João Paulo Machado Gonçalves de Miguel 201108870 PL3 11.c 11.p 15.c João Paulo Ribeiro Soares 201308573 PL4 10.c 11.t 15.m João Pedro Peixoto Ribeiro 201304485 PL4 11.d 11.t 15.h João Pedro Pereira dos Santos 201305900 PL3 11.k 11.p 15.k João Pedro de Castro Ferreira 201404233 PL4 11.d 4.a 15.m João Rafael Marques de Faria 201202479 PL3 11.k 11.p 15.k João Ricardo Caldeira Ferreira 201307976 PL2 11.d 4.a 15.h João Vasco Bispo Estrela 201207860 PL3 11.c 11.q 15.g Luis Carlos Gomes de Pinho 201303776 PL1 11.k 11.p 15.c Luis Gonzaga Martins Graça 201304954 PL4 2.p 4.a 15.m Luís Carlos Magalhães Rodrigues 200404188 PL4 2.p 4.a 15.m Luís Filipe Ferreira da Gama 201507253 PL3 11.c 11.r 15.c Luís Guerreiro Lages 201304145 PL2 10.c 12.a 15.h Luís Pedro Leitão Pinho da Costa 201107683 PL4 2.p 12.a 15.m Luís Pedro Nicolau Oliveira 201407952 PL2 2.p 4.a 15.m Marco Antonio da Costa Regueiras 201305333 PL4 10.c 11.t 15.l Marco Filipe Azevedo Pontes 201308000 PL2 10.c 11.t 15.m Marcos Daniel Mendes Mirancos 201407071 PL2 11.d 12.a 15.l Maria Vaz de Bacelar da Fonseca e Costa 201302961 PL4 10.c 11.t 15.h Mariana Isabel Mourão Lopes 201206882 PL1 11.k 11.p 15.g Marina Filipa da Silva Gonçalves 201305591 PL4 10.c 4.a 15.l Miguel Bruno Ribeiro Senra 201100351 PL3 11.c 11.r 15.k Miguel Cruz Lima 201308180 PL2 2.p 11.t 15.m Miguel Dias Ribeiro Alves Madeira 200800389 PL3 11.e 11.q 15.c Miguel Pereira da Silva 201404978 PL1 11.c 11.p 15.g Miguel Ribeiro Correia 201405219 PL2 11.d 12.a 15.l Miguel Ângelo Castro Silva 201206728 PL3 11.e 11.r 15.g Miguel Ângelo Simões Rei 201207820 PL2 11.d 4.a 15.l Mário Alexandre Barata Pereira Parada 201404675 PL3 11.c 11.q 15.c Nuno César Gomes Soares 201407843 PL2 10.c 12.a 15.m Nuno Filipe Araújo Gonçalves 201402720 PL3 11.c 11.r 15.k Nuno Miguel Macedo Durães 201305544 PL4 2.p 4.a 15.m Nuno Morais Pimentel de Sampaio Carvalho 201303430 PL3 11.c 11.r 15.c Nuno Peniche Salvador de Azevedo 201306310 PL2 10.c 12.a 15.m Patrick Alexandre Almeida Grumer 201205708 PL2 10.c 4.a 15.h 3
Paulo Jorge Pereira Leal 201101503 PL3 11.k 11.r 15.g Paulo Jorge Teixeira Rosa 201404994 PL4 2.p 11.t 15.l Pavlo Sazonov 201005025 PL3 11.k 11.p 15.g Pedro Daniel Gonçalves Faria 201404995 PL2 10.c 4.a 15.m Pedro Ferreira Cunha 201304631 PL4 2.p 11.t 15.h Pedro Filipe Lopes Correia 201404037 PL1 11.k 11.r 15.g Pedro Manuel Pereira Marques 201304767 PL3 11.c 11.p 15.c Pedro Miguel Pereira Cunha 201405950 PL4 10.c 4.a 15.h Pedro Miguel Pereira Soares da Cunha 201406160 PL2 10.c 12.a 15.h Pedro Miguel Pereira de Oliveira 201404752 PL4 10.c 4.a 15.h Pedro Miguel Sousa Pinto Silva 201405405 PL1 11.e 11.r 15.c Pedro Osório Sousa Almeida 201102741 PL3 11.c 11.p 15.k Pedro Pacheco Campos Seruca 201109026 PL3 11.c 11.p 15.k Pedro Sousa Faustino 201405558 PL3 11.c 11.p 15.c Raquel Cardoso e Fulgêncio 201402765 PL4 11.d 4.a 15.m Raquel Sofia Teixeira 201308107 PL1 11.e 11.p 15.c Raul Miguel Gomes Mendiratta 201304648 PL2 2.p 12.a 15.m Raul da Costa Gomes 201404830 PL2 10.c 11.t 15.l Renato Rodrigues Moreira 201405588 PL1 11.e 11.q 15.c Renato Viana 201405213 PL1 11.e 11.r 15.k Ricardo André Castro Silva 201207823 PL3 11.e 11.p 15.c Ricardo André Freitas Santos 201203540 PL1 11.e 11.p 15.c Ricardo André da Silva Martins 200001685 PL1 11.e 11.r 15.k Ricardo Dias Azevedo 201403133 PL2 11.d 11.t 15.h Ricardo Filipe Costa Santos 201303713 PL4 10.c 4.a 15.l Ricardo Filipe da Silva Ribeiro 201200296 PL2 11.d 11.t 15.m Ricardo Jorge da Silva Vieira 201308099 PL3 11.e 11.r 15.k Ricardo Sá Loureiro Ferreira da Silva 201305163 PL2 10.c 4.a 15.h Rodrigo Garcez Coutinho Costa 201205747 PL1 11.k 11.r 15.c Rodrigo Manuel de Mansilha Flamínio Ribeiro 201407863 PL2 10.c 12.a 15.m Rui Alexandre Farinha Fernandes Balau 201103891 PL1 11.e 11.q 15.c Rui Alexandre Teixeira Sousa Pinto 201408076 PL3 11.e 11.p 15.g Rui Filipe Neto Machado 201107717 PL3 11.k 11.p 15.c Rui Filipe Soares Ribeiro Gomes 201304878 PL2 2.p 11.t 15.m Rui Filipe da Costa Carvalho 201404194 PL3 11.k 11.p 15.g Rui Pedro Cardoso Pinto 201303436 PL3 11.e 11.p 15.c Rui Pedro Carvalho Coelho 201405838 PL3 11.k 11.r 15.g Rui Pedro Rodrigues Lopes 201001439 PL3 11.k 11.r 15.c Rui Pereira Miguel 201203537 PL4 10.c 4.a 15.m Rui Santos da Rocha e Silva 201303716 PL4 2.p 11.t 15.l Rute Isabel Martins dos Santos 201403484 PL2 10.c 11.t 15.m Rúben Filipe Gomes do Couto Ferreira 200908415 PL3 11.k 11.r 15.c Sara Barros Moreira 201404984 PL1 11.e 11.p 15.g Sara Daniela Alves Pereira 201304112 PL4 11.d 4.a 15.l Sérgio Filipe Dinis Castro 201405064 PL2 11.d 12.a 15.m 4
Tiago Manuel Sales Brites Moita 201405916 PL1 11.c 11.q 15.g Tiago Miguel Alves Castanheira 201207833 PL1 11.c 11.r 15.g Tiago Rodrigues Francisco 201403047 PL2 10.c 12.a 15.h Tânia Isabel Alexandre Mestre Ferreira 201404966 PL1 11.e 11.r 15.g Tânia Sofia Coelho da Silva 200606718 PL1 11.e 11.r 15.c Vasco Filipe Barros Ribeiro 201203523 PL2 10.c 4.a 15.l Vasco Rafael Morais Pedrinho da Costa 201303048 PL4 11.d 12.a 15.h 5