Daniel Morais Araújo PL1 11.c 11.r 15.k Daniela Sofia Marques Soa Lobo PL4 10.c 12.a 15.l Danilo Reis da Silva PL1 11.

Transcrição

1 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 PL1 11.c 11.q 15.k Alexandre Daniel Amorim Capelas PL4 10.c 11.t 15.l Alexandre José Gonzalvez Meneses PL4 11.d 11.t 15.h Américo José Pereira e Castro PL3 11.c 11.q 15.c Ana Catarina Pinheiro Monteiro PL1 11.c 11.q 15.g Ana Patrícia Areias Silva PL1 11.c 11.q 15.g Ana Sofia Cepeda Germano PL4 10.c 4.a 15.m Ana Sofia Ferreira Martins PL2 11.d 11.t 15.h Andreia Filipa Dias Cunha PL1 11.k 11.q 15.k André Alexandre Meireles Silva PL2 2.p 12.a 15.l André Couto Meira PL2 11.d 4.a 15.l André Fernandes Mira Foro PL4 11.d 12.a 15.h André Filipe Grenha Gouveia PL4 10.c 11.t 15.l André Lage Sobral PL1 11.c 11.q 15.c André Viana de Carvalho PL2 10.c 4.a 15.h António Manuel Cruz Soares PL2 10.c 12.a 15.h António Pedro Pereira Marques PL3 11.c 11.q 15.k Bruna Raquel Ribeiro Madeira PL4 10.c 4.a 15.m Bruno André Parente Tunes PL3 11.k 11.r 15.k Bruno Filipe Pereira Gomes de Sousa PL4 11.d 4.a 15.h Carlos Afonso da Rocha Ferreira PL4 2.p 4.a 15.h Carlos Alexandre Pereira Bernardes PL1 11.e 11.q 15.k Carlos Miguel Moreira Pontemieiro PL2 10.c 11.t 15.h Carlos Miguel Rocha Fernandes PL1 11.c 11.p 15.g Carlos Miguel Teixeira Neves Pereira Fernando PL3 11.k 11.p 15.c Carolina Martins Barbosa Rodrigues Afonso PL2 11.d 12.a 15.m Celso Alexandre Fonseca Fernandes PL1 11.c 11.q 15.c Cláudia Fernandes Correia PL2 2.p 4.a 15.l Cristiano Filipe Vieira Barbosa PL3 11.e 11.q 15.k Cátia Sofia Coutinho Correia PL4 2.p 12.a 15.h Daniel Espinheira Paiva PL4 11.d 11.t 15.h Daniel João Barros Bastos PL2 2.p 4.a 15.m 1

2 Daniel Morais Araújo PL1 11.c 11.r 15.k Daniela Sofia Marques Soa Lobo PL4 10.c 12.a 15.l Danilo Reis da Silva PL1 11.e 11.r 15.g David José Pires Andrade PL3 11.k 11.r 15.g Dinis Inocêncio Vieira Pires Costa PL4 2.p 12.a 15.h Diogo Almeida Cunha PL2 11.d 12.a 15.m Diogo Filipe Soares Carvalho PL1 11.e 11.q 15.g Diogo Henrique Mendes Bogas PL1 11.k 11.r 15.g Diogo João Veiga de Sousa PL2 2.p 12.a 15.h Diogo Manuel Rodrigues Fernandes PL4 2.p 4.a 15.l Diogo dos Santos Martins PL3 11.c 11.q 15.c Duarte Jorge Guedes Oliveira Dias Figueiredo PL3 11.k 11.r 15.c Federica Vieira Y de Araoz Murillo PL4 2.p 12.a 15.l Federico Manuel Bento PL2 11.d 12.a 15.h Filipa Sousa Vilar PL1 11.c 11.q 15.k Filipe João Lopes Santiago PL4 10.c 4.a 15.h Filipe Manuel Martins Moura PL1 11.c 11.p 15.c Flávio Rafael da Rocha Correia PL2 10.c 12.a 15.l Francisco José Gomes Pimenta PL3 11.k 11.r 15.g Francisco Madureira Oliveira PL1 11.k 11.r 15.c Fábio José da Silva Queirós PL2 10.c 4.a 15.m Gonçalo Belo Lúcio PL2 11.d 11.t 15.l Gonçalo Miguel Nogueira da Costa PL1 11.e 11.p 15.k Helder Luís Silva Torres dos Reis PL4 10.c 11.t 15.m Henish Hemendra Balu PL4 10.c 4.a 15.m Henrique Daniel Amorim Capelas PL4 11.d 4.a 15.m Inês Duarte Lima PL2 10.c 12.a 15.l Iúri António Tavares Pena PL4 11.d 4.a 15.h Joana Filipa Santos Pereira PL1 11.c 11.r 15.g Joana Maria Lima Valente PL2 10.c 12.a 15.m Joana Silveira Ferreira da Silva PL3 11.k 11.r 15.c Joao Pedro Pereira Machado PL1 11.c 11.r 15.c Joel Agostinho Nunes Pinto de Sousa PL1 11.k 11.q 15.k Jorge Duarte Correia Mota PL4 11.d 12.a 15.m Jorge Manuel Sousa Moreira PL3 11.e 11.p 15.g Jorge Marcelo da Silva Soares PL1 11.c 11.r 15.c José António Amorim Lage de Carvalho PL2 11.d 12.a 15.l José Eduardo Brandão Machado de Almeida PL3 11.k 11.p 15.g José Gabriel Ferreira de Castro PL1 11.e 11.p 15.k José Luís Pinto Monteiro Alves PL4 11.d 4.a 15.m José Miguel da Silva Soares PL4 10.c 12.a 15.l José Miguel dos Santos Oliveira PL2 10.c 12.a 15.m José Pedro Trindade Gomes Martins PL3 11.e 11.r 15.c José Querubim Rocha Reisinho PL1 11.k 11.q 15.c João Alexandre Pedroso Salvado PL3 11.k 11.r 15.c 2

3 João Anselmo de Sá Couto Lopes PL4 10.c 12.a 15.h João Bruno Moura Silva PL1 11.c 11.r 15.k João Carlos Almeida Marques PL1 11.c 11.r 15.c João Carlos da Silva Bernardo PL1 11.k 11.p 15.g João Luís Rodrigues Paulo PL2 10.c 12.a 15.l João Miguel Barreira Pontes PL1 11.k 11.p 15.k João Miguel Domingues da Rocha Marinheiro PL1 11.k 11.p 15.g João Miguel Ribeiro da Silva PL3 11.e 11.q 15.c João Nogueira de Fernandes Póvoas PL1 11.c 11.q 15.g João Paulo Fernandes dos Santos PL3 11.k 11.p 15.k João Paulo Machado Gonçalves de Miguel PL3 11.c 11.p 15.c João Paulo Ribeiro Soares PL4 10.c 11.t 15.m João Pedro Peixoto Ribeiro PL4 11.d 11.t 15.h João Pedro Pereira dos Santos PL3 11.k 11.p 15.k João Pedro de Castro Ferreira PL4 11.d 4.a 15.m João Rafael Marques de Faria PL3 11.k 11.p 15.k João Ricardo Caldeira Ferreira PL2 11.d 4.a 15.h João Vasco Bispo Estrela PL3 11.c 11.q 15.g Luis Carlos Gomes de Pinho PL1 11.k 11.p 15.c Luis Gonzaga Martins Graça PL4 2.p 4.a 15.m Luís Carlos Magalhães Rodrigues PL4 2.p 4.a 15.m Luís Filipe Ferreira da Gama PL3 11.c 11.r 15.c Luís Guerreiro Lages PL2 10.c 12.a 15.h Luís Pedro Leitão Pinho da Costa PL4 2.p 12.a 15.m Luís Pedro Nicolau Oliveira PL2 2.p 4.a 15.m Marco Antonio da Costa Regueiras PL4 10.c 11.t 15.l Marco Filipe Azevedo Pontes PL2 10.c 11.t 15.m Marcos Daniel Mendes Mirancos PL2 11.d 12.a 15.l Maria Vaz de Bacelar da Fonseca e Costa PL4 10.c 11.t 15.h Mariana Isabel Mourão Lopes PL1 11.k 11.p 15.g Marina Filipa da Silva Gonçalves PL4 10.c 4.a 15.l Miguel Bruno Ribeiro Senra PL3 11.c 11.r 15.k Miguel Cruz Lima PL2 2.p 11.t 15.m Miguel Dias Ribeiro Alves Madeira PL3 11.e 11.q 15.c Miguel Pereira da Silva PL1 11.c 11.p 15.g Miguel Ribeiro Correia PL2 11.d 12.a 15.l Miguel Ângelo Castro Silva PL3 11.e 11.r 15.g Miguel Ângelo Simões Rei PL2 11.d 4.a 15.l Mário Alexandre Barata Pereira Parada PL3 11.c 11.q 15.c Nuno César Gomes Soares PL2 10.c 12.a 15.m Nuno Filipe Araújo Gonçalves PL3 11.c 11.r 15.k Nuno Miguel Macedo Durães PL4 2.p 4.a 15.m Nuno Morais Pimentel de Sampaio Carvalho PL3 11.c 11.r 15.c Nuno Peniche Salvador de Azevedo PL2 10.c 12.a 15.m Patrick Alexandre Almeida Grumer PL2 10.c 4.a 15.h 3

4 Paulo Jorge Pereira Leal PL3 11.k 11.r 15.g Paulo Jorge Teixeira Rosa PL4 2.p 11.t 15.l Pavlo Sazonov PL3 11.k 11.p 15.g Pedro Daniel Gonçalves Faria PL2 10.c 4.a 15.m Pedro Ferreira Cunha PL4 2.p 11.t 15.h Pedro Filipe Lopes Correia PL1 11.k 11.r 15.g Pedro Manuel Pereira Marques PL3 11.c 11.p 15.c Pedro Miguel Pereira Cunha PL4 10.c 4.a 15.h Pedro Miguel Pereira Soares da Cunha PL2 10.c 12.a 15.h Pedro Miguel Pereira de Oliveira PL4 10.c 4.a 15.h Pedro Miguel Sousa Pinto Silva PL1 11.e 11.r 15.c Pedro Osório Sousa Almeida PL3 11.c 11.p 15.k Pedro Pacheco Campos Seruca PL3 11.c 11.p 15.k Pedro Sousa Faustino PL3 11.c 11.p 15.c Raquel Cardoso e Fulgêncio PL4 11.d 4.a 15.m Raquel Sofia Teixeira PL1 11.e 11.p 15.c Raul Miguel Gomes Mendiratta PL2 2.p 12.a 15.m Raul da Costa Gomes PL2 10.c 11.t 15.l Renato Rodrigues Moreira PL1 11.e 11.q 15.c Renato Viana PL1 11.e 11.r 15.k Ricardo André Castro Silva PL3 11.e 11.p 15.c Ricardo André Freitas Santos PL1 11.e 11.p 15.c Ricardo André da Silva Martins PL1 11.e 11.r 15.k Ricardo Dias Azevedo PL2 11.d 11.t 15.h Ricardo Filipe Costa Santos PL4 10.c 4.a 15.l Ricardo Filipe da Silva Ribeiro PL2 11.d 11.t 15.m Ricardo Jorge da Silva Vieira PL3 11.e 11.r 15.k Ricardo Sá Loureiro Ferreira da Silva PL2 10.c 4.a 15.h Rodrigo Garcez Coutinho Costa PL1 11.k 11.r 15.c Rodrigo Manuel de Mansilha Flamínio Ribeiro PL2 10.c 12.a 15.m Rui Alexandre Farinha Fernandes Balau PL1 11.e 11.q 15.c Rui Alexandre Teixeira Sousa Pinto PL3 11.e 11.p 15.g Rui Filipe Neto Machado PL3 11.k 11.p 15.c Rui Filipe Soares Ribeiro Gomes PL2 2.p 11.t 15.m Rui Filipe da Costa Carvalho PL3 11.k 11.p 15.g Rui Pedro Cardoso Pinto PL3 11.e 11.p 15.c Rui Pedro Carvalho Coelho PL3 11.k 11.r 15.g Rui Pedro Rodrigues Lopes PL3 11.k 11.r 15.c Rui Pereira Miguel PL4 10.c 4.a 15.m Rui Santos da Rocha e Silva PL4 2.p 11.t 15.l Rute Isabel Martins dos Santos PL2 10.c 11.t 15.m Rúben Filipe Gomes do Couto Ferreira PL3 11.k 11.r 15.c Sara Barros Moreira PL1 11.e 11.p 15.g Sara Daniela Alves Pereira PL4 11.d 4.a 15.l Sérgio Filipe Dinis Castro PL2 11.d 12.a 15.m 4

5 Tiago Manuel Sales Brites Moita PL1 11.c 11.q 15.g Tiago Miguel Alves Castanheira PL1 11.c 11.r 15.g Tiago Rodrigues Francisco PL2 10.c 12.a 15.h Tânia Isabel Alexandre Mestre Ferreira PL1 11.e 11.r 15.g Tânia Sofia Coelho da Silva PL1 11.e 11.r 15.c Vasco Filipe Barros Ribeiro PL2 10.c 4.a 15.l Vasco Rafael Morais Pedrinho da Costa PL4 11.d 12.a 15.h 5