CoteiaWiki - Contribuições do usuário [pt-br]

Arquivo:Notas-t2.pdf

2012-07-04T14:25:19Z

Afim: foi enviada uma nova versão de "Arquivo:Notas-t2.pdf"

SCC-505-2012(erickrf)

2012-07-03T23:10:11Z

Afim: /* Notas */

= Introdução à Teoria da Computação =

== Objetivos ==

Dar ao aluno noção formal de algoritmo, computabilidade e do problema de decisão, de modo a deixá-lo consciente das limitações da ciência da computação: Ineficiência e Intratabilidade; e Problemas Não Computáveis e Indecidíveis. Aparelhá-lo com as ferramentas de modo a habilitá-lo a melhor enfrentar a solução de problemas com o auxílio do computador via Teoria das Linguagens Formais e dos Autômatos.

== Informações Gerais ==
'''Professor''': João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
:Horário de atendimento: Quintas-feiras, 16h às 19h

'''Aluno PAE''': Erick Rocha Fonseca (erickrf at icmc dot usp dot br)
:Horário de atendimento: Terças-feiras, 16h às 19h, sala 1-114.

'''Horário das Aulas''': Quartas-feiras, 21h às 22h40.

'''Sala''': 5-003

<center>'''Quadro de Avisos'''</center>
<blockquote style="background: white; border: 1px solid black; padding: 1em;">
*30/06/2012: Notas da Prova 2 disponíveis. Vista de Provas: aula de 04/07.
*15/05/2012: Notas da Prova 1 e do Trabalho 1 disponíveis (abaixo). Vista de provas: até o dia 24/05/2012, na sala do professor. Dúvidas em relação à nota do trabalho: ver com Erick.
*A prova substitutiva será realizada no dia 06/06/2012
</blockquote>

== Material ==

* [[Media:SCC0505-2012Cap0.pdf| Programa do Curso (Apresentação)]]
* [[Media:SCC0505-2012Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]]
* [[Media:SCC0505Cap2.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]]
* [[Media:SCC0505Cap3_2012.pdf| Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente]]
* [[Media:SCC0505Cap4.pdf| Capítulo 4 - Máquinas de Turing e a Teoria da Computabilidade]]

== Listas de Exercícios ==

* [[Media:Lista1-SCC505-2012.pdf‎| Lista 1]]
* [[Media:Lista2-SCC0505.pdf‎| Lista 2]]
* [[Media:Lista3-SCC0505_2012.pdf‎| Lista 3]]
* [[Media:Lista4-SCC0505_2012.pdf‎| Lista 4]]

== Trabalhos ==

* [[Media:T1SCC505_2012.pdf| Trabalho 1]]
* [[Media:T2SCC505_2012.pdf| Trabalho 2]] (Submissão: 28 a 29 de junho)

== Provas ==

* Data da primeira prova: 02/05
* Data da segunda prova: 27/06
* Data da recuperação: 18/07, às 19h.

== Notas ==

* [[Media:SCC0505P1_2012.pdf| Notas Prova 1 e Trabalho 1]]
* [[Media:P1Sub_SCC505_2012.pdf| Notas da prova substitutiva]]
* [[Media:SCC0505_2012P2.pdf| Notas Prova 2 e Médias das Provas]]
* [[Media:Notas-t2.pdf| Notas Trabalho 2]]

Arquivo:Notas-t2.pdf

2012-07-03T23:08:26Z

Afim:

SCC-505-2012(erickrf)

2012-06-18T19:31:10Z

Afim: Datas de provas e trabalho

= Introdução à Teoria da Computação =

== Objetivos ==

Dar ao aluno noção formal de algoritmo, computabilidade e do problema de decisão, de modo a deixá-lo consciente das limitações da ciência da computação: Ineficiência e Intratabilidade; e Problemas Não Computáveis e Indecidíveis. Aparelhá-lo com as ferramentas de modo a habilitá-lo a melhor enfrentar a solução de problemas com o auxílio do computador via Teoria das Linguagens Formais e dos Autômatos.

== Informações Gerais ==
'''Professor''': João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
:Horário de atendimento: Quintas-feiras, 16h às 19h

'''Aluno PAE''': Erick Rocha Fonseca (erickrf at icmc dot usp dot br)
:Horário de atendimento: Terças-feiras, 16h às 19h, sala 1-114.

'''Horário das Aulas''': Quartas-feiras, 21h às 22h40.

'''Sala''': 5-003

<center>'''Quadro de Avisos'''</center>
<blockquote style="background: white; border: 1px solid black; padding: 1em;">
*15/05/2012: Notas da Prova 1 e do Trabalho 1 disponíveis (abaixo). Vista de provas: até o dia 24/05/2012, na sala do professor. Dúvidas em relação à nota do trabalho: ver com Erick.
*A prova substitutiva será realizada no dia 06/06/2012
</blockquote>

== Material ==

* [[Media:SCC0505-2012Cap0.pdf| Programa do Curso (Apresentação)]]
* [[Media:SCC0505-2012Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]]
* [[Media:SCC0505Cap2.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]]
* [[Media:SCC0505Cap3_2012.pdf| Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente]]
* [[Media:SCC0505Cap4.pdf| Capítulo 4 - Máquinas de Turing e a Teoria da Computabilidade]]

== Listas de Exercícios ==

* [[Media:Lista1-SCC505-2012.pdf‎| Lista 1]]
* [[Media:Lista2-SCC0505.pdf‎| Lista 2]]
* [[Media:Lista3-SCC0505_2012.pdf‎| Lista 3]]
* [[Media:Lista4-SCC0505_2012.pdf‎| Lista 4]]

== Trabalhos ==

* [[Media:T1SCC505_2012.pdf| Trabalho 1]]
* [[Media:T2SCC505_2012.pdf| Trabalho 2]] (Submissão: 28 a 29 de junho)

== Provas ==

* Data da primeira prova: 02/05
* Data da segunda prova: 27/06
* Data da recuperação: 18/07, às 19h.

== Notas ==

* [[Media:SCC0505P1_2012.pdf| Notas Prova 1 e Trabalho 1]]
* [[Media:P1Sub_SCC505_2012.pdf| Notas da prova substitutiva]]

SCC-505-2012(erickrf)

2012-06-11T15:05:45Z

Afim: /* Notas */

= Introdução à Teoria da Computação =

== Objetivos ==

Dar ao aluno noção formal de algoritmo, computabilidade e do problema de decisão, de modo a deixá-lo consciente das limitações da ciência da computação: Ineficiência e Intratabilidade; e Problemas Não Computáveis e Indecidíveis. Aparelhá-lo com as ferramentas de modo a habilitá-lo a melhor enfrentar a solução de problemas com o auxílio do computador via Teoria das Linguagens Formais e dos Autômatos.

== Informações Gerais ==
'''Professor''': João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
:Horário de atendimento: Quintas-feiras, 16h às 19h

'''Aluno PAE''': Erick Rocha Fonseca (erickrf at icmc dot usp dot br)
:Horário de atendimento: Terças-feiras, 16h às 19h, sala 1-114.

'''Horário das Aulas''': Quartas-feiras, 21h às 22h40.

'''Sala''': 5-003

<center>'''Quadro de Avisos'''</center>
<blockquote style="background: white; border: 1px solid black; padding: 1em;">
*15/05/2012: Notas da Prova 1 e do Trabalho 1 disponíveis (abaixo). Vista de provas: até o dia 24/05/2012, na sala do professor. Dúvidas em relação à nota do trabalho: ver com Erick.
*A prova substitutiva será realizada no dia 06/06/2012
</blockquote>

== Material ==

* [[Media:SCC0505-2012Cap0.pdf| Programa do Curso (Apresentação)]]
* [[Media:SCC0505-2012Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]]
* [[Media:SCC0505Cap2.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]]
* [[Media:SCC0505Cap3_2012.pdf| Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente]]
* [[Media:SCC0505Cap4.pdf| Capítulo 4 - Máquinas de Turing e a Teoria da Computabilidade]]

== Listas de Exercícios ==

* [[Media:Lista1-SCC505-2012.pdf‎| Lista 1]]
* [[Media:Lista2-SCC0505.pdf‎| Lista 2]]
* [[Media:Lista3-SCC0505_2012.pdf‎| Lista 3]]
* [[Media:Lista4-SCC0505_2012.pdf‎| Lista 4]]

== Trabalhos ==

* [[Media:T1SCC505_2012.pdf| Trabalho 1]]
* [[Media:T2SCC505_2012.pdf| Trabalho 2]]

== Provas ==

* Data da primeira prova: 02/05

== Notas ==

* [[Media:SCC0505P1_2012.pdf| Notas Prova 1 e Trabalho 1]]
* [[Media:P1Sub_SCC505_2012.pdf| Notas da prova substitutiva]]

Arquivo:P1Sub SCC505 2012.pdf

2012-06-11T15:04:23Z

Afim: foi enviada uma nova versão de "Arquivo:P1Sub SCC505 2012.pdf"

SCC-505-2012(erickrf)

2012-06-11T15:03:37Z

Afim: /* Notas */

= Introdução à Teoria da Computação =

== Objetivos ==

Dar ao aluno noção formal de algoritmo, computabilidade e do problema de decisão, de modo a deixá-lo consciente das limitações da ciência da computação: Ineficiência e Intratabilidade; e Problemas Não Computáveis e Indecidíveis. Aparelhá-lo com as ferramentas de modo a habilitá-lo a melhor enfrentar a solução de problemas com o auxílio do computador via Teoria das Linguagens Formais e dos Autômatos.

== Informações Gerais ==
'''Professor''': João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
:Horário de atendimento: Quintas-feiras, 16h às 19h

'''Aluno PAE''': Erick Rocha Fonseca (erickrf at icmc dot usp dot br)
:Horário de atendimento: Terças-feiras, 16h às 19h, sala 1-114.

'''Horário das Aulas''': Quartas-feiras, 21h às 22h40.

'''Sala''': 5-003

<center>'''Quadro de Avisos'''</center>
<blockquote style="background: white; border: 1px solid black; padding: 1em;">
*15/05/2012: Notas da Prova 1 e do Trabalho 1 disponíveis (abaixo). Vista de provas: até o dia 24/05/2012, na sala do professor. Dúvidas em relação à nota do trabalho: ver com Erick.
*A prova substitutiva será realizada no dia 06/06/2012
</blockquote>

== Material ==

* [[Media:SCC0505-2012Cap0.pdf| Programa do Curso (Apresentação)]]
* [[Media:SCC0505-2012Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]]
* [[Media:SCC0505Cap2.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]]
* [[Media:SCC0505Cap3_2012.pdf| Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente]]
* [[Media:SCC0505Cap4.pdf| Capítulo 4 - Máquinas de Turing e a Teoria da Computabilidade]]

== Listas de Exercícios ==

* [[Media:Lista1-SCC505-2012.pdf‎| Lista 1]]
* [[Media:Lista2-SCC0505.pdf‎| Lista 2]]
* [[Media:Lista3-SCC0505_2012.pdf‎| Lista 3]]
* [[Media:Lista4-SCC0505_2012.pdf‎| Lista 4]]

== Trabalhos ==

* [[Media:T1SCC505_2012.pdf| Trabalho 1]]
* [[Media:T2SCC505_2012.pdf| Trabalho 2]]

== Provas ==

* Data da primeira prova: 02/05

== Notas ==

* [[Media:SCC0505P1_2012.pdf| Notas Prova 1 e Trabalho 1]]

SCC-505-2012(erickrf)

2012-06-11T15:03:09Z

Afim: /* Notas */

= Introdução à Teoria da Computação =

== Objetivos ==

Dar ao aluno noção formal de algoritmo, computabilidade e do problema de decisão, de modo a deixá-lo consciente das limitações da ciência da computação: Ineficiência e Intratabilidade; e Problemas Não Computáveis e Indecidíveis. Aparelhá-lo com as ferramentas de modo a habilitá-lo a melhor enfrentar a solução de problemas com o auxílio do computador via Teoria das Linguagens Formais e dos Autômatos.

== Informações Gerais ==
'''Professor''': João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
:Horário de atendimento: Quintas-feiras, 16h às 19h

'''Aluno PAE''': Erick Rocha Fonseca (erickrf at icmc dot usp dot br)
:Horário de atendimento: Terças-feiras, 16h às 19h, sala 1-114.

'''Horário das Aulas''': Quartas-feiras, 21h às 22h40.

'''Sala''': 5-003

<center>'''Quadro de Avisos'''</center>
<blockquote style="background: white; border: 1px solid black; padding: 1em;">
*15/05/2012: Notas da Prova 1 e do Trabalho 1 disponíveis (abaixo). Vista de provas: até o dia 24/05/2012, na sala do professor. Dúvidas em relação à nota do trabalho: ver com Erick.
*A prova substitutiva será realizada no dia 06/06/2012
</blockquote>

== Material ==

* [[Media:SCC0505-2012Cap0.pdf| Programa do Curso (Apresentação)]]
* [[Media:SCC0505-2012Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]]
* [[Media:SCC0505Cap2.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]]
* [[Media:SCC0505Cap3_2012.pdf| Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente]]
* [[Media:SCC0505Cap4.pdf| Capítulo 4 - Máquinas de Turing e a Teoria da Computabilidade]]

== Listas de Exercícios ==

* [[Media:Lista1-SCC505-2012.pdf‎| Lista 1]]
* [[Media:Lista2-SCC0505.pdf‎| Lista 2]]
* [[Media:Lista3-SCC0505_2012.pdf‎| Lista 3]]
* [[Media:Lista4-SCC0505_2012.pdf‎| Lista 4]]

== Trabalhos ==

* [[Media:T1SCC505_2012.pdf| Trabalho 1]]
* [[Media:T2SCC505_2012.pdf| Trabalho 2]]

== Provas ==

* Data da primeira prova: 02/05

== Notas ==

* [[Media:SCC0505P1_2012.pdf| Notas Prova 1 e Trabalho 1]]
* [[Media:P1Sub_SCC505_2012.pdf| Notas da prova substitutiva]]

Arquivo:P1Sub SCC505 2012.pdf

2012-06-11T15:02:30Z

Afim:

SCC-505-2012(erickrf)

2012-05-29T20:45:08Z

Afim: /* Trabalhos */

= Introdução à Teoria da Computação =

== Objetivos ==

Dar ao aluno noção formal de algoritmo, computabilidade e do problema de decisão, de modo a deixá-lo consciente das limitações da ciência da computação: Ineficiência e Intratabilidade; e Problemas Não Computáveis e Indecidíveis. Aparelhá-lo com as ferramentas de modo a habilitá-lo a melhor enfrentar a solução de problemas com o auxílio do computador via Teoria das Linguagens Formais e dos Autômatos.

== Informações Gerais ==
'''Professor''': João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
:Horário de atendimento: Quintas-feiras, 16h às 19h

'''Aluno PAE''': Erick Rocha Fonseca (erickrf at icmc dot usp dot br)
:Horário de atendimento: Terças-feiras, 16h às 19h, sala 1-114.

'''Horário das Aulas''': Quartas-feiras, 21h às 22h40.

'''Sala''': 5-003

<center>'''Quadro de Avisos'''</center>
<blockquote style="background: white; border: 1px solid black; padding: 1em;">
*15/05/2012: Notas da Prova 1 e do Trabalho 1 disponíveis (abaixo). Vista de provas: até o dia 24/05/2012, na sala do professor. Dúvidas em relação à nota do trabalho: ver com Erick.
*A prova substitutiva será realizada no dia 06/06/2012
</blockquote>

== Material ==

* [[Media:SCC0505-2012Cap0.pdf| Programa do Curso (Apresentação)]]
* [[Media:SCC0505-2012Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]]
* [[Media:SCC0505Cap2.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]]
* [[Media:SCC0505Cap3_2012.pdf| Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente]]
* [[Media:SCC0505Cap4.pdf| Capítulo 4 - Máquinas de Turing e a Teoria da Computabilidade]]

== Listas de Exercícios ==

* [[Media:Lista1-SCC505-2012.pdf‎| Lista 1]]
* [[Media:Lista2-SCC0505.pdf‎| Lista 2]]
* [[Media:Lista3-SCC0505_2012.pdf‎| Lista 3]]
* [[Media:Lista4-SCC0505_2012.pdf‎| Lista 4]]

== Trabalhos ==

* [[Media:T1SCC505_2012.pdf| Trabalho 1]]
* [[Media:T2SCC505_2012.pdf| Trabalho 2]]

== Provas ==

* Data da primeira prova: 02/05

== Notas ==

* [[Media:SCC0505P1_2012.pdf| Notas Prova 1 e Trabalho 1]]

Arquivo:T2SCC505 2012.pdf

2012-05-29T20:44:17Z

Afim:

SCC-505-2012(erickrf)

2012-05-29T00:35:59Z

Afim: /* Informações Gerais */

= Introdução à Teoria da Computação =

== Objetivos ==

Dar ao aluno noção formal de algoritmo, computabilidade e do problema de decisão, de modo a deixá-lo consciente das limitações da ciência da computação: Ineficiência e Intratabilidade; e Problemas Não Computáveis e Indecidíveis. Aparelhá-lo com as ferramentas de modo a habilitá-lo a melhor enfrentar a solução de problemas com o auxílio do computador via Teoria das Linguagens Formais e dos Autômatos.

== Informações Gerais ==
'''Professor''': João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
:Horário de atendimento: Quintas-feiras, 16h às 19h

'''Aluno PAE''': Erick Rocha Fonseca (erickrf at icmc dot usp dot br)
:Horário de atendimento: Terças-feiras, 16h às 19h, sala 1-114.

'''Horário das Aulas''': Quartas-feiras, 21h às 22h40.

'''Sala''': 5-003

<center>'''Quadro de Avisos'''</center>
<blockquote style="background: white; border: 1px solid black; padding: 1em;">
*15/05/2012: Notas da Prova 1 e do Trabalho 1 disponíveis (abaixo). Vista de provas: até o dia 24/05/2012, na sala do professor. Dúvidas em relação à nota do trabalho: ver com Erick.
*A prova substitutiva será realizada no dia 06/06/2012
</blockquote>

== Material ==

* [[Media:SCC0505-2012Cap0.pdf| Programa do Curso (Apresentação)]]
* [[Media:SCC0505-2012Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]]
* [[Media:SCC0505Cap2.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]]
* [[Media:SCC0505Cap3_2012.pdf| Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente]]
* [[Media:SCC0505Cap4.pdf| Capítulo 4 - Máquinas de Turing e a Teoria da Computabilidade]]

== Listas de Exercícios ==

* [[Media:Lista1-SCC505-2012.pdf‎| Lista 1]]
* [[Media:Lista2-SCC0505.pdf‎| Lista 2]]
* [[Media:Lista3-SCC0505_2012.pdf‎| Lista 3]]
* [[Media:Lista4-SCC0505_2012.pdf‎| Lista 4]]

== Trabalhos ==

* [[Media:T1SCC505_2012.pdf| Trabalho 1]]

O código referente ao Trabalho 1 deverá ser submetido ao sistema BOCA (http://sites.labic.icmc.usp.br/boca/index.php). O login e senha de cada aluno será criado pelo estagiário PAE no dia 25/04, mesmo para os que já usaram o sistema em outras ocasiões.

Após logar no BOCA, é possível mudar sua senha no menu '''Options'''.

Para enviar seu trabalho, acesse a opção '''Runs''' no menu superior do BOCA. Você deverá enviar seu código fonte quatro vezes, uma para cada caso de teste (AFN 1, AFN 2, AFD 1 e AFD 2).

Logo após enviar, acesse novamente o menu '''Runs''' para ver o resultado da execução na coluna Answer. Uma execução bem sucedida com a resposta correta é indicada por '''YES'''. Caso haja algum problema com seu código, como erro de compilação ou simplesmente uma resposta errada, será exibido nesse campo.

== Provas ==

* Data da primeira prova: 02/05

== Notas ==

* [[Media:SCC0505P1_2012.pdf| Notas Prova 1 e Trabalho 1]]

SCC-505-2012(erickrf)

2012-05-29T00:33:30Z

Afim: /* Material */

= Introdução à Teoria da Computação =

== Objetivos ==

Dar ao aluno noção formal de algoritmo, computabilidade e do problema de decisão, de modo a deixá-lo consciente das limitações da ciência da computação: Ineficiência e Intratabilidade; e Problemas Não Computáveis e Indecidíveis. Aparelhá-lo com as ferramentas de modo a habilitá-lo a melhor enfrentar a solução de problemas com o auxílio do computador via Teoria das Linguagens Formais e dos Autômatos.

== Informações Gerais ==
'''Professor''': João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
:Horário de atendimento: Quintas-feiras, 16h às 19h

'''Aluno PAE''': Erick Rocha Fonseca (erickrf at icmc dot usp dot br)
:Horário de atendimento: Terças-feiras, 16h às 19h, sala 1-114.

'''Horário das Aulas''': Quartas-feiras, 21h às 22h40.

'''Sala''': 5-003

<center>'''Quadro de Avisos'''</center>
<blockquote style="background: white; border: 1px solid black; padding: 1em;">
*15/05/2012: Notas da Prova 1 e do Trabalho 1 disponíveis (abaixo). Vista de provas: até o dia 24/05/2012, na sala do professor. Dúvidas em relação à nota do trabalho: ver com Erick.
</blockquote>

== Material ==

* [[Media:SCC0505-2012Cap0.pdf| Programa do Curso (Apresentação)]]
* [[Media:SCC0505-2012Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]]
* [[Media:SCC0505Cap2.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]]
* [[Media:SCC0505Cap3_2012.pdf| Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente]]
* [[Media:SCC0505Cap4.pdf| Capítulo 4 - Máquinas de Turing e a Teoria da Computabilidade]]

== Listas de Exercícios ==

* [[Media:Lista1-SCC505-2012.pdf‎| Lista 1]]
* [[Media:Lista2-SCC0505.pdf‎| Lista 2]]
* [[Media:Lista3-SCC0505_2012.pdf‎| Lista 3]]
* [[Media:Lista4-SCC0505_2012.pdf‎| Lista 4]]

== Trabalhos ==

* [[Media:T1SCC505_2012.pdf| Trabalho 1]]

O código referente ao Trabalho 1 deverá ser submetido ao sistema BOCA (http://sites.labic.icmc.usp.br/boca/index.php). O login e senha de cada aluno será criado pelo estagiário PAE no dia 25/04, mesmo para os que já usaram o sistema em outras ocasiões.

Após logar no BOCA, é possível mudar sua senha no menu '''Options'''.

Para enviar seu trabalho, acesse a opção '''Runs''' no menu superior do BOCA. Você deverá enviar seu código fonte quatro vezes, uma para cada caso de teste (AFN 1, AFN 2, AFD 1 e AFD 2).

Logo após enviar, acesse novamente o menu '''Runs''' para ver o resultado da execução na coluna Answer. Uma execução bem sucedida com a resposta correta é indicada por '''YES'''. Caso haja algum problema com seu código, como erro de compilação ou simplesmente uma resposta errada, será exibido nesse campo.

== Provas ==

* Data da primeira prova: 02/05

== Notas ==

* [[Media:SCC0505P1_2012.pdf| Notas Prova 1 e Trabalho 1]]

Arquivo:SCC0505Cap4.pdf

2012-05-29T00:32:26Z

Afim: foi enviada uma nova versão de "Arquivo:SCC0505Cap4.pdf": Correções.

SCC-505-2012(erickrf)

2012-05-23T17:52:53Z

Afim:

= Introdução à Teoria da Computação =

== Objetivos ==

Dar ao aluno noção formal de algoritmo, computabilidade e do problema de decisão, de modo a deixá-lo consciente das limitações da ciência da computação: Ineficiência e Intratabilidade; e Problemas Não Computáveis e Indecidíveis. Aparelhá-lo com as ferramentas de modo a habilitá-lo a melhor enfrentar a solução de problemas com o auxílio do computador via Teoria das Linguagens Formais e dos Autômatos.

== Informações Gerais ==
'''Professor''': João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
:Horário de atendimento: Quintas-feiras, 16h às 19h

'''Aluno PAE''': Erick Rocha Fonseca (erickrf at icmc dot usp dot br)
:Horário de atendimento: Terças-feiras, 16h às 19h, sala 1-114.

'''Horário das Aulas''': Quartas-feiras, 21h às 22h40.

'''Sala''': 5-003

<center>'''Quadro de Avisos'''</center>
<blockquote style="background: white; border: 1px solid black; padding: 1em;">
*15/05/2012: Notas da Prova 1 e do Trabalho 1 disponíveis (abaixo). Vista de provas: até o dia 24/05/2012, na sala do professor. Dúvidas em relação à nota do trabalho: ver com Erick.
</blockquote>

== Material ==

* [[Media:SCC0505-2012Cap0.pdf| Programa do Curso (Apresentação)]]
* [[Media:SCC0505-2012Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]]
* [[Media:SCC0505Cap2.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]]
* [[Media:SCC0505Cap3_2012.pdf| Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente]]
* [[Media:SCC0505Cap4_2012.pdf| Capítulo 4 - Máquinas de Turing e a Teoria da Computabilidade]]

== Listas de Exercícios ==

* [[Media:Lista1-SCC505-2012.pdf‎| Lista 1]]
* [[Media:Lista2-SCC0505.pdf‎| Lista 2]]
* [[Media:Lista3-SCC0505_2012.pdf‎| Lista 3]]
* [[Media:Lista4-SCC0505_2012.pdf‎| Lista 4]]

== Trabalhos ==

* [[Media:T1SCC505_2012.pdf| Trabalho 1]]

O código referente ao Trabalho 1 deverá ser submetido ao sistema BOCA (http://sites.labic.icmc.usp.br/boca/index.php). O login e senha de cada aluno será criado pelo estagiário PAE no dia 25/04, mesmo para os que já usaram o sistema em outras ocasiões.

Após logar no BOCA, é possível mudar sua senha no menu '''Options'''.

Para enviar seu trabalho, acesse a opção '''Runs''' no menu superior do BOCA. Você deverá enviar seu código fonte quatro vezes, uma para cada caso de teste (AFN 1, AFN 2, AFD 1 e AFD 2).

Logo após enviar, acesse novamente o menu '''Runs''' para ver o resultado da execução na coluna Answer. Uma execução bem sucedida com a resposta correta é indicada por '''YES'''. Caso haja algum problema com seu código, como erro de compilação ou simplesmente uma resposta errada, será exibido nesse campo.

== Provas ==

* Data da primeira prova: 02/05

== Notas ==

* [[Media:SCC0505P1_2012.pdf| Notas Prova 1 e Trabalho 1]]

SCC-505-2012(erickrf)

2012-05-10T13:56:47Z

Afim: /* Informações Gerais */

= Introdução à Teoria da Computação =

== Objetivos ==

Dar ao aluno noção formal de algoritmo, computabilidade e do problema de decisão, de modo a deixá-lo consciente das limitações da ciência da computação: Ineficiência e Intratabilidade; e Problemas Não Computáveis e Indecidíveis. Aparelhá-lo com as ferramentas de modo a habilitá-lo a melhor enfrentar a solução de problemas com o auxílio do computador via Teoria das Linguagens Formais e dos Autômatos.

== Informações Gerais ==
'''Professor''': João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
:Horário de atendimento: Quintas-feiras, 16h às 19h

'''Aluno PAE''': Erick Rocha Fonseca (erickrf at icmc dot usp dot br)
:Horário de atendimento: Terças-feiras, 16h às 19h, sala 1-114.
{| border="1"
|| ''' Aviso: Na semana do dia 15/05, excepcionalmente, não haverá atendimento PAE. Dúvidas podem ser enviadas por email. '''
|}

'''Horário das Aulas''': Quartas-feiras, 21h às 22h40.

'''Sala''': 5-003

== Material ==

* [[Media:SCC0505-2012Cap0.pdf| Programa do Curso (Apresentação)]]
* [[Media:SCC0505-2012Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]]
* [[Media:SCC0505Cap2.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]]
* [[Media:SCC0505Cap3_2012.pdf| Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente]]
* [[Media:SCC0505Cap4_2012.pdf| Capítulo 4 - Máquinas de Turing e a Teoria da Computabilidade]]

== Listas de Exercícios ==

* [[Media:Lista1-SCC505-2012.pdf‎| Lista 1]]
* [[Media:Lista2-SCC0505.pdf‎| Lista 2]]
* [[Media:Lista3-SCC0505_2012.pdf‎| Lista 3]]
* [[Media:Lista4-SCC0505_2012.pdf‎| Lista 4]]

== Trabalhos ==

* [[Media:T1SCC505_2012.pdf| Trabalho 1]]

O código referente ao Trabalho 1 deverá ser submetido ao sistema BOCA (http://sites.labic.icmc.usp.br/boca/index.php). O login e senha de cada aluno será criado pelo estagiário PAE no dia 25/04, mesmo para os que já usaram o sistema em outras ocasiões.

Após logar no BOCA, é possível mudar sua senha no menu '''Options'''.

Para enviar seu trabalho, acesse a opção '''Runs''' no menu superior do BOCA. Você deverá enviar seu código fonte quatro vezes, uma para cada caso de teste (AFN 1, AFN 2, AFD 1 e AFD 2).

Logo após enviar, acesse novamente o menu '''Runs''' para ver o resultado da execução na coluna Answer. Uma execução bem sucedida com a resposta correta é indicada por '''YES'''. Caso haja algum problema com seu código, como erro de compilação ou simplesmente uma resposta errada, será exibido nesse campo.

== Provas ==

* Data da primeira prova: 02/05

Arquivo:Lista4-SCC0505-2012.pdf

2012-05-03T15:04:28Z

Afim:

Arquivo:Lista3-SCC0505-2012.pdf

2012-05-03T15:04:04Z

Afim:

Arquivo:SCC0505Cap4-2012.pdf

2012-05-03T15:02:53Z

Afim:

Arquivo:SCC0505Cap3-2012.pdf

2012-05-03T15:02:23Z

Afim:

SCC-505-2012(erickrf)

2012-04-26T13:06:30Z

Afim: /* Trabalhos */

= Introdução à Teoria da Computação =

== Objetivos ==

Dar ao aluno noção formal de algoritmo, computabilidade e do problema de decisão, de modo a deixá-lo consciente das limitações da ciência da computação: Ineficiência e Intratabilidade; e Problemas Não Computáveis e Indecidíveis. Aparelhá-lo com as ferramentas de modo a habilitá-lo a melhor enfrentar a solução de problemas com o auxílio do computador via Teoria das Linguagens Formais e dos Autômatos.

== Informações Gerais ==
'''Professor''': João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
:Horário de atendimento: Quintas-feiras, 16h às 19h

'''Aluno PAE''': Erick Rocha Fonseca (erickrf at icmc dot usp dot br)
:Horário de atendimento: Terças-feiras, 16h às 19h, sala 1-114.

'''Horário das Aulas''': Quartas-feiras, 21h às 22h40.

'''Sala''': 5-003

== Material ==

* [[Media:SCC0505-2012Cap0.pdf| Programa do Curso (Apresentação)]]
* [[Media:SCC0505-2012Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]]
* [[Media:SCC0505Cap2.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]]

== Listas de Exercícios ==

* [[Media:Lista1-SCC505-2012.pdf‎| Lista 1]]
* [[Media:Lista2-SCC0505.pdf‎| Lista 2]]

== Trabalhos ==

* [[Media:T1SCC505_2012.pdf| Trabalho 1]]

O código referente ao Trabalho 1 deverá ser submetido ao sistema BOCA (http://sites.labic.icmc.usp.br/boca/index.php). O login e senha de cada aluno será criado pelo estagiário PAE no dia 25/04, mesmo para os que já usaram o sistema em outras ocasiões.

Após logar no BOCA, é possível mudar sua senha no menu '''Options'''.

Para enviar seu trabalho, acesse a opção '''Runs''' no menu superior do BOCA. Você deverá enviar seu código fonte quatro vezes, uma para cada caso de teste (AFN 1, AFN 2, AFD 1 e AFD 2).

Logo após enviar, acesse novamente o menu '''Runs''' para ver o resultado da execução na coluna Answer. Uma execução bem sucedida com a resposta correta é indicada por '''YES'''. Caso haja algum problema com seu código, como erro de compilação ou simplesmente uma resposta errada, será exibido nesse campo.

== Provas ==

* Data da primeira prova: 02/05

SCC-505-2012(erickrf)

2012-04-24T19:30:45Z

Afim:

Usuário:Afim

2012-04-02T21:14:52Z

Afim: Criou página com 'How To Appear Your Very Best At All Times It takes some competency and information to decide on the ideal goods and routines to further improve your elegance. There are numer...'

How To Appear Your Very Best At All Times

It takes some competency and information to decide on the ideal goods and routines to further improve your elegance. There are numerous beauty products to select from, and deciding on just the right ones for you could be a genuine struggle. Listed here are some attractiveness specific methods which you can get to be able to understand your requirements and would like.

Utilizing a self tanner is a wonderful way to get the appearance of an excellent tan without the negative results of the sunlight, but sometimes these bogus tanners may cause streaks and unnatural spotting. If this were to occur to you, use some baking soft drinks on the loofah or washcloth to remove the streaks.

Don't try to put the stick into the phony eyelashes themselves. Alternatively, implement some stick for the back area of the hand. Take the lashes extremely sluggish throughout the dab of fasten you've added to your hands. Doing this will help you prevent overusing eyelash adhesive.

Employing eye shadow and liner are efficient ways to help your vision appearance lively and standout, but once your vision are bloodshot and detrimental searching, your time and efforts will likely be useless. Hold close to a bottle of vision drops along always. Anytime the eyes are worn out from staring in a laptop or computer monitor for too long, or out under the sun too much time, vision drops can offer a brief select me around bloodshot eye.

When having a bath or shower room, don't use boiling water. The water will open up your pores and enable oil to have out. Then these natural oils get washed away which will make the skin free of moisture and harmful. Use warm or tepid normal water, as this is much more gentle on your skin, always keeping it soft and nutritious hunting. You will additionally save cash on power bills.

In conclusion, elegance is an integral part of your life therefore is being familiar with different strategies to end up being the most appealing you that you can be. This information will help you to know what you need to do on a daily basis. Begin nowadays, while using suggestions previously mentioned.

http://www.last.fm/user/sygasudkywo460/journal/2012/04/02/5eebed_the_benefits_of_lash_tinting_versus_false_eyelashes

Usuário Discussão:Afim

2012-03-31T06:02:29Z

Afim: Criou página com 'Rollerball pens absolutely are a preferred authoring application the fact that incorporate the actual superior connection between a new water fountain note down while using th...'

Rollerball pens absolutely are a preferred authoring application the fact that incorporate the actual superior connection between a new water fountain note down while using the simplicity of a ballpoint pencil.[http://www.hotmontblancpenssale.com/rollerball-mont-blanc.html mont blanc sale] , Ballpoint dog pens in addition to rollerball writing instruments have been the same, by using a particular vital change: the species of tattoo every different works by using.[http://www.hotmontblancpenssale.com/ mont blanc pen] , Some ballpoint pad operates on the all far more viscous fat dependent printer, not like some roller baseball put in writing operates on the all much less compacted liquid depending or simply serum ink.[http://www.hotmontblancpenssale.com/mont-blanc-refill.html mont blanc refill] , This particular less heavy tattoo provides an different posting consequence mainly because it is actually soaked more deeply into your report.[http://www.hotmontblancpenssale.com/mont-blanc-ballpoint-pen.html mont blanc ballpoint pen] , By doing this, rollerball printer dog pens, and / or "inky pens" as they quite simply can be termed, copy typically the ritual in addition to regular really feel with feature pencils.[http://www.kupowacpandora.com/pandora-sklep.html pandora sklep] , There are certain strengths to help finding a rollerball pencil during a ballpoint coop. First, most people think it's much easier and others comfy make use of. Because printer ink streams out of your suggestion extra unreservedly and even saturates any cardstock deeper, the owner lacks towards mass media this pencil all the way down simply because stringently anytime producing. This particular suggests many people need not hold them simply because much in relation to their present, the big advantage in order to men and women who have osteoporosis.

The second thing is, wonderful rollerball put in writing printer ink comes into play the a great deal bigger collection of tones. Simply because on the wide selection of colors as well as dyestuffs that are out there around gelatinated and aqueous primarily based inks, yet not through petroleum structured people. Due to this, rollerball tattoo dog pens will be favorite involving designers plus calligraphers. As a final point, a lot of us desire to employ a roller golf ball coop mainly because it does craft alot more appears along with create better wrinkles. This unique attribute may be found with useful if attempting craft alot more smartly, or maybe as soon as aiming to match a substantial amount of written text towards a small-scale house. This can possilby boost the handwriting. An excellent rollerball pad is absolutely not great, having said that. Typically the lesser mineral water structured ink contains a more significant predisposition to help you smudge, copy against wrists and hands or maybe different webpages, and / or bleed in the website page directly below. This solution dependent printer will do waterless way quicker nonetheless associated risk involving operating is absolutely not absolutely taken out. A second problem is usually than a roller golf ball coop applications way more printer compared with their ballpoint counterpart, therefore dries through way more easily. Individuals choose try using a rollerball coop daily can get by themself taking more cash regarding producing utensils.

Rollerball dog pens who work with solution dependent printer moreover bear chance for "skipping". Considering that this unique printer ink is usually much more viscous versus the waters depending number, typically the sphere will not be generally continually protected around tattoo, that may purpose typically the put in writing to help quit crafting irregularly. Regardless of whether you have chosen ballpoint pencils and rollerball pencils for a everyday posting requires is very for you to decide. Nonetheless an excellent rollerball write makes an ideal belief for all posting responsibilities that need just a little additional awareness, maybe a proper mail maybe a resume.

Arquivo:Bitcoin 4890.jpg

2012-03-31T01:03:56Z

Afim:

SCC-505-2012(erickrf)

2012-03-22T19:45:34Z

Afim: /* Material */

SCC-505-2012(erickrf)

2012-03-22T19:45:01Z

Afim: /* Material */

SCC-505-2012(erickrf)

2012-03-22T19:44:46Z

Afim:

Arquivo:SCC0505Cap2.pdf

2012-03-22T19:41:37Z

Afim: foi enviada uma nova versão de "Arquivo:SCC0505Cap2.pdf"

Arquivo:Lista2-SCC0505.pdf

2012-03-22T19:40:19Z

Afim:

SCC-505-2012(erickrf)

2012-03-19T19:39:12Z

Afim: Trabalho 1

Arquivo:T1SCC505 2012.pdf

2012-03-19T19:38:00Z

Afim: Trabalho 1

Trabalho 1

SCC-505-2012(erickrf)

2012-03-06T14:52:08Z

Afim: Local de atendimento PAE

SCC-505-2012(erickrf)

2012-03-05T20:02:40Z

Afim: Lista 1

Arquivo:Lista1-SCC505-2012.pdf

2012-03-05T20:01:41Z

Afim:

SCC-505-2012(erickrf)

2012-03-01T14:11:21Z

Afim:

SCC-505-2012(erickrf)

2012-02-28T20:11:03Z

Afim:

Arquivo:SCC0505-2012Cap1.rar

2012-02-28T20:09:49Z

Afim:

Arquivo:SCC0505-2012Cap0.pdf

2012-02-28T20:08:53Z

Afim: foi enviada uma nova versão de "Arquivo:SCC0505-2012Cap0.pdf"

SCC-505-2012(erickrf)

2012-02-27T23:31:25Z

Afim:

SCC-505

2012-02-27T23:29:09Z

Afim:

VEJA no Jupiter-web: [[http://sistemas2.usp.br/jupiterweb/obterDisciplina?sgldis=scc0505&nomdis= a ementa]]

== 1º Semestre 2012 ==

* [[SCC-505-2012(erickrf) | SCC-505 Intr. Teoria Comp. ]] - Prof. João Luís.

== 1º Semestre 2011 ==

* [[SCC-505(gracan) | SCC-505 Intr. Teoria Comp. ]] - Profa. Graça Nunes.

== 1º Semestre 2010 ==

* [[SCC-505(joaoluis) | SCC-505 Intr. Teoria Comp. ]] - Prof. João Luís.

SCC-505(2012)

2012-02-27T23:27:01Z

Afim: moveu SCC-505(2012) para SCC-505-2012(erickrf): Nom de usuário entre parênteses.

#REDIRECIONAMENTO [[SCC-505-2012(erickrf)]]

SCC-505-2012(erickrf)

2012-02-27T23:27:01Z

Afim: moveu SCC-505(2012) para SCC-505-2012(erickrf): Nom de usuário entre parênteses.

Arquivo:SCC0505-2012Cap0.pdf

2012-02-27T22:06:37Z

Afim:

SCC-505-2012(erickrf)

2012-02-27T22:02:31Z

Afim: /* Informações Gerais */

SCC-505

2012-02-25T18:05:46Z

Afim:

VEJA no Jupiter-web: [[http://sistemas2.usp.br/jupiterweb/obterDisciplina?sgldis=scc0505&nomdis= a ementa]]

== 1º Semestre 2012 ==

* [[SCC-505(2012) | SCC-505 Intr. Teoria Comp. ]] - Prof. João Luís.

== 1º Semestre 2011 ==

* [[SCC-505(gracan) | SCC-505 Intr. Teoria Comp. ]] - Profa. Graça Nunes.

== 1º Semestre 2010 ==

* [[SCC-505(joaoluis) | SCC-505 Intr. Teoria Comp. ]] - Prof. João Luís.

SCC-505-2012(erickrf)

2012-02-25T17:57:59Z

Afim: Criou página com '= Introdução à Teoria da Computação = == Objetivos == Dar ao aluno noção formal de algoritmo, computabilidade e do problema de decisão, de modo a deixá-lo consciente d...'

Pagina nova(pviana)

2011-11-30T01:26:05Z

Afim:

=== '''SME 0520 - Introdução à Estatística''' ===

* '''Local:''' Sala 4-005 ICMC (Campus I)
* '''Horário:''' Ter (21:00) e Sex (19:00)
* '''Profa.''' ''Patrícia Viana da Silva''; pviana@icmc.usp.br; Sala: 3-157
* '''Horário de tira dúvidas:''' Qua (18:00)

=== Aula prática ===
* Data: 12/08/2011
* Horário: 19h
* Local: '''CISC - Lab 6 e 7'''.

=== Para fazer no R: Ilustração da definição frequentista de probabilidade ===

Escreva esses comandos ou apenas copie e cole no prompt do R para ver a convergência da probabilidade de uma moeda balanceada:
p0 = 1/2 # Moeda balanceada
n = 100:5000
fr = mapply(function(x) sum(rbinom(x,1,p0))/x, n)
plot(n, fr, ylab="Freqüência relativa", type = "l")
abline(h = p0, lty=2, col="blue")

=== Curiosodades ===
Tábua de Galton:
http://www.mathsisfun.com/probability/quincunx.html
http://www.jcu.edu/math/isep/Quincunx/Quincunx.html

=== Datas de Avaliação ===
* 1ª avaliação: 07/10/2011
* 2ª avaliação: 06/12/2011

=== Arquivos ===
* [[Media:Estatística_descritiva_2011_Alunos.pdf|Slides Estatística Descritiva]]
* [[Media:Apostila_R.pdf‎|Apostila R]]
* [[Media:Dados.txt|Dados]]
* [[Media:Aula prática Alunos.pdf|Aula Prática]]
* [[Media:Lista_1_Questão_6_-_Solução.pdf|Lista 1 Questão 6 - Solução]]
* [[Media:Probabilidade_2011.1.pdf‎|Slides Probabilidade Parte 1]]
* [[Media:Probabilidade_2011.2.rar|Slides Probabilidade Parte 2]]
* [[Media:Principais_Modelos_discretos_2011_Alunos.pdf|Slides Modelos Discretos]]
* [[Media:Principais_Modelos_continuos_2011.pdf|Slides Modelos Contínuos]]
* [[Media:Inferência1_2011.pdf|Slides Inferência Parte 1]]
* [[Media:Inferência2_2011.pdf|Slides Inferência Parte 2]]
* [[Media:Aula_Inferência_3_duas_pops.pdf‎|Slides Inferência Parte 3]]
* [[Media:ANOVA_aula.pdf‎ |Slides ANOVA]]
* [[Media:TabelaFSnedcor.pdf‎|Tabela F]]
* [[Media:Tabela_Qui-quadrado.png‎|Tabela Qui-quadrado]]

=== Trabalho de Estatística Descritiva ===
* [[Media:Lista_de_Exercícios_de_Estatística_Descritiva_Alunos.pdf| Lista de Estatística Descritiva]]
* [[Media:Dados_Resistencia.txt| Dados Estatística Descritiva]]

=== Listas de Exercícios ===
* [[Media:LISTA_1.pdf‎| Primeira Lista de Exercícios]]
* [[Media:SME520Lista2.pdf‎| Segunda Lista de Exercícios]]
* [[Media:Terceira_Lista_3.pdf| Terceira Lista de Exercícios]]
* [[Media:Quarta_Lista_de_Exercícios.pdf|Quarta Lista de Exercícios]]
* [[Media:Quinta_Lista_de_Exercícios.pdf| Quinta Lista de Exercícios]]
* [[Media:Sexta_Lista_de_Exercícios.pdf‎‎| Sexta Lista de Exercícios]]

=== Bibliografia ===
* BUSSAB, W.O; MORETTIN, P.A : Estatística Básica, Atual Editora, 4a edição, 1997.
* MEYER, P.: Probabilidade: Aplicação à Estatística, Ao Livro Técnico S.A., 1969.

Arquivo:Tabela Qui-quadrado.png

2011-11-30T01:22:32Z

Afim:

Pagina nova(pviana)

2011-11-30T01:18:23Z

Afim:

=== '''SME 0520 - Introdução à Estatística''' ===

* '''Local:''' Sala 4-005 ICMC (Campus I)
* '''Horário:''' Ter (21:00) e Sex (19:00)
* '''Profa.''' ''Patrícia Viana da Silva''; pviana@icmc.usp.br; Sala: 3-157
* '''Horário de tira dúvidas:''' Qua (18:00)

=== Aula prática ===
* Data: 12/08/2011
* Horário: 19h
* Local: '''CISC - Lab 6 e 7'''.

=== Para fazer no R: Ilustração da definição frequentista de probabilidade ===

Escreva esses comandos ou apenas copie e cole no prompt do R para ver a convergência da probabilidade de uma moeda balanceada:
p0 = 1/2 # Moeda balanceada
n = 100:5000
fr = mapply(function(x) sum(rbinom(x,1,p0))/x, n)
plot(n, fr, ylab="Freqüência relativa", type = "l")
abline(h = p0, lty=2, col="blue")

=== Curiosodades ===
Tábua de Galton:
http://www.mathsisfun.com/probability/quincunx.html
http://www.jcu.edu/math/isep/Quincunx/Quincunx.html

=== Datas de Avaliação ===
* 1ª avaliação: 07/10/2011
* 2ª avaliação: 06/12/2011

=== Arquivos ===
* [[Media:Estatística_descritiva_2011_Alunos.pdf|Slides Estatística Descritiva]]
* [[Media:Apostila_R.pdf‎|Apostila R]]
* [[Media:Dados.txt|Dados]]
* [[Media:Aula prática Alunos.pdf|Aula Prática]]
* [[Media:Lista_1_Questão_6_-_Solução.pdf|Lista 1 Questão 6 - Solução]]
* [[Media:Probabilidade_2011.1.pdf‎|Slides Probabilidade Parte 1]]
* [[Media:Probabilidade_2011.2.rar|Slides Probabilidade Parte 2]]
* [[Media:Principais_Modelos_discretos_2011_Alunos.pdf|Slides Modelos Discretos]]
* [[Media:Principais_Modelos_continuos_2011.pdf|Slides Modelos Contínuos]]
* [[Media:Inferência1_2011.pdf|Slides Inferência Parte 1]]
* [[Media:Inferência2_2011.pdf|Slides Inferência Parte 2]]
* [[Media:Aula_Inferência_3_duas_pops.pdf‎|Slides Inferência Parte 3]]
* [[Media:ANOVA_aula.pdf‎ |Slides ANOVA]]
* [[Media:TabelaFSnedcor.pdf‎|Tabela F]]

=== Trabalho de Estatística Descritiva ===
* [[Media:Lista_de_Exercícios_de_Estatística_Descritiva_Alunos.pdf| Lista de Estatística Descritiva]]
* [[Media:Dados_Resistencia.txt| Dados Estatística Descritiva]]

=== Listas de Exercícios ===
* [[Media:LISTA_1.pdf‎| Primeira Lista de Exercícios]]
* [[Media:SME520Lista2.pdf‎| Segunda Lista de Exercícios]]
* [[Media:Terceira_Lista_3.pdf| Terceira Lista de Exercícios]]
* [[Media:Quarta_Lista_de_Exercícios.pdf|Quarta Lista de Exercícios]]
* [[Media:Quinta_Lista_de_Exercícios.pdf| Quinta Lista de Exercícios]]
* [[Media:Sexta_Lista_de_Exercícios.pdf‎‎| Sexta Lista de Exercícios]]

=== Bibliografia ===
* BUSSAB, W.O; MORETTIN, P.A : Estatística Básica, Atual Editora, 4a edição, 1997.
* MEYER, P.: Probabilidade: Aplicação à Estatística, Ao Livro Técnico S.A., 1969.