sábado, 31 de julho de 2010
quinta-feira, 29 de julho de 2010
terça-feira, 27 de julho de 2010
terça-feira, 20 de julho de 2010
Já foi postada a nota da primeira prova de LC
Boa sorte e até sábado.
Programação para o dia 24 de Julho.
Segunda prova de LC
Programação para o dia 24 de Julho.
Segunda prova de LC
domingo, 18 de julho de 2010
Adiamento de prova para o dia 24 de Julho.
A prova de LC foi adiada para o dia 24 de Julho de 2010.
Boa sorte e até lá.
Boa sorte e até lá.
sábado, 17 de julho de 2010
Cloud Camp Brasília acontecerá no Consegi
Cloud Camp Brasília acontecerá no Consegi
Consegi 2010 acontece nos dias 18 a 20 de agosto de 2010, em Brasília (DF).
O evento será realizado pela Escola de Administração Fazendária Esaf do Ministério da Fazenda, em parceria com o Serviço Federal de Processamento de Dados - Serpro.
O Consegi é um importante espaço para promover a troca de experiências e informações entre instituições da Administração Pública, sociedade civil organizada e representantes de países parceiros. Palestras, painéis e oficinas terão lugar na edição de 2010 que será marcada pela discussão do tema "Computação em Nuvem".
O Cloud Camp é um evento mundial do tipo unconference (desconferência), no qual usuários de 'Computação em Nuvem' podem discutir a tecnologia através de um debate mais informal. O evento já aconteceu em várias cidades do mundo e, pela primeira vez, será realizado em Brasília, no dia 19 de agosto, durante o Consegi 2010.
O principal diferencial do "Cloud Camp" é a pauta livre. No início do evento, os participantes decidem os tópicos. Em seguida, os inscritos apresentam palestras relâmpagos, com duração máxima de 10 minutos. Ao final desta fase, iniciam-se rodadas de discussões com os especialistas que se candidatam a falar e são elencados tópicos importantes para os debates mais aprofundados, os "Open Spaces", ou Espaços Abertos.
Na fase dos espaços abertos, os participantes se dividem em subgrupos para discutir os tópicos levantados na etapa anterior. Este espaço é livre e as pessoas podem ter níveis diferentes de conhecimento. Ao final, todos os participantes reúnem-se novamente levantando pontos importantes encontrados nos debates.
Para facilitar a dinâmica do evento, há a presença de um mediador. No Cloud Camp Brasília, esse papel será cumprido pelo próprio criador do evento, Dave Nielsen, profissional da indústria de Web Services com mais de seis anos de experiência na orientação de programas de alto nível para empresas como PayPal e Strikeiron.
Para participar do Cloud Camp Brasília, inscreva-se no III Congresso Internacional Software Livre e Governo Eletrônico - Consegi. Mais detalhes sobre o evento podem ser encontrados no endereço www.consegi.gov.br/eventos-simultaneos.
Noticia completa aqui:
http://www.serpro.gov.br/noticiasSERPRO/2010/julho/cloudcamp-chega-ao-brasil
Consegi 2010 acontece nos dias 18 a 20 de agosto de 2010, em Brasília (DF).
O evento será realizado pela Escola de Administração Fazendária Esaf do Ministério da Fazenda, em parceria com o Serviço Federal de Processamento de Dados - Serpro.
O Consegi é um importante espaço para promover a troca de experiências e informações entre instituições da Administração Pública, sociedade civil organizada e representantes de países parceiros. Palestras, painéis e oficinas terão lugar na edição de 2010 que será marcada pela discussão do tema "Computação em Nuvem".
O Cloud Camp é um evento mundial do tipo unconference (desconferência), no qual usuários de 'Computação em Nuvem' podem discutir a tecnologia através de um debate mais informal. O evento já aconteceu em várias cidades do mundo e, pela primeira vez, será realizado em Brasília, no dia 19 de agosto, durante o Consegi 2010.
O principal diferencial do "Cloud Camp" é a pauta livre. No início do evento, os participantes decidem os tópicos. Em seguida, os inscritos apresentam palestras relâmpagos, com duração máxima de 10 minutos. Ao final desta fase, iniciam-se rodadas de discussões com os especialistas que se candidatam a falar e são elencados tópicos importantes para os debates mais aprofundados, os "Open Spaces", ou Espaços Abertos.
Na fase dos espaços abertos, os participantes se dividem em subgrupos para discutir os tópicos levantados na etapa anterior. Este espaço é livre e as pessoas podem ter níveis diferentes de conhecimento. Ao final, todos os participantes reúnem-se novamente levantando pontos importantes encontrados nos debates.
Para facilitar a dinâmica do evento, há a presença de um mediador. No Cloud Camp Brasília, esse papel será cumprido pelo próprio criador do evento, Dave Nielsen, profissional da indústria de Web Services com mais de seis anos de experiência na orientação de programas de alto nível para empresas como PayPal e Strikeiron.
Para participar do Cloud Camp Brasília, inscreva-se no III Congresso Internacional Software Livre e Governo Eletrônico - Consegi. Mais detalhes sobre o evento podem ser encontrados no endereço www.consegi.gov.br/eventos-simultaneos.
Noticia completa aqui:
http://www.serpro.gov.br/noticiasSERPRO/2010/julho/cloudcamp-chega-ao-brasil
Agile Piauí
O Agile Piauí ocorrerá no mini-auditório do IFPI em Teresina nos dias 21 e 22 de julho de 2010. Terá palestras sobre o framework VRaptor 3, TDD (Test Driven Development), além de um Código Dojo. O evento está sendo realizado pelo IFPI e contará com a participação de José Donizetti da Caelum.
terça-feira, 13 de julho de 2010
Gabarito da primeira prova de Lógica
Lógica Computacional – Avaliação 1
Gabarito
1. Dadas as expressões a seguir, classifique-as como expressões (E), sentenças proposicionais atômicas (A), negação (N), conjunção (C), disjunção (D), implicação (I) ou bi-implicação (B):
a) Gilbués não é a maior cidade do mundo (N)
b) Floriano é uma megalópole se e somente se Picos tiver praia ( I)
c) Água Branca fica à margem do rio Poti ou do rio Nilo (D)
d) Luiz Gonzaga é o “Rei” do baião e Ivete Sangalo canta mal (C)
e) O sol é um satélite da terra (A)
2. Dadas as sentenças:
a) (p → q) ^ (r → ¬p)
b) (¬p ^ q) → (r ν ¬q)
c) ¬r ↔ (p ^ ¬q)
Quais delas são tautologicamente equivalentes?
a) as sentenças a) e b)
b) as sentenças a) e c)
c) as sentenças b) e c)
d) não existem sentenças tautologicamente equivalentes neste conjunto de sentenças
3. Seja a sentença (p → q) Λ r). Sua forma normal disjuntiva é:
a) (p ^ r) ν (q ^ ¬r)
b) (¬p ^¬ r) ν (q ^ r)
c) (¬p ^ r) ν (q ^ r)
d) (¬p ^ r) ^ (q ^ r)
4. Seja a seqüência p → q, r → ¬ q, p, ¬ r. Podemos afirmar corretamente que:
a) a seqüência representa um argumento válido;
b) a seqüência representa uma contradição;
c) a seqüência representa uma contingência;
d) nada se pode afirmar logicamente sobre esta seqüência.
5. Seja a sentença “Se Maurício Matar é cantor, então Xuxa também é. Maurício Matar não é cantor. Logo, Xuxa também não é”. Assinale a resposta correta.
a) As sentenças que compõem esta sentença formam um argumento válido
b) As sentenças que compõem esta sentença não formam um argumento válido
c) Esta sentença é uma contradição
d) Esta sentença é uma tautologia.
Gabarito
1. Dadas as expressões a seguir, classifique-as como expressões (E), sentenças proposicionais atômicas (A), negação (N), conjunção (C), disjunção (D), implicação (I) ou bi-implicação (B):
a) Gilbués não é a maior cidade do mundo (N)
b) Floriano é uma megalópole se e somente se Picos tiver praia ( I)
c) Água Branca fica à margem do rio Poti ou do rio Nilo (D)
d) Luiz Gonzaga é o “Rei” do baião e Ivete Sangalo canta mal (C)
e) O sol é um satélite da terra (A)
2. Dadas as sentenças:
a) (p → q) ^ (r → ¬p)
b) (¬p ^ q) → (r ν ¬q)
c) ¬r ↔ (p ^ ¬q)
Quais delas são tautologicamente equivalentes?
a) as sentenças a) e b)
b) as sentenças a) e c)
c) as sentenças b) e c)
d) não existem sentenças tautologicamente equivalentes neste conjunto de sentenças
3. Seja a sentença (p → q) Λ r). Sua forma normal disjuntiva é:
a) (p ^ r) ν (q ^ ¬r)
b) (¬p ^¬ r) ν (q ^ r)
c) (¬p ^ r) ν (q ^ r)
d) (¬p ^ r) ^ (q ^ r)
4. Seja a seqüência p → q, r → ¬ q, p, ¬ r. Podemos afirmar corretamente que:
a) a seqüência representa um argumento válido;
b) a seqüência representa uma contradição;
c) a seqüência representa uma contingência;
d) nada se pode afirmar logicamente sobre esta seqüência.
5. Seja a sentença “Se Maurício Matar é cantor, então Xuxa também é. Maurício Matar não é cantor. Logo, Xuxa também não é”. Assinale a resposta correta.
a) As sentenças que compõem esta sentença formam um argumento válido
b) As sentenças que compõem esta sentença não formam um argumento válido
c) Esta sentença é uma contradição
d) Esta sentença é uma tautologia.
segunda-feira, 12 de julho de 2010
Programação para o próximo sábado dia 17 de Julho
2ºProva de LC
e prova final de IC
Boa sorte e até lá.
e prova final de IC
Boa sorte e até lá.
terça-feira, 6 de julho de 2010
FÉRIAS DE UM DIA
Férias
Depois de uma pequena jornada, neste sábado dia 10 de Julho e 2010 estamos de folga.
Não tem nada confirmado até agora.
Não tem encontro presencial, mas as atividades seguem normais.
Um abraço.
Depois de uma pequena jornada, neste sábado dia 10 de Julho e 2010 estamos de folga.
Não tem nada confirmado até agora.
Não tem encontro presencial, mas as atividades seguem normais.
Um abraço.
sábado, 3 de julho de 2010
quinta-feira, 1 de julho de 2010
Assinar:
Postagens (Atom)