Aula AFC ontem

25 views
Skip to first unread message

REGIS CARVALHO

unread,
Feb 23, 2013, 8:06:58 AM2/23/13
to computacao2013-ime
bom dia....como foi a primeira aula de AFC?  o que foi dado ?

obrigado pela ajuda !!

--
REGIS CARVALHO

Jhonnatan Cebidanes

unread,
Feb 23, 2013, 8:53:27 AM2/23/13
to
Vou tentar resumir tudo que aconteceu.

As aulas agora de AFC serão ministradas "simultaneamente" pelo prof. Alex e pelo prof.Veloso. O Alex antes do intervalo e o Veloso depois.
O Alex falou dos tipos de linguagem, conceito do que é linguagem e sua formação. Também falou sobre alfabeto.
Materiais:
  • Notas de aula do prof Rangel
  • Livro - Introdução à teoria de autômatos, linguagens e computação - John e.Hopcroft, Jeffrey d. Ullman, Rajeeu Motwani - Ed.Campus

O Veloso deu uma passada rápida sobre os tipos de lógica. Falou sobre proposições com alguns exercícios do slide(estará disponível no EAD) deu uma pincelada em lógica de 1ªordem e sobre as regras de PROP.
Material:
  • Livro - Logic and Structure - Van Dalen
  • Livro - Lógica para a computação( preferência pela primeira edção)
  • Alguns Autores - Enderton e Mendelson
Acho que foi isso Regis.

Galera quem lembrar de mais algo ou ver que escrevi algo errado posta ai.

Abração! =D
J. Cebidanes

REGIS CARVALHO

unread,
Feb 23, 2013, 8:57:28 AM2/23/13
to Jhonnatan Cebidanes, computaca...@googlegroups.com
Valeu !

Em 23 de fevereiro de 2013 10:53, Jhonnatan Cebidanes <jcebi...@gmail.com> escreveu:
Vou tentar resumir tudo que aconteceu.

As aulas agora se AFC serão ministradas "simultaneamente" pelo prof. Alex e pelo prof.Veloso. O Alex antes do intervalo e o Veloso depois.
O Alex falou dos tipos de linguagem, conceito do que é linguagem e sua formação. Também falou sobre alfabeto.
Materiais:
  • Notas de aula do prof Rangel
  • Livro - Introdução à teoria de autômatos, linguagens e computação - John e.Hopcroft, Jeffrey d. Ullman, Rajeeu Motwani - Ed.Campus

O Veloso deu uma passada rápida sobre os tipos de lógica. Falou sobre proposições com alguns exercícios do slide(estará disponível no EAD) deu uma pincelada em lógica de 1ªordem e sobre as regras de PROP.
Material:
  • Livro - Logic and Structure - Van Dalen
  • Livro - Lógica para a computação( preferência pela primeira edção)
  • Alguns Autores - Enderton e Mendelson
Acho que foi isso Regis.

Galera quem lembrar de mais algo ou ver que escrevi algo errado posta ai.

Abração! =D
J. Cebidanes


Em sábado, 23 de fevereiro de 2013 10h06min58s UTC-3, REGIS CARVALHO escreveu:



--
REGIS CARVALHO

João Paulo Maranhão

unread,
Feb 23, 2013, 11:59:20 AM2/23/13
to computaca...@googlegroups.com


Seguem em anexo as provas que realizamos no ano passado. Isso vale ouro! rsrsrsr


Abs!!!

JP








De: Jhonnatan Cebidanes <jcebi...@gmail.com>
Para: computaca...@googlegroups.com
Enviadas: Sábado, 23 de Fevereiro de 2013 10:53
Assunto: [computacao2013-ime] Re: Aula AFC ontem

Vou tentar resumir tudo que aconteceu.

As aulas agora se AFC serão ministradas "simultaneamente" pelo prof. Alex e pelo prof.Veloso. O Alex antes do intervalo e o Veloso depois.
O Alex falou dos tipos de linguagem, conceito do que é linguagem e sua formação. Também falou sobre alfabeto.
Materiais:
  • Notas de aula do prof Rangel
  • Livro - Introdução à teoria de autômatos, linguagens e computação - John e.Hopcroft, Jeffrey d. Ullman, Rajeeu Motwani - Ed.Campus

O Veloso deu uma passada rápida sobre os tipos de lógica. Falou sobre proposições com alguns exercícios do slide(estará disponível no EAD) deu uma pincelada em lógica de 1ªordem e sobre as regras de PROP.
Material:
  • Livro - Logic and Structure - Van Dalen
  • Livro - Lógica para a computação( preferência pela primeira edção)
  • Alguns Autores - Enderton e Mendelson
Acho que foi isso Regis.

Galera quem lembrar de mais algo ou ver que escrevi algo errado posta ai.

Abração! =D
J. Cebidanes


Em sábado, 23 de fevereiro de 2013 10h06min58s UTC-3, REGIS CARVALHO escreveu:
Provas.zip

Geraldo Souza Junior

unread,
Feb 23, 2013, 12:05:22 PM2/23/13
to João Paulo Maranhão, computaca...@googlegroups.com
Olha essas provas, meu cérebro lançou NullPointerException aqui, ahahahah

jcebidanes

unread,
Feb 23, 2013, 12:06:37 PM2/23/13
to Geraldo Souza Junior, João Paulo Maranhão, computaca...@googlegroups.com
uhauhaua...Relaxa Geraldo...Se tudo der certo um dia entenderemos. De preferência antes das provas. 

Jhonnatan Cebidanes

Leandro Alves

unread,
Feb 23, 2013, 12:08:50 PM2/23/13
to jcebidanes, João Paulo Maranhão, Geraldo Souza Junior, computaca...@googlegroups.com

Gente, não estraga meu final de semana. Kkkkkkkkk

jcebidanes

unread,
Feb 23, 2013, 12:22:13 PM2/23/13
to Leandro Alves, João Paulo Maranhão, Geraldo Souza Junior, computaca...@googlegroups.com
Leandro você buscou acabar com seus FDS por uns 24 meses quando se inscreveu no IME. XD

Carlos Muniz

unread,
Feb 23, 2013, 12:30:09 PM2/23/13
to jcebidanes, Leandro Alves, João Paulo Maranhão, Geraldo Souza Junior, computaca...@googlegroups.com
Que tal um grupo de estudos sobre esta loucura?

Muita Loucura?

--
Atenciosamente,
Carlos Pedro
"Ser o homem mais rico do cemitério não me interessa. Ir para a cama à noite dizendo que fizemos algo maravilhoso, isso importa para mim” -  Steve Jobs



jcebidanes

unread,
Feb 23, 2013, 12:34:54 PM2/23/13
to Carlos Muniz, Leandro Alves, João Paulo Maranhão, Geraldo Souza Junior, computaca...@googlegroups.com
Sou Pró grupo de estudos. 

Como moro bem longe da Urca e trabalho fica complicado para mim um grupo presencial, mas um grupo remoto(skype/hangout) seria ótimo. Um microfone e opcionalmente uma câmera é quase presencial.
Se alguém se interessar pelo grupo remoto podemos já começar...tem bastante coisa para fazer/estudar.

Abração! =D
J. Cebidanes

Carlos Muniz

unread,
Feb 23, 2013, 12:57:21 PM2/23/13
to jcebidanes, Leandro Alves, João Paulo Maranhão, Geraldo Souza Junior, computaca...@googlegroups.com
Eu curti demais a Idéia!!!

Também moro longe!!!  

Morando em São Gonçalo você sabe como é!!! rsrsrs

Só vamos separar por disciplina pois seria muito brabo todas ao mesmo tempo...

Eu faço Aspectos Formais...  Quando poderíamos?  

Abs,
Carlos Pedro











REGIS CARVALHO

unread,
Feb 23, 2013, 1:06:14 PM2/23/13
to Leandro Alves, jcebidanes, João Paulo Maranhão, Geraldo Souza Junior, computaca...@googlegroups.com
O seu ano inteiro está estragado..esqueça finais de semana....bem vindo ao clube !! rsrs!!

Em 23 de fevereiro de 2013 14:08, Leandro Alves <leans...@gmail.com> escreveu:



--
REGIS CARVALHO

jcebidanes

unread,
Feb 23, 2013, 1:07:19 PM2/23/13
to Carlos Muniz, Leandro Alves, João Paulo Maranhão, Geraldo Souza Junior, computaca...@googlegroups.com
Vou por meus horários assim fica fácil a galera marcar.

Segunda: tenho uma flexibilidade podendo estudar de manhã ou a noite.
Terça: tenho Organização de Computadores e só chego em casa as 22:00
Quarta: tenho Sistemas de BD e só chego em casa as 22:00
Segunda: tenho uma flexibilidade podendo estudar de manhã ou a noite.
Sexta: tenho AFC e só chego em casa as 22:00
Sábado: tenho uma flexibilidade podendo estudar qualquer horário, mas voto por estudar pela manhã e/ou tarde e relaxar a noite.
Sábado: tenho uma flexibilidade podendo estudar qualquer horário, mas voto por estudar só um pouco a tarde, assim da para acordar um pouco mais tarde e aproveitar noite para descanso.



Abração! =D
J. Cebidanes

Luciana Gonçalves

unread,
Feb 23, 2013, 1:37:36 PM2/23/13
to computaca...@googlegroups.com, Computação IME
Olá,
 
Alguém está fazendo a disciplina de Programação?
 
Abs,
Luciana 

 

Carlos Muniz

unread,
Feb 23, 2013, 2:01:23 PM2/23/13
to jcebidanes, Leandro Alves, João Paulo Maranhão, Geraldo Souza Junior, computaca...@googlegroups.com
Voto em fazermos um grupo de estudos para AFC online no domingo das 15 as 17 horas.  

Abs,
Carlos Pedro
Skype: cptullio


Enviado via iPhone

Laurinete Bacelar

unread,
Feb 23, 2013, 9:13:09 PM2/23/13
to Luciana Gonçalves, computaca...@googlegroups.com, Computação IME
Oi Luciana, poxa, eu não estou. Faço Probabilidade e Estatística, Org. comput. e AFC.

Abçs,

Laurinete.
 

De: Luciana Gonçalves <luesc...@yahoo.com.br>
Para: computaca...@googlegroups.com; Computação IME <computaca...@googlegroups.com>
Enviadas: Sábado, 23 de Fevereiro de 2013 15:37
Assunto: [computacao2013-ime] Disciplina Programação
Reply all
Reply to author
Forward
0 new messages