en pt-br

Main.TeoriaDaComputacao History

Hide minor edits - Show changes to markup

August 31, 2015, at 04:11 PM by claudio -
Changed lines 19-20 from:
  • Aconselhável ler: Conduta no curso com o prof Claudio Dicas saudáveis que devem ser conhecidas para aulas do prof Claudio -- perolas_do_cc.pdf
to:
Changed line 24 from:
  • 2014: um exercicio no simulador 5%
to:
  • 2015: um exercicio no simulador 5%
Added line 26:
  • Avaliações semanais ... 2% a 3% cada avaliação
Changed lines 32-33 from:
  • Exame Final: SEMPRE NO PRIMEIRO DIA OFICIAL DOS EXAMES (para 2014/1 : )
to:
  • Exame Final: SEMPRE NO PRIMEIRO DIA OFICIAL DOS EXAMES (para 2015/2 : )
June 06, 2015, at 10:43 PM by claudio -
Changed lines 56-57 from:
  • Exercícios Resolvidos alguns exercícios resolvidos, comentados, etc. Aceitando ajuda para passar para LaTeX
to:
  • Exercícios Resolvidos alguns exercícios resolvidos, comentados, etc. Aceitando ajuda para passar para LaTeX
June 06, 2015, at 10:40 PM by claudio -
Changed lines 56-58 from:
  • Exercícios Resolvidos

alguns exercícios resolvidos, comentados, etc. Aceito quem quiser passar para LaTeX

to:
  • Exercícios Resolvidos alguns exercícios resolvidos, comentados, etc. Aceitando ajuda para passar para LaTeX
June 06, 2015, at 10:39 PM by claudio -
Added lines 56-58:
  • Exercícios Resolvidos

alguns exercícios resolvidos, comentados, etc. Aceito quem quiser passar para LaTeX

December 20, 2014, at 10:29 PM by claudio -
Changed lines 16-18 from:
  • 2as. feiras: 08:20 às 10:00 hrs. (Salas F-104)
  • 4as. feiras: 08:20 às 10:00 hrs. (Salas F-104)
to:
  • 2as. feiras: 08:20 às 10:00 hrs. (Salas F-107)
  • 3as. feiras: 10:10 às 11:50 hrs. (Salas F-107)
June 04, 2014, at 06:16 PM by claudio -
Changed lines 53-57 from:
  • Complexidade via Máquinas de Turing Leia este tutorial. Contém alguns bugs, me avise assim que encontrares.
  • Slides sobre Complexidade Caps 7 do Sipser e outro -- apresentados em aula
  • Novos Slides sobre Complexidade -- em construção Caps 7 a 9 do Sipser -- NOVO ... no futuro apenas este
to:
  • Complexidade via Máquinas de Turing Leia este tutorial, é rápido. Contém alguns bugs, me avise assim que encontrares.
  • Slides sobre Complexidade Conteúdo apresentado em aula
  • Slides sobre Complexidade -- em construção Caps 7 a 9 do Sipser -- ... no futuro apenas talvez eu converta para pdfslide
March 24, 2014, at 11:24 AM by claudio -
Added line 44:
  • Template para slides em LaTex
Changed line 60 from:
  • Livro gratuito sobre: Computacional Complexity: A Modern Approach Muito interessante. Tem uma abordagem complementar ao curso com enfase
to:
  • Livro gratuito sobre: Computacional Complexity: A Modern Approach Muito interessante. Tem uma abordagem complementar ao curso com enfase
March 24, 2014, at 11:17 AM by claudio -
Added lines 39-40:

(caso algum link esteja inválido me avisem

Changed lines 43-59 from:
  • Histórico Matemático da Computação
  • Motivação a computabilidade (antigo)
  • Máquinas de Turing
  • Variantes de Máquinas de Turing
  • Decidibilidade -- 1a. parte
  • Decidibilidade -- 2a. parte
  • Redutibilidade -- 1a. parte
  • Redutibilidade -- 2a. parte
  • Redutibilidade -- 3a. parte
  • Complexidade via Máquinas de Turing Leia este tutorial. Contém alguns bugs, me avise assim que encontrares.
  • Slides sobre Complexidade Caps 7 a 9 do Sipser -- apresentados em aula
  • Novos Slides sobre Complexidade -- em construção Caps 7 a 9 do Sipser -- NOVO ... no futuro apenas este
  • Material completo do Prof Humberto Longo - UFG Livro do Hopcroft e Sipser
  • Livro gratuito sobre: Computatsional Complexity: A Modern Approach Muito interessante. Tem uma abordagem complementar ao curso com enfase
to:
  • Apresentação e motivação ao curso
  • Histórico Matemático da Computação
  • Máquinas de Turing
  • Variantes de Máquinas de Turing
  • Decidibilidade -- 1a. parte
  • Decidibilidade -- 2a. parte
  • Redutibilidade -- 1a. parte
  • Redutibilidade -- 2a. parte
  • Redutibilidade -- 3a. parte
  • Complexidade via Máquinas de Turing Leia este tutorial. Contém alguns bugs, me avise assim que encontrares.
  • Slides sobre Complexidade Caps 7 do Sipser e outro -- apresentados em aula
  • Novos Slides sobre Complexidade -- em construção Caps 7 a 9 do Sipser -- NOVO ... no futuro apenas este
  • Material completo do Prof Humberto Longo - UFG Livro do Hopcroft e Sipser
  • Livro gratuito sobre: Computacional Complexity: A Modern Approach Muito interessante. Tem uma abordagem complementar ao curso com enfase
Changed lines 65-67 from:
  • Teoria das Funções Recursivas
  • Máquina Norma
  • Máquina de Markov e Sistemas de Post
to:
  • Teoria das Funções Recursivas
  • Máquina Norma
  • Máquina de Markov e Sistemas de Post
March 16, 2014, at 09:50 AM by claudio -
Changed line 26 from:
  • 2 provas ~ 50%
to:
  • 2 provas ~ 45%
Changed lines 84-85 from:

outros exemplos e a versão atual do simulador, via Dropbox

to:

Outros exemplos e a versão atual do simulador, via Dropbox

Changed line 89 from:

A versão original foi escrita pelo Dr. Rajshekhar Sunderraman, Georgia State University, raj@cs.gsu.edu

to:

Uma versão original foi escrita pelo Dr. Rajshekhar Sunderraman, Georgia State University, raj@cs.gsu.edu

March 16, 2014, at 09:47 AM by claudio -
Changed lines 16-20 from:
  • 2as. feiras: 08:20 às 10:00 hrs. (Salas K-105)
  • 4as. feiras: 08:20 às 10:00 hrs. (Salas K-105)
  • Antes de tudo leia: Conduta no curso com o prof Claudio Dicas saudáveis que devem ser conhecidas para aulas do prof Claudio -- perolas_do_cc.pdf
to:
  • 2as. feiras: 08:20 às 10:00 hrs. (Salas F-104)
  • 4as. feiras: 08:20 às 10:00 hrs. (Salas F-104)
  • Aconselhável ler: Conduta no curso com o prof Claudio Dicas saudáveis que devem ser conhecidas para aulas do prof Claudio -- perolas_do_cc.pdf
Changed lines 25-26 from:
  • 2 provas ~ 60%
  • Provão Final (toda disciplina -- obrigatório) ~ 40%
to:
  • 2014: um exercicio no simulador 5%
  • 2 provas ~ 50%
  • Provão Final (toda disciplina -- obrigatório) ~ 35%
  • O trabalho sobre algoritimo redutores e redução (duplas) ~ 15%
Changed lines 32-33 from:
  • Exame Final: SEMPRE NO PRIMEIRO DIA OFICIAL DOS EXAMES (para 2013/2 : xx/dezembro)
to:
  • Exame Final: SEMPRE NO PRIMEIRO DIA OFICIAL DOS EXAMES (para 2014/1 : )
Changed lines 61-62 from:

Outros Formalismos de Computacionais

to:

Outros Formalismos de Computacionais -- Complementar

Added line 81:
Added lines 83-85:

Ou também:

outros exemplos e a versão atual do simulador, via Dropbox

Changed lines 111-112 from:

Alguns links de interesse (talvez defasados):

to:

Alguns links de interesse (talvez desatulizados):

October 28, 2013, at 04:31 PM by claudio -
Changed lines 30-31 from:
  • Exame Final: SEMPRE NO PRIMEIRO DIA OFICIAL DOS EXAMES (para 2013/1 : 03/julho)
to:
  • Exame Final: SEMPRE NO PRIMEIRO DIA OFICIAL DOS EXAMES (para 2013/2 : xx/dezembro)
Added lines 51-52:
  • Novos Slides sobre Complexidade -- em construção Caps 7 a 9 do Sipser -- NOVO ... no futuro apenas este
October 13, 2013, at 12:59 PM by claudio -
Changed lines 49-50 from:
  • Slides sobre Complexidade Caps 7 a 9 do Sipser
to:
  • Slides sobre Complexidade Caps 7 a 9 do Sipser -- apresentados em aula
Changed line 145 from:

to:

July 31, 2013, at 09:33 PM by claudio -
Changed line 42 from:
  • Variantes de Máquinas de Turing
to:
  • Variantes de Máquinas de Turing
July 31, 2013, at 09:25 PM by claudio -
Changed lines 41-43 from:
  • Máquinas de Turing -- 1a. Parte
  • Máquinas de Turing -- 2a. Parte (antigo)
  • Variantes de Máquinas de Turing -- 3a. Parte
to:
  • Máquinas de Turing
  • Variantes de Máquinas de Turing
July 31, 2013, at 08:52 PM by claudio -
Changed lines 40-43 from:
  • MT's introdução -- em geral tudo é desenvolvido em sala
  • Máquinas de Turing -- 2a. Parte
  • Máquinas de Turing -- 3a. Parte
  • Variantes de Máquinas de Turing -- 4a. Parte
to:
  • Motivação a computabilidade (antigo)
  • Máquinas de Turing -- 1a. Parte
  • Máquinas de Turing -- 2a. Parte (antigo)
  • Variantes de Máquinas de Turing -- 3a. Parte
July 26, 2013, at 09:25 AM by claudio -
Added lines 19-20:
  • Antes de tudo leia: Conduta no curso com o prof Claudio Dicas saudáveis que devem ser conhecidas para aulas do prof Claudio -- perolas_do_cc.pdf
July 02, 2013, at 08:40 AM by claudio -
Added lines 19-32:

Avaliação

  • 2 provas ~ 60%
  • Provão Final (toda disciplina -- obrigatório) ~ 40%
  • Há pontos extras por balões na maratona
  • Há pontos extras por problemas resolvidos na disciplina, propostos pelo prof.
  • MS >= 5,0 (aprovado)
  • Exame Final: SEMPRE NO PRIMEIRO DIA OFICIAL DOS EXAMES (para 2013/1 : 03/julho)

Added lines 35-36:

Basicamente tudo aqui, exceto exercícios resolvidos (sempre em elaboração):

May 16, 2013, at 09:43 AM by claudio -
Deleted line 2:
Changed lines 19-20 from:

Parte do Material

to:

Material do Curso

Changed lines 47-49 from:

Deixei a lógica de fora, por ser um assunto extenso, etc.

 Este mesmo curso no MIT OpenCourseWare Vejam os exercícios, os resolvidos, as provas etc. Fazendo um curso destes, o professor
to:
  • Deixei o formalismo da lógica de fora, por ser um assunto próprio e extenso
  • Este mesmo curso no MIT OpenCourseWare Vejam os exercícios, os resolvidos, as provas etc. Fazendo um curso destes, o professor
Deleted line 51:
Changed lines 57-59 from:

Agradecimentos: Carlos Camarão (UFMG) e Bernardo Lula (UFCG), que gentilmente cederam parte do material aqui contido.

to:

Agradecimentos: Carlos Camarão (UFMG), Bernardo Lula (UFCG), e Humberto Longo (UFG) que gentilmente cederam parte do material aqui contido.


Added line 85:
Deleted line 87:
Changed lines 128-145 from:

Turma 2003/1 - Listas de exercícios, provas, avisos, etc

Turma 2003/2 - Listas de exercícios, provas, avisos, etc

"Release" definitivo dos temas das apresentações.

Confira a sua vez e seu tema ... (antigo).

Turma 2004/1 - Listas de exercícios, provas, notas, etc

Basicamente as listas, e notas dos alunos, etc

Turma 2004/2 - Listas de exercícios, provas, notas, etc

Basicamente as listas, e notas dos alunos, etc

[[http://www2.joinville.udesc.br/~coca/cursos/teoria_da_computacao/2005-1/ | Tur

to:

May 16, 2013, at 09:38 AM by claudio -
Changed lines 32-34 from:
  • Material completo do Prof Humberto Longo - UFG
  • Complexidade via Máquinas de Turing
to:
  • Complexidade via Máquinas de Turing Leia este tutorial. Contém alguns bugs, me avise assim que encontrares.
  • Slides sobre Complexidade Caps 7 a 9 do Sipser
  • Material completo do Prof Humberto Longo - UFG Livro do Hopcroft e Sipser
Changed lines 38-40 from:

a MTs?

to:

a MTs?. Obrigatório para quem se aventurar na área.

Changed lines 56-57 from:

Parte do material apresentado em sala de aula está neste diretório

Este é o Diretório principal/oficial da disciplina. Em atualização. Aguardem.\\

to:

Material ANTIGO ... talvez útil

Changed lines 61-62 from:

Material complementar da disciplina -> diretório

to:
Changed lines 87-89 from:

Alguns links de interesse:

to:

Alguns links de interesse (talvez defasados):

May 09, 2013, at 04:44 PM by claudio -
Changed lines 48-49 from:
to:
 Este mesmo curso no MIT OpenCourseWare Vejam os exercícios, os resolvidos, as provas etc. Fazendo um curso destes, o professor

valida a nota na disciplina. Este foi em 2006, pode ser que tenhamos novas versões.

May 06, 2013, at 10:32 PM by claudio -
Changed lines 35-37 from:
  • Livro gratuito sobre: Theory of Complexity Muito interessante, uma abordagem complementar ao curso
to:
  • Livro gratuito sobre: Computatsional Complexity: A Modern Approach Muito interessante. Tem uma abordagem complementar ao curso com enfase

a MTs?

May 06, 2013, at 10:29 PM by claudio -
Added line 31:
  • Redutibilidade -- 3a. parte
Added lines 35-37:
  • Livro gratuito sobre: Theory of Complexity Muito interessante, uma abordagem complementar ao curso
April 24, 2013, at 07:43 PM by claudio -
Changed line 25 from:
  • Máquinas de Turing -- 3a. Parte
to:
  • Máquinas de Turing -- 3a. Parte
April 24, 2013, at 07:40 PM by claudio -
Changed lines 3-4 from:
  1. Quem dispuser de algo pertinente na área, em \LaTeX , o material será bem recebido e compartilhado
to:
  1. Quem dispuser de algo pertinente na área, em LaTeX , o material será bem recebido e compartilhado
Changed lines 20-22 from:

Parte do Material e Complementos

to:

Parte do Material

Deleted line 22:
Changed line 24 from:
to:
  • Máquinas de Turing -- 2a. Parte
Changed lines 27-30 from:
  • Decidibilidade - 1a. parte
  • Decidibilidade - 2a. parte
  • Redutibilidade - 1a. parte
  • Redutibilidade - 2a. parte
to:
  • Decidibilidade -- 1a. parte
  • Decidibilidade -- 2a. parte
  • Redutibilidade -- 1a. parte
  • Redutibilidade -- 2a. parte
Added lines 43-44:
April 24, 2013, at 07:38 PM by claudio -
Added lines 22-23:
  • Histórico Matemático da Computação
Changed line 25 from:
  • Máquinas de Turing -- 2a. Parte
to:
Changed lines 35-43 from:
to:

Outros Formalismos de Computacionais

  • Teoria das Funções Recursivas
  • Máquina Norma
  • Máquina de Markov e Sistemas de Post
  • Cálculo Lambda

Deixei a lógica de fora, por ser um assunto extenso, etc.

Changed lines 138-158 from:

Turma 2005/1 - Listas de exercícios, provas, notas, etc

Basicamente as listas, e notas dos alunos, etc

Turma 2005/2 - Listas de exercícios, provas, notas, etc

Basicamente as listas, e notas dos alunos, etc

Turma 2006/1 - Listas de exercícios, provas, notas, etc

Turma 2006/2 - Listas de exercícios, provas, notas, etc

Turma 2007/1 - Listas de exercícios, provas, notas, etc

Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc

Endereço Eletrônico: claudio.sa@udesc.br

to:

[[http://www2.joinville.udesc.br/~coca/cursos/teoria_da_computacao/2005-1/ | Tur

April 24, 2013, at 07:20 PM by claudio -
Changed line 3 from:
  1. Quem dispuser de algo pertinente na área, agradeço antecipadamente o envio do material.
to:
  1. Quem dispuser de algo pertinente na área, em \LaTeX , o material será bem recebido e compartilhado
Deleted lines 4-5:
  1. Todos os links interessam aos estudantes, bem como complemento do conteúdo apresentado

em sala de aula !

Added lines 7-11:

Uma motivação a disciplina, é o que Michael Sipser (autor do livro texto) diz:

"Theory is good for you because studying it expands your mind. Computer technology changes quickly. Specific technical knowledge, though useful today, becomes outdated in just a few years. Consider instead the abilities to think, to express yourself clearly and precisely, to solve problems, and to know when you haven't solved a problem. These abilities have lasting value. Studying theory trains you in these areas."


Changed lines 20-21 from:

Parte do Material do Curso e Complementos

to:

Parte do Material e Complementos

Deleted line 25:
Deleted line 27:
Changed line 70 from:

to:
Changed lines 146-152 from:

Uma motivação a disciplina, é o que Michael Sipser diz:

"Theory is good for you because studying it expands your mind. Computer technology changes quickly. Specific technical knowledge, though useful today, becomes outdated in just a few years. Consider instead the abilities to think, to express yourself clearly and precisely, to solve problems, and to know when you haven't solved a problem. These abilities have lasting value. Studying theory trains you in these areas."

Endereço Eletrônico: claudio@joinville.udesc.br

to:

Endereço Eletrônico: claudio.sa@udesc.br

April 24, 2013, at 07:15 PM by claudio -
Changed lines 17-21 from:

Alguns links de interesse:

Material do Prof Humberto: uma parte do material é apresentado em aula

to:

Parte do Material do Curso e Complementos

  • MT's introdução -- em geral tudo é desenvolvido em sala
  • Máquinas de Turing -- 2a. Parte
  • Máquinas de Turing -- 3a. Parte
  • Variantes de Máquinas de Turing -- 4a. Parte
  • Decidibilidade - 1a. parte
  • Decidibilidade - 2a. parte
  • Redutibilidade - 1a. parte
  • Redutibilidade - 2a. parte
  • Material completo do Prof Humberto Longo - UFG
  • Complexidade via Máquinas de Turing

Deleted lines 65-66:
Added lines 67-69:

Alguns links de interesse:


February 20, 2013, at 04:13 PM by claudio -
Changed lines 13-16 from:
  • 2as. feiras: 10:10 às 11:50 hrs. (Salas K-108)
  • 4as. feiras: 08:30 às 10:10 hrs. (Salas K-108)
to:
  • 2as. feiras: 08:20 às 10:00 hrs. (Salas K-105)
  • 4as. feiras: 08:20 às 10:00 hrs. (Salas K-105)
Added lines 19-21:

Material do Prof Humberto: uma parte do material é apresentado em aula

March 02, 2012, at 10:05 AM by claudio -
Deleted line 3:
  1. Veja abaixo o diretório principal da disciplina e do seu semestre .
Deleted line 8:
Changed lines 13-18 from:
  • 2as. feiras: 10:10 às 11:50 hrs. (Salas K-108 ou F-301(laboratório))
  • 4as. feiras: 08:30 às 10:10 hrs. (Salas K-108 ou F-301(laboratório))

'''News: Apostila sobre complexidade computacional: baixe aqui '''

to:
  • 2as. feiras: 10:10 às 11:50 hrs. (Salas K-108)
  • 4as. feiras: 08:30 às 10:10 hrs. (Salas K-108)
Added lines 46-51:

'''News: Apostila sobre complexidade computacional: baixe aqui '''

March 02, 2012, at 10:02 AM by claudio -
Changed lines 11-12 from:

Semestre 2008-2

to:

Semestre Corrente

Changed lines 15-23 from:
  • 2as. feiras: 10:10 às 11:50 hrs. (Salas K-206 ou F-301(laboratório))
  • 4as. feiras: 07:30 às 10:00 hrs. (Salas K-206 ou F-301(laboratório))
  • Diretório da turma 2008-2 - Material para consulta, Listas de Exercícios e etc. : Turma 2008-2 de TEC
  • Já está disponível a 1a lista de exercícios em : 1a listas de exercícios
  • Simulador de Máquina de Turing em Prolog : Simulador MUST
to:
  • 2as. feiras: 10:10 às 11:50 hrs. (Salas K-108 ou F-301(laboratório))
  • 4as. feiras: 08:30 às 10:10 hrs. (Salas K-108 ou F-301(laboratório))
Deleted lines 20-71:

Semestre 2002-2

Horário das aulas

  • 2as. feiras: 08:20 às 10:00 hrs. (Nova Sala F-108)
  • 4as. feiras: 08:20 às 10:00 hrs. (Nova Sala F-108)

Obs: O intervalo das 09:10 hrs. é compensado com o término da aula às 10:00 hrs

Avisos a turma de 2007-2

  • Diretório da turma 2007-2 - Listas de Exercícios etc. : Turma 2007-2 de TEC
  • Listas de Exercícios 1, 2 e 3 já estão disponíveis.
  • 1a. Prova: 17/setembro (2a. feira)
  • 2a. Prova ....
  • 3a. Prova: dia .... - a. feira
  • Até 5a. feira libero todas as notas
  • Exame Final: ../12 - 4a. feira
  • Lambda Calculo ... tem um diretório específico com material sobre o assunto
  • O Capítulo 7 do Sipser, cujo conteúdo entra na prova, está disponível na central de cópias do Bloco F
  • Como as listas estão sendo preferencialmente em LaTeX, temos um link para perguntas/respostas em: Curso de LaTeX do DCC/UDESC
  • Há um desenhador e (gerador de código) de figuras para LaTeX, o TEXcad. Recomendável para usuários Windows, os demais do Linux fiquem com o xfig;

As observações abaixo são válidas para turma 2007-2:

  • Artigo completo (algum tempo que não cobramos mais isto.)
     Critérios da avaliação dos artigos
  • ....
  • No início de fevereiro: peguem suas listas e provas na minha sala
Listas de exercícios, provas, etc.
Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc.
As listas são preparatórias para prova
  • Todas as listas devem ser entregues em papel impresso.
  • A maioria dos textos está no formato em PS e PDF. Ver links do Ghostview e Ghostscript.
  • O retorno dos artigos ... daqueles que forem entregando, deixarei na secretaria DCC.

Critério de Avaliação para 2007-2

  • 03 provas ou + (peso: 50% a 80% da MS)
  • 03 a 04 (quatro) listas de exercícios (com pesos diferenciados)
  • As apresentações - apx. 20 %
  • Notas agora via SigmaWeb?
  • Os pesos das provas, listas, apresentações, etc, podem variar ao longo do semestre
    Explicado no início do semestre. Ou seja, as atribuições dos pesos ser alteradas ao longo do semestre,
    de acordo com qualidade das mesmas.
  • Apresentações dos trabalhos/artigos
November 11, 2008, at 07:56 PM by Fabiano -
Changed lines 24-26 from:

News: Apostila sobre complexidade computacional:baixe aqui

to:

'''News: Apostila sobre complexidade computacional: baixe aqui '''

November 11, 2008, at 07:55 PM by Fabiano -
Changed lines 24-26 from:

News: Apostila sobre complexidade computacional:

to:

News: Apostila sobre complexidade computacional:baixe aqui

November 11, 2008, at 07:54 PM by Fabiano -
Changed lines 24-26 from:

News: Apostila sobre complexidade computacional:

to:

News: Apostila sobre complexidade computacional:

November 11, 2008, at 07:52 PM by Fabiano -
Changed lines 24-26 from:
to:

News: Apostila sobre complexidade computacional:

September 24, 2008, at 09:56 PM by Fabiano -
Changed lines 22-24 from:
  • Simulador de Máquina de Turing em Prolog : Simulador MUST
to:
  • Simulador de Máquina de Turing em Prolog : Simulador MUST
September 24, 2008, at 09:55 PM by Fabiano -
Changed lines 18-19 from:
  • Diretório da turma 2008-2 - Listas de Exercícios e etc. : Turma 2008-2 de TEC
to:
  • Diretório da turma 2008-2 - Material para consulta, Listas de Exercícios e etc. : Turma 2008-2 de TEC
Changed lines 22-24 from:
to:
  • Simulador de Máquina de Turing em Prolog : Simulador MUST
September 24, 2008, at 12:21 PM by Fabiano -
Changed lines 18-22 from:
  • Diretório da turma 2008-2 - Listas de Exercícios etc. : Turma 2008-2 de TEC
  • Já está disponível a 1a listas de exercícios em : 1a listas de exercícios
to:
  • Diretório da turma 2008-2 - Listas de Exercícios e etc. : Turma 2008-2 de TEC
  • Já está disponível a 1a lista de exercícios em : 1a listas de exercícios
September 24, 2008, at 12:04 PM by Fabiano -
Added lines 20-22:
  • Já está disponível a 1a listas de exercícios em : 1a listas de exercícios
September 24, 2008, at 12:01 PM by rogerio -
Added lines 9-12:

Semestre 2008-2

Added lines 15-23:
  • 2as. feiras: 10:10 às 11:50 hrs. (Salas K-206 ou F-301(laboratório))
  • 4as. feiras: 07:30 às 10:00 hrs. (Salas K-206 ou F-301(laboratório))
  • Diretório da turma 2008-2 - Listas de Exercícios etc. : Turma 2008-2 de TEC

Semestre 2002-2

Horário das aulas

September 16, 2007, at 11:48 PM by claudio -
Added lines 93-96:

Aulas teóricas de Lógica Computacional

link de Portugal, bem interessante.

August 22, 2007, at 12:29 PM by claudio -
Changed lines 20-21 from:
  • Listas de Exercício 1, 2 e 3 já estão disponíveis.
  • 1a. Prova: 17/setembro (2a. feira)
to:
  • Listas de Exercícios 1, 2 e 3 já estão disponíveis.
  • 1a. Prova: 17/setembro (2a. feira)
August 22, 2007, at 12:28 PM by claudio -
Changed lines 20-21 from:
  • 1a. Prova: 17/setembro (4a. feira)
to:
  • Listas de Exercício 1, 2 e 3 já estão disponíveis.
  • 1a. Prova: 17/setembro (2a. feira)
August 20, 2007, at 03:04 PM by claudio -
August 20, 2007, at 11:25 AM by claudio -
Changed lines 32-34 from:

As observações abaixo são válidas para turma 2007-1:

  • Artigo completo
to:

As observações abaixo são válidas para turma 2007-2:

  • Artigo completo (algum tempo que não cobramos mais isto.)
August 20, 2007, at 10:44 AM by claudio -
Changed lines 11-13 from:
  • 2as. feiras: 08:20 às 10:00 hrs. (Nova Sala F-103)
  • 4as. feiras: 08:20 às 10:00 hrs. (Nova Sala F-103)
to:
  • 2as. feiras: 08:20 às 10:00 hrs. (Nova Sala F-108)
  • 4as. feiras: 08:20 às 10:00 hrs. (Nova Sala F-108)
August 20, 2007, at 10:44 AM by claudio -
Changed lines 16-23 from:

Avisos a turma de 2007-1

  • Diretório da turma 2007-1 - Listas de Exercícios etc. : Turma 2007-1 de TEC
  • Na 2a. Prova, anulei uma questão => foi adicionado 1,0 (um) ponto na média de todos.
  • Prova de 2a. chamada para aqueles com processo + Atestado Médico: 25/06 (2a. feira)
  • 3a. Prova: dia 27/06 - 4a. feira
  • Até 5a. feira (28/06) libero todas as notas
  • Exame Final: 11/07 - 4a. feira
to:

Avisos a turma de 2007-2

  • Diretório da turma 2007-2 - Listas de Exercícios etc. : Turma 2007-2 de TEC
  • 1a. Prova: 17/setembro (4a. feira)
  • 2a. Prova ....
  • 3a. Prova: dia .... - a. feira
  • Até 5a. feira libero todas as notas
  • Exame Final: ../12 - 4a. feira
Changed lines 47-48 from:

Critério de Avaliação para 2007-1

to:

Critério de Avaliação para 2007-2

Changed lines 154-155 from:
to:

Turma 2007/1 - Listas de exercícios, provas, notas, etc

June 21, 2007, at 03:46 PM by claudio -
Added line 63:
Deleted line 66:
Deleted line 67:
Deleted line 70:
Deleted line 82:
Deleted line 83:
Deleted line 84:
Changed lines 86-87 from:
to:

June 21, 2007, at 03:43 PM by claudio -
Deleted line 18:
Deleted line 23:
Deleted line 28:
Deleted line 37:
Deleted line 41:
Deleted line 59:
Deleted line 62:
June 21, 2007, at 03:40 PM by claudio -
Added lines 70-71:

Material complementar da disciplina -> diretório

Deleted lines 136-167:

Arquivo em Postscript, numa abordagem próxima ao do livro do Sipser. Em português.

Um texto/slides sobre computabilidade e sistemas formais

Arquivo em PDF, pronto para download. Versão em português de Portugal.

Um texto sobre Máquinas de Turing do Prof. Lucas Rangel

Arquivo em PDF, pronto para download

Um texto sobre o problema da parada, escrito pelo Prof. Lucas Rangel (interessante)

Arquivo em PDF, pronto para download

Um resumo (com muito humor e figuras)

Do que é visto em um curso típico de Teoria da Computacao

Arquivo em PDF, pronto para download. Versão em inglês.

Outros modelos computacionais, além da MT

Enfatizo esta abordagem no curso.

Arquivo em PDF, pronto para download. Versão em inglês.

Artigo de Lambek

Um clássico que faz um "overview" da área de computabilidade

Arquivo em Postscript, pronto para download. Versão em inglês.

June 21, 2007, at 03:30 PM by claudio -
Changed lines 28-29 from:
to:
June 21, 2007, at 03:29 PM by claudio -
Added line 21:
  • Prova de 2a. chamada para aqueles com processo + Atestado Médico: 25/06 (2a. feira)
Added lines 26-28:
  • Lambda Calculo ... tem um diretório específico com material sobre o assunto
  • O Capítulo 7 do Sipser, cujo conteúdo entra na prova, está disponível na central de cópias do Bloco F
Changed lines 45-48 from:
  • 2a. Prova: adiada para o dia ... - ...a. feira
  • 3a. Prova: ... - ..a. feira - 08:00 hrs.
  • Exame Final: ...... - ...a. feira - 08:00 hrs.
  • Lambda Calculo ... dúvidas que não constem no material, me procurem ...
to:
June 20, 2007, at 12:07 PM by claudio -
Changed lines 21-22 from:
  • 3a. Prova: dia 25/06 - 2a. feira
to:
  • 3a. Prova: dia 27/06 - 4a. feira
  • Até 5a. feira (28/06) libero todas as notas
  • Exame Final: 11/07 - 4a. feira
June 12, 2007, at 08:49 AM by claudio -
Added line 20:
  • Na 2a. Prova, anulei uma questão => foi adicionado 1,0 (um) ponto na média de todos.
June 11, 2007, at 11:16 AM by claudio -
Changed lines 20-21 from:
  • 1a. Prova: dia 16/04 - 2a. feira
to:
  • 3a. Prova: dia 25/06 - 2a. feira
Changed line 50 from:
  • As apresentações
to:
  • As apresentações - apx. 20 %
April 26, 2007, at 10:22 AM by claudio -
Changed line 62 from:

Contudo, o livro texto e os demais indicados pelo professor, é o que se constitui como: indispensável.

to:

Contudo, o livro texto e os demais indicados pelo professor, é o que se constitui como: indispensável. \\

April 26, 2007, at 10:22 AM by claudio -
Changed line 52 from:
  • Os pesos das provas, listas, apresentações, etc, podem variar ao longo do semestre \\
to:
  • Os pesos das provas, listas, apresentações, etc, podem variar ao longo do semestre \\
April 26, 2007, at 10:21 AM by claudio -
Changed lines 52-53 from:
  • Os pesos das provas, listas, apresentações, etc, podem variar ao longo do semestre\\ Explicado no início do semestre. Ou seja, as atribuições dos pesos ser alteradas ao longo do semestre,\\
to:
  • Os pesos das provas, listas, apresentações, etc, podem variar ao longo do semestre \\ Explicado no início do semestre. Ou seja, as atribuições dos pesos ser alteradas ao longo do semestre, \\
April 26, 2007, at 10:20 AM by claudio -
Changed lines 52-55 from:
  • Os pesos das provas, listas, apresentações, etc, podem variar segundo previsto \\ no início do semestre. Ou seja, as atribuições dos pesos ser alteradas ao longo do semestre.
  • Apresentações dos artigos.
to:
  • Os pesos das provas, listas, apresentações, etc, podem variar ao longo do semestre\\ Explicado no início do semestre. Ou seja, as atribuições dos pesos ser alteradas ao longo do semestre,
    de acordo com qualidade das mesmas.
  • Apresentações dos trabalhos/artigos
April 11, 2007, at 08:31 PM by claudio -
Changed lines 26-29 from:

As observações abaixo não são válidas para turma 2007-1:

  • Por favor .... até 6a. feira devo corrigir o Exame Final
  • A 7a. lista é o artigo completo
to:

As observações abaixo são válidas para turma 2007-1:

  • Artigo completo
Changed lines 38-40 from:
  • 1a. Prova: adiada para o dia 23/10 - 2a. feira
  • 2a. Prova: 06/12 - 4a. feira - 08:00 hrs.
  • Exame Final: 20/12 - 4a. feira - 08:00 hrs.
to:
  • 2a. Prova: adiada para o dia ... - ...a. feira
  • 3a. Prova: ... - ..a. feira - 08:00 hrs.
  • Exame Final: ...... - ...a. feira - 08:00 hrs.
Changed line 48 from:
  • 02 provas (peso: 50% a 80% da MS)
to:
  • 03 provas ou + (peso: 50% a 80% da MS)
April 11, 2007, at 08:28 PM by claudio -
Added lines 20-21:
  • 1a. Prova: dia 16/04 - 2a. feira
March 26, 2007, at 12:06 PM by claudio -
Added lines 24-25:

As observações abaixo não são válidas para turma 2007-1:

March 26, 2007, at 12:05 PM by claudio -
Added lines 18-19:
  • Diretório da turma 2007-1 - Listas de Exercícios etc. : Turma 2007-1 de TEC
Changed lines 30-31 from:
  • Confira no diretório de sua turma: Turma 2007-1 de TEC
to:
March 26, 2007, at 12:03 PM by claudio -
Changed lines 16-17 from:

Avisos a turma de 2006-2

to:

Avisos a turma de 2007-1

Changed lines 28-29 from:
  • Confira no diretório de sua turma: Turma 2006-2 de TEC
to:
  • Confira no diretório de sua turma: Turma 2007-1 de TEC
Changed lines 42-43 from:

Critério de Avaliação para 2006-1

to:

Critério de Avaliação para 2007-1

Changed lines 45-46 from:
  • 06 a 08 (oito) listas de exercícios (com pesos diferenciados)
to:
  • 03 a 04 (quatro) listas de exercícios (com pesos diferenciados)
  • As apresentações
Added lines 183-186:

Turma 2006/2 - Listas de exercícios, provas, notas, etc

February 07, 2007, at 05:17 PM by claudio -
Changed lines 46-47 from:
  • Notas agora via Sigma WEB
to:
  • Notas agora via SigmaWeb?
  • Os pesos das provas, listas, apresentações, etc, podem variar segundo previsto \\ no início do semestre. Ou seja, as atribuições dos pesos ser alteradas ao longo do semestre.
  • Apresentações dos artigos.
December 21, 2006, at 01:26 PM by claudio -
Changed line 22 from:
  • Espero liberar todas as notas até 14/12 - 5a. feira a 7a. lista
to:
  • Por favor .... até 6a. feira devo corrigir o Exame Final
Changed lines 25-27 from:
  • 6a. e 7a. lista :: fechadas
  • Dia 21/12 ou fevereiro, peguem suas listas e provas na minha sala
to:
  • ....
  • No início de fevereiro: peguem suas listas e provas na minha sala
December 14, 2006, at 03:46 PM by claudio -
Changed line 24 from:
to:
December 14, 2006, at 03:46 PM by claudio -
Added line 24:
Deleted lines 83-84:
December 13, 2006, at 10:33 AM by claudio -
Changed lines 25-26 from:
  • Dia 21/12 ou fevereiro, peguem as listas e provas na minha sala
to:
  • Dia 21/12 ou fevereiro, peguem suas listas e provas na minha sala
December 13, 2006, at 10:33 AM by claudio -
Changed line 23 from:
  • A 7a. lista será o artigo - apresentem prévias até URGENTEMENTE
to:
  • A 7a. lista é o artigo completo
Changed lines 25-26 from:
to:
  • Dia 21/12 ou fevereiro, peguem as listas e provas na minha sala
December 13, 2006, at 10:30 AM by claudio -
Changed line 22 from:
  • Espero liberar todas as notas até 13/12 - 4a. feira
to:
  • Espero liberar todas as notas até 14/12 - 5a. feira a 7a. lista
Changed lines 24-26 from:
  • 6a. e 7a. lista para 2a. feira... coloquem no escaninho!
  • Estou corrigindo as provas... até 2a. feira, ou antes termino.
to:
  • 6a. e 7a. lista :: fechadas
Changed line 36 from:
  • Será liberado um novo material de Lambda Calculo ... liberado ...
to:
  • Lambda Calculo ... dúvidas que não constem no material, me procurem ...
Changed line 44 from:
  • 06 a 08 (oito) listas de exercícios
to:
  • 06 a 08 (oito) listas de exercícios (com pesos diferenciados)
December 07, 2006, at 03:21 PM by claudio -
Changed lines 24-26 from:
to:
  • 6a. e 7a. lista para 2a. feira... coloquem no escaninho!
  • Estou corrigindo as provas... até 2a. feira, ou antes termino.
December 06, 2006, at 05:07 PM by claudio -
Deleted line 7:
Changed lines 25-26 from:
  • Confira no diretório de sua turma: Turma 2006-2 de TEC
to:
  • Confira no diretório de sua turma: Turma 2006-2 de TEC
December 06, 2006, at 05:06 PM by claudio -
Changed lines 23-29 from:
  • Para as próximas aulas, o material tenham em mãos de Cálculo Lambda, em ps e pdf no diretório principal da disciplina
  • A 4a. e a 5a. lista foram liberadas dia: 5/outubro (5a. feira)
  • A 6a. lista foi liberada dia: 17/outubro (6a. feira)
  • A 7a. lista será o artigo - ainda sem prazo... - apresentem prévias até o final da entrega
  • Confira no diretório de sua turma: Turma 2006-2 de TEC
to:
  • Espero liberar todas as notas até 13/12 - 4a. feira
  • A 7a. lista será o artigo - apresentem prévias até URGENTEMENTE
  • Confira no diretório de sua turma: Turma 2006-2 de TEC
Changed line 34 from:
  • Exame Final: ....
to:
  • Exame Final: 20/12 - 4a. feira - 08:00 hrs.
Changed lines 38-39 from:
to:
  • O retorno dos artigos ... daqueles que forem entregando, deixarei na secretaria DCC.
November 27, 2006, at 11:36 AM by claudio -
Changed line 23 from:
  • Para as próximas aulas, o material tenham em mãos de Cálculo Lambda (em ps e pdf no diretório)
to:
  • Para as próximas aulas, o material tenham em mãos de Cálculo Lambda, em ps e pdf no diretório principal da disciplina
November 27, 2006, at 11:35 AM by claudio -
Changed lines 23-24 from:
  • Liberada a nota da 3a. lista -> aguardamos a entrega da 4a. lista para
     semana de 30/10
to:
  • Para as próximas aulas, o material tenham em mãos de Cálculo Lambda (em ps e pdf no diretório)
November 27, 2006, at 11:11 AM by claudio -
Changed line 25 from:
  • A 4a. e a 5a. lista foram liberadas dia: 5/outubro (5a. feira)
to:
  • A 4a. e a 5a. lista foram liberadas dia: 5/outubro (5a. feira)
Changed lines 27-29 from:
  • '''A 7a. lista será o artigo - ainda sem prazo... - apresentem

prévias até o final da entrega'''

to:
  • A 7a. lista será o artigo - ainda sem prazo... - apresentem prévias até o final da entrega
November 27, 2006, at 11:10 AM by claudio -
Changed line 37 from:
  • 2a. Prova: (notas liberadas em ... )
to:
  • 2a. Prova: 06/12 - 4a. feira - 08:00 hrs.
November 17, 2006, at 09:30 AM by claudio -
Changed lines 26-28 from:
  • A 6a. lista será liberada dia: 17/outubro (6a. feira) - já está pronta
  • A 7a. lista será o mini-artigo - ainda tem prazo... - não liberada as últimas recomendações
to:
  • A 6a. lista foi liberada dia: 17/outubro (6a. feira)
  • '''A 7a. lista será o artigo - ainda sem prazo... - apresentem

prévias até o final da entrega'''

November 15, 2006, at 08:30 AM by claudio -
Deleted line 2:
  1. A partir de 2004/2, parte material apresentado em sala de aula na WEB, está disponibilizado neste site.
Changed line 4 from:
  1. Veja abaixo o diretório principal da disciplina de seu semestre .
to:
  1. Veja abaixo o diretório principal da disciplina e do seu semestre .
Changed lines 27-28 from:
  • A 7a. lista será o mini-artigo - ainda tem prazo... - não liberado as últimas recomendações
to:
  • A 7a. lista será o mini-artigo - ainda tem prazo... - não liberada as últimas recomendações
November 15, 2006, at 08:22 AM by claudio -
Added lines 27-29:
  • A 6a. lista será liberada dia: 17/outubro (6a. feira) - já está pronta
  • A 7a. lista será o mini-artigo - ainda tem prazo... - não liberado as últimas recomendações
October 26, 2006, at 02:25 PM by claudio -
Changed line 26 from:
  • A 4a. e a 5a. lista foram liberadas hoje dia: 5/outubro (5a. feira)
to:
  • A 4a. e a 5a. lista foram liberadas dia: 5/outubro (5a. feira)
October 26, 2006, at 02:25 PM by claudio -
Added lines 24-25:
  • Liberada a nota da 3a. lista -> aguardamos a entrega da 4a. lista para
     semana de 30/10
October 16, 2006, at 11:56 AM by claudio -
Changed line 31 from:
  • 1a. Prova: dia 18/10 - 4a. feira
to:
  • 1a. Prova: adiada para o dia 23/10 - 2a. feira
October 05, 2006, at 12:35 PM by claudio -
Changed line 24 from:
  • A 4a. e 5a. listas foram liberadas hoje dia: 5/outubro (5a. feira)
to:
  • A 4a. e a 5a. lista foram liberadas hoje dia: 5/outubro (5a. feira)
October 05, 2006, at 12:35 PM by claudio -
Changed line 24 from:
  • A 2^{a.} (segunda) lista foi liberada hoje dia: 1/setembro (6a. feira)
to:
  • A 4a. e 5a. listas foram liberadas hoje dia: 5/outubro (5a. feira)
Changed line 27 from:
Listas de exercícios, provas, etc
to:
Listas de exercícios, provas, etc.
Changed lines 29-30 from:
to:
As listas são preparatórias para prova
October 05, 2006, at 10:38 AM by claudio -
Changed line 27 from:
Listas de exercícios, provas, notas, etc
to:
Listas de exercícios, provas, etc
Changed line 31 from:
  • 1a. Prova: (notas liberadas em ... )
to:
  • 1a. Prova: dia 18/10 - 4a. feira
Changed line 34 from:
  • Novo material de Lambda Calculo ... liberado ...
to:
  • Será liberado um novo material de Lambda Calculo ... liberado ...
Changed lines 42-43 from:
to:
  • Notas agora via Sigma WEB
September 01, 2006, at 04:36 PM by claudio -
Changed line 26 from:

[[2006-2/] Turma 2006-2 de TEC ]

to:
September 01, 2006, at 04:36 PM by claudio -
Changed line 26 from:

[[2006-2] Turma 2006-2 de TEC ]

to:

[[2006-2/] Turma 2006-2 de TEC ]

September 01, 2006, at 04:35 PM by claudio -
Changed lines 24-25 from:
  • A 1^{a.} (primeira) lista foi liberada hoje dia: 25/agosto (6a. feira)
  • Confira no diretório de sua turma: Turma 2006-2 de TEC
to:
  • A 2^{a.} (segunda) lista foi liberada hoje dia: 1/setembro (6a. feira)
  • Confira no diretório de sua turma: Turma 2006-2 de TEC
    [[2006-2] Turma 2006-2 de TEC ]
August 25, 2006, at 04:42 PM by claudio -
Changed line 24 from:
  • A 1^{a.} lista foi liberada hoje dia: 25/agosto
to:
  • A 1^{a.} (primeira) lista foi liberada hoje dia: 25/agosto (6a. feira)
August 25, 2006, at 04:41 PM by claudio -
Changed line 24 from:
  • A $ 1^a.$  smiley lista foi liberada hoje dia: 25/agosto
to:
  • A 1^{a.} lista foi liberada hoje dia: 25/agosto
August 25, 2006, at 04:40 PM by claudio -
Changed line 24 from:
  • A 1^a. lista foi liberada hoje dia: 25/agosto
to:
  • A $ 1^a.$  smiley lista foi liberada hoje dia: 25/agosto
Changed lines 26-28 from:
 ->  Listas de exercícios, provas, notas, etc 
 ->  Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc.
to:
Listas de exercícios, provas, notas, etc
Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc.
August 25, 2006, at 04:39 PM by claudio -
Changed line 24 from:
  • A 1^{a.} lista foi liberada hoje dia: 25/agosto
to:
  • A 1^a. lista foi liberada hoje dia: 25/agosto
Changed lines 26-28 from:
 Listas de exercícios, provas, notas, etc 
 Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc.
to:
 ->  Listas de exercícios, provas, notas, etc 
 ->  Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc.
August 25, 2006, at 04:29 PM by claudio -
Changed lines 24-29 from:
  • A 1^a. lista foi liberada hoje dia: 25/agosto
  • Confira no diretório de sua turma:
 Turma 2006-2 de TEC  
Listas de exercícios, provas, notas, etc
-> Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc.
to:
  • A 1^{a.} lista foi liberada hoje dia: 25/agosto
  • Confira no diretório de sua turma: Turma 2006-2 de TEC
 Listas de exercícios, provas, notas, etc 
 Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc.
August 25, 2006, at 04:27 PM by claudio -
Changed lines 24-29 from:
  • A 1^{a.} lista foi liberada hoje dia: 25/agosto
  • Confira no diretório de sua turma.
  • Turma 2006-2 de TEC
 Listas de exercícios, provas, notas, etc 
Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc.
to:
  • A 1^a. lista foi liberada hoje dia: 25/agosto
  • Confira no diretório de sua turma:
 Turma 2006-2 de TEC  
Listas de exercícios, provas, notas, etc
-> Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc.
August 25, 2006, at 04:26 PM by claudio -
Changed lines 24-25 from:
  • As listas 1, 2, 3 ... serão liberadas até amanhã: 25/agosto
to:
  • A 1^{a.} lista foi liberada hoje dia: 25/agosto
  • Confira no diretório de sua turma.
  • Turma 2006-2 de TEC
 Listas de exercícios, provas, notas, etc 
Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc.
Deleted lines 49-53:

Turma 2006-2 de TEC

 Listas de exercícios, provas, notas, etc 
Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc.
August 24, 2006, at 04:07 PM by claudio -
Changed lines 38-39 from:

Alguns links (consulte-os)::

to:

Alguns links de interesse:

Changed lines 53-54 from:

Este simulador encontra-se numa versão estável... foi adaptado por mim afim de torná-lo didático, para que os alunos possam melhorá-lo, e desenvolvam aplicações sobre este simulador.

to:

Este simulador encontra-se numa versão estável... foi adaptado afim de torná-lo didático, para que os alunos possam melhorá-lo, e desenvolvam aplicações sobre este simulador.

Changed lines 65-66 from:

Oficialmente utilizei o: SWI-Prolog , meu Prolog predileto !

to:

Oficialmente utilizei o: SWI-Prolog , um Prolog padrão e bem-conhecido !\\

August 24, 2006, at 04:00 PM by claudio -
Changed lines 24-31 from:
  • Notas finais liberadas => 2a. feira 31/07 ...
  • 2a. Época: 2a. feira 31/07 :: 15: 00hrs
  • 1a. Prova: (notas liberadas em 13/06)
  • 2a. Prova: (notas liberadas em 12/07)
  • Exame Final: 26 julho - 4a. feira - 08:00 hrs.
  • Novo material de Lambda Calculo ... liberado hoje 28/06 (4a. feira)
  • Na 2a. feira, dia 03/07, no horário da aula, estarei a disposição para tirar dúvidas sobre a prova de 05/07.
to:
  • As listas 1, 2, 3 ... serão liberadas até amanhã: 25/agosto
  • 1a. Prova: (notas liberadas em ... )
  • 2a. Prova: (notas liberadas em ... )
  • Exame Final: ....
  • Novo material de Lambda Calculo ... liberado ...
Changed lines 36-37 from:
  • 06 a 10 (dez) listas de exercícios
to:
  • 06 a 08 (oito) listas de exercícios
Changed lines 46-49 from:

Turma 2006-2 de TEC Listas de exercícios, provas, notas, etc
Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc.
Ainda não operacional, aguardem.

to:

Turma 2006-2 de TEC

 Listas de exercícios, provas, notas, etc 
Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc.

Um simulador de Máquina de Turing (em Prolog)

Este simulador encontra-se numa versão estável... foi adaptado por mim afim de torná-lo didático, para que os alunos possam melhorá-lo, e desenvolvam aplicações sobre este simulador.

Seu ponto forte é a flexibilidade quanto ao que se deseja sobre o programa simulado na MT.

A versão original foi escrita pelo Dr. Rajshekhar Sunderraman, Georgia State University, raj@cs.gsu.edu

  • http://tinman.cs.gsu.edu/~raj
  • http://db.gsu.edu
  • http://www.oracleprimer.com

Mas com a permissão ("copyright") do Dr. Sunderraman, reescrevi boa parte do código.

Oficialmente utilizei o: SWI-Prolog , meu Prolog predileto !

Há alguns exemplos que o aluno pode testar. Ex: soma e multiplicação unária, etc.

Um exemplo de programa para o simulador acima

Este programa computa sentenças do tipo: a^nb^nc^n para n>=0

É um exemplo clássico da área, é uma gramática do tipo 1.

Outras implementações de exemplos estão sendo disponibilizadas.

Para programação, basta seguir a notação aqui adotada nos exemplos.

Deleted lines 85-88:

Um simulador da Máquina de Turing

Gráfico e tudo mais. Não tenho certeza sobre qual é a versão, e se está operacional.

Deleted lines 116-144:

Um simulador de Máquina de Turing (em Prolog)

Este simulador encontra-se numa versão estável... foi adaptado por mim afim de torná-lo didático, para que os alunos possam melhorá-lo, e desenvolvam aplicações sobre este simulador.

Seu ponto forte é a flexibilidade quanto ao que se deseja sobre o programa simulado na MT.

A versão original foi escrita pelo Dr. Rajshekhar Sunderraman, Georgia State University, raj@cs.gsu.edu

  • http://tinman.cs.gsu.edu/~raj
  • http://db.gsu.edu
  • http://www.oracleprimer.com

Mas com a permissão ("copyright") do Dr. Sunderraman, reescrevi boa parte do código.

Oficialmente utilizei o: SWI-Prolog , meu Prolog predileto !

Há alguns exemplos que o aluno pode testar. Ex: soma e multiplicação unária, etc.

Um exemplo de programa para o simulador acima

Este programa computa sentenças do tipo: a^nb^nc^n para n>=0

É um exemplo clássico da área, é uma gramática do tipo 1.

Outras implementações de exemplos estão sendo disponibilizadas.

Para programação, basta seguir a notação aqui adotada nos exemplos.

August 23, 2006, at 05:29 PM by claudio -
Changed line 48 from:

Turma 2006-2 de TEC Listas de exercícios, provas, notas, etc \\

to:

Turma 2006-2 de TEC Listas de exercícios, provas, notas, etc \\

August 23, 2006, at 05:28 PM by claudio -
Changed lines 42-43 from:

Parte do material apresentado em sala de aula está neste diretório

(http://www2.joinville.udesc.br/~coca/cursos/teoria_da_computacao/textos_tec/ desabilitado temporariamente )\\

to:

Parte do material apresentado em sala de aula está neste diretório

Changed line 48 from:

Turma 2006-2 de TEC Listas de exercícios, provas, notas, etc \\

to:

Turma 2006-2 de TEC Listas de exercícios, provas, notas, etc \\

August 22, 2006, at 03:02 PM by claudio -
Changed line 43 from:

(http://www2.joinville.udesc.br/~coca/cursos/teoria_da_computacao/textos_tec/ desabilitado temporariamente)\\

to:

(http://www2.joinville.udesc.br/~coca/cursos/teoria_da_computacao/textos_tec/ desabilitado temporariamente )\\

Changed line 45 from:

Contudo, o livro texto e os demais indicados pelo professor, é o que se constitui como: indispensável.

to:

Contudo, o livro texto e os demais indicados pelo professor, é o que se constitui como: indispensável.

Changed lines 48-53 from:

Turma 2006-2 de TEC Listas de exercícios, provas, notas, etc
=======

Turma 2006/2 Listas de exercícios, provas, notas, etc
>>>>>>>

to:

Turma 2006-2 de TEC Listas de exercícios, provas, notas, etc \\

August 22, 2006, at 02:53 PM by claudio -
Changed lines 44-45 from:

Este é o Diretório principal/oficial da disciplina. Em atualização. Aguardem.

to:

Este é o Diretório principal/oficial da disciplina. Em atualização. Aguardem.\\

Added lines 47-51:

Turma 2006-2 de TEC Listas de exercícios, provas, notas, etc
=======

Added line 53:

>>>>>>>

August 22, 2006, at 02:51 PM by claudio -
Changed lines 45-46 from:

<<<<<<< Contudo, o livro texto e os demais indicados pelo professor, é o que se constitui como: indispensável.\\

to:

Contudo, o livro texto e os demais indicados pelo professor, é o que se constitui como: indispensável.

Changed lines 48-55 from:

======= Contudo, o livro texto e os demais indicados pelo professor, é o que se constitui como: indispensável. Agradecimentos: Carlos Camarão (UFMG) e Bernardo Lula (UFCG), que gentilmente cederam parte do material aqui contido.

>>>>>>>

[[http://br.geocities.com/hpclaudio/cursos/teoria_da_computacao/textos_tec/turma_2006_2/| Turma 2006/2 ] ] Listas de exercícios, provas, notas, etc \\

to:

Turma 2006/2 Listas de exercícios, provas, notas, etc \\

August 22, 2006, at 02:48 PM by claudio -
Changed lines 45-46 from:

Contudo, o livro texto e os demais indicados pelo professor, é o que se constitui como: indispensável.

to:

<<<<<<< Contudo, o livro texto e os demais indicados pelo professor, é o que se constitui como: indispensável.\\

Changed lines 49-50 from:

Turma 2006/2 Listas de exercícios, provas, notas, etc \\

to:

======= Contudo, o livro texto e os demais indicados pelo professor, é o que se constitui como: indispensável. Agradecimentos: Carlos Camarão (UFMG) e Bernardo Lula (UFCG), que gentilmente cederam parte do material aqui contido.

>>>>>>>

[[http://br.geocities.com/hpclaudio/cursos/teoria_da_computacao/textos_tec/turma_2006_2/| Turma 2006/2 ] ] Listas de exercícios, provas, notas, etc \\

August 22, 2006, at 02:46 PM by claudio -
Changed line 43 from:

(http://www2.joinville.udesc.br/~coca/cursos/teoria_da_computacao/textos_tec/ desabilitado)

to:

(http://www2.joinville.udesc.br/~coca/cursos/teoria_da_computacao/textos_tec/ desabilitado temporariamente)\\

Deleted line 44:
Deleted line 45:
Added line 48:
August 22, 2006, at 02:45 PM by claudio -
Changed lines 42-45 from:

Parte do material apresentado em sala de aula está neste diretório

Este é o Diretório principal/oficial da disciplina. Atualizações quase que diárias.

to:

Parte do material apresentado em sala de aula está neste diretório

(http://www2.joinville.udesc.br/~coca/cursos/teoria_da_computacao/textos_tec/ desabilitado) Este é o Diretório principal/oficial da disciplina. Em atualização. Aguardem.

Changed lines 49-50 from:

  • Turma 2006/2 - Listas de exercícios, provas, notas, etc \\
to:

Turma 2006/2 Listas de exercícios, provas, notas, etc \\

Changed lines 53-55 from:

to:
August 21, 2006, at 10:41 AM by claudio -
Changed lines 49-51 from:

to:

  • Turma 2006/2 - Listas de exercícios, provas, notas, etc \\
Changed lines 53-55 from:
to:

August 21, 2006, at 10:40 AM by claudio -
Changed lines 18-19 from:

Avisos a turma de 2006-1

to:

Avisos a turma de 2006-2

Changed lines 50-53 from:

Turma 2006/1 - Listas de exercícios, provas, notas, etc

Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc

to:

 Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc. 
Ainda não operacional, aguardem.
Added lines 183-187:

Turma 2006/1 - Listas de exercícios, provas, notas, etc

Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc

August 18, 2006, at 05:10 PM by claudio -
Changed lines 42-43 from:

to:

Parte do material apresentado em sala de aula está neste diretório

Changed lines 50-51 from:

Turma 2006/1 - Listas de exercícios, provas, notas, etc

to:

Turma 2006/1 - Listas de exercícios, provas, notas, etc

Changed lines 58-59 from:

Um simulador da Máquina de Turing

to:

Um simulador da Máquina de Turing

Changed lines 94-95 from:

Um simulador de Máquina de Turing (em Prolog)

to:

Um simulador de Máquina de Turing (em Prolog)

Changed lines 112-113 from:

Um exemplo de programa para o simulador acima

to:

Um exemplo de programa para o simulador acima

Changed lines 122-123 from:

Um texto sobre decidibilidade do prof. Newton José Vieira (UFMG)

to:

Um texto sobre decidibilidade do prof. Newton José Vieira (UFMG)

Changed lines 126-127 from:

Um texto/slides sobre computabilidade e sistemas formais

to:

Um texto/slides sobre computabilidade e sistemas formais

Changed lines 130-131 from:

Um texto sobre Máquinas de Turing do Prof. Lucas Rangel

to:

Um texto sobre Máquinas de Turing do Prof. Lucas Rangel

Changed lines 134-135 from:

Um texto sobre o problema da parada, escrito pelo Prof. Lucas Rangel (interessante)

to:

Um texto sobre o problema da parada, escrito pelo Prof. Lucas Rangel (interessante)

Changed lines 138-139 from:

Um resumo (com muito humor e figuras)

to:

Um resumo (com muito humor e figuras)

Changed lines 144-145 from:

Outros modelos computacionais, além da MT

to:

Outros modelos computacionais, além da MT

Changed lines 150-151 from:

Artigo de Lambek

to:

Artigo de Lambek

Changed lines 156-161 from:

Turma 2003/1 - Listas de exercícios, provas, avisos, etc

Turma 2003/2 - Listas de exercícios, provas, avisos, etc

"Release" definitivo dos temas das apresentações.

to:

Turma 2003/1 - Listas de exercícios, provas, avisos, etc

Turma 2003/2 - Listas de exercícios, provas, avisos, etc

"Release" definitivo dos temas das apresentações.

Changed lines 164-165 from:

Turma 2004/1 - Listas de exercícios, provas, notas, etc

to:

Turma 2004/1 - Listas de exercícios, provas, notas, etc

Changed lines 168-169 from:

Turma 2004/2 - Listas de exercícios, provas, notas, etc

to:

Turma 2004/2 - Listas de exercícios, provas, notas, etc

Changed lines 172-173 from:

Turma 2005/1 - Listas de exercícios, provas, notas, etc

to:

Turma 2005/1 - Listas de exercícios, provas, notas, etc

Changed lines 176-177 from:

Turma 2005/2 - Listas de exercícios, provas, notas, etc

to:

Turma 2005/2 - Listas de exercícios, provas, notas, etc

August 18, 2006, at 05:05 PM by claudio -
Changed lines 42-43 from:

Parte do material apresentado em sala de aula está neste diretório

to:

July 31, 2006, at 11:14 AM by claudio -
Changed lines 3-4 from:
  1. A partir de 2004/2, parte material apresentado em sala de aula na WEB, está disponibilizado neste site.
  2. $Quem dispuser de algo pertinente na área, agradeço antecipadamente o envio do material.
to:
  1. A partir de 2004/2, parte material apresentado em sala de aula na WEB, está disponibilizado neste site.
  2. Quem dispuser de algo pertinente na área, agradeço antecipadamente o envio do material.
Changed lines 44-47 from:

Este é o Diretório principal/oficial da disciplina.

Atualizações quase que diárias.

to:

Este é o Diretório principal/oficial da disciplina. Atualizações quase que diárias.

July 31, 2006, at 11:13 AM by claudio -
July 31, 2006, at 11:13 AM by claudio -
Changed lines 3-11 from:

A partir de 2004/2, parte material apresentado em sala de aula na WEB, está disponibilizado neste site.

Quem dispuser de algo pertinente na área, agradeço antecipadamente o envio do material.

Veja abaixo o diretório principal da disciplina de seu semestre \pi (demo).

Junto aos estudantes, tenho trabalhado para formatar um material consistente e completo.

Todos os links interessam aos estudantes, bem como complemento do conteúdo apresentado

to:
  1. A partir de 2004/2, parte material apresentado em sala de aula na WEB, está disponibilizado neste site.
  2. $Quem dispuser de algo pertinente na área, agradeço antecipadamente o envio do material.
  3. Veja abaixo o diretório principal da disciplina de seu semestre .
  4. Junto aos estudantes, estamos trabalhando para formatar um material consistente e completo.
  5. Todos os links interessam aos estudantes, bem como complemento do conteúdo apresentado
Deleted line 10:
July 31, 2006, at 11:11 AM by claudio -
July 31, 2006, at 11:11 AM by claudio -
Changed lines 27-31 from:
  • Há um desenhador e (gerador de código) de figuras para LaTeX, o TEXcad.

Recomendável para usuários Windows, os demais do Linux fiquem com o xfig;

<<<<<<<

to:
  • Há um desenhador e (gerador de código) de figuras para LaTeX, o TEXcad. Recomendável para usuários Windows, os demais do Linux fiquem com o xfig;
Changed lines 31-36 from:
 ----

=======

  • Notas finais liberadas => 2a. feira 31/07 ...
  • 2a. Época: 2a. feira 31/07 :: 15: 00hrs
 ----

>>>>>>>

to:
July 31, 2006, at 11:09 AM by claudio -
Added lines 31-35:

<<<<<<<

  • Notas finais liberadas => 2a. feira 31/07 ...
  • 2a. Época: 2a. feira 31/07 :: 15: 00hrs
 ----

=======

Added line 39:

>>>>>>>

Changed line 201 from:

Endereço Eletrônico: claudio@joinville.udesc.br

to:

Endereço Eletrônico: claudio@joinville.udesc.br

July 31, 2006, at 11:07 AM by claudio -
Changed lines 31-33 from:
  • Notas finais liberadas => 2a. feira 17/07 ...
to:
  • Notas finais liberadas => 2a. feira 31/07 ...
  • 2a. Época: 2a. feira 31/07 :: 15: 00hrs
 ----
July 18, 2006, at 09:30 PM by claudio -
Changed lines 7-8 from:

Veja abaixo o diretório principal da disciplina.

to:

Veja abaixo o diretório principal da disciplina de seu semestre \pi (demo).

July 17, 2006, at 03:31 PM by vilson -
Changed line 31 from:
  • Notas sendo liberadas na medida do possível ...
to:
  • Notas finais liberadas => 2a. feira 17/07 ...
July 12, 2006, at 11:37 AM by claudio -
Changed lines 33-34 from:
  • 2a. Prova: 05/07 4a. feira - 08:00 hrs.
  • Exame Final: 24 ou 26 julho ver com o Prof. Mendes
to:
  • 2a. Prova: (notas liberadas em 12/07)
  • Exame Final: 26 julho - 4a. feira - 08:00 hrs.
July 11, 2006, at 11:56 PM by vilson -
Deleted lines 30-31:

Veja: o Sítio do TEXcad? ;

July 11, 2006, at 11:56 PM by vilson -
Added lines 1-195:

Teoria da Computação

A partir de 2004/2, parte material apresentado em sala de aula na WEB, está disponibilizado neste site.

Quem dispuser de algo pertinente na área, agradeço antecipadamente o envio do material.

Veja abaixo o diretório principal da disciplina.

Junto aos estudantes, tenho trabalhado para formatar um material consistente e completo.

Todos os links interessam aos estudantes, bem como complemento do conteúdo apresentado em sala de aula !


Horário das aulas

  • 2as. feiras: 08:20 às 10:00 hrs. (Nova Sala F-103)
  • 4as. feiras: 08:20 às 10:00 hrs. (Nova Sala F-103)

Obs: O intervalo das 09:10 hrs. é compensado com o término da aula às 10:00 hrs

Avisos a turma de 2006-1

  • Como as listas estão sendo preferencialmente em LaTeX, temos um link para perguntas/respostas em: Curso de LaTeX do DCC/UDESC
  • Há um desenhador e (gerador de código) de figuras para LaTeX, o TEXcad.

Recomendável para usuários Windows, os demais do Linux fiquem com o xfig;

Veja: o Sítio do TEXcad? ;

  • Notas sendo liberadas na medida do possível ...
  • 1a. Prova: (notas liberadas em 13/06)
  • 2a. Prova: 05/07 4a. feira - 08:00 hrs.
  • Exame Final: 24 ou 26 julho ver com o Prof. Mendes
  • Novo material de Lambda Calculo ... liberado hoje 28/06 (4a. feira)
  • Na 2a. feira, dia 03/07, no horário da aula, estarei a disposição para tirar dúvidas sobre a prova de 05/07.
  • Todas as listas devem ser entregues em papel impresso.
  • A maioria dos textos está no formato em PS e PDF. Ver links do Ghostview e Ghostscript.

Critério de Avaliação para 2006-1

  • 02 provas (peso: 50% a 80% da MS)
  • 06 a 10 (dez) listas de exercícios

Alguns links (consulte-os)::

Parte do material apresentado em sala de aula está neste diretório

Este é o Diretório principal/oficial da disciplina.

Atualizações quase que diárias.

Contudo, o livro texto e os demais indicados pelo professor, é o que se constitui como: indispensável.

Agradecimentos: Carlos Camarão (UFMG) e Bernardo Lula (UFCG), que gentilmente cederam parte do material aqui contido.

Turma 2006/1 - Listas de exercícios, provas, notas, etc

Basicamente as listas (em ps, pdf e tex), e notas dos alunos, etc

Disciplina de Teoria da Computação na UFRGS

Uso muitos exemplos e partes do livro texto do Prof. Tiaraju.

Um simulador da Máquina de Turing

Gráfico e tudo mais. Não tenho certeza sobre qual é a versão, e se está operacional.

Disciplina de Teoria da Computação na UFCG

Onde o Prof. BERNARDO LULA JUNIOR, usa o mesmo livro que é adotado em nosso curso. Há um trabalho de tradução do livro do Sipser e muitos slides em ppt.

Vale pena conferir.

Disciplina da Pós do ICMS-USP de Teoria da Computação

Há várias monografias em *.doc e *.pdf, de vários assuntos tratados na disciplina de TEC.

Fortemente recomendável.

Referência do curso: pos2o2002_Teoria_Computacao_(SCE5832?) (http://coweb.icmc.usp.br/coweb/mostra.php?ident=46)

Disciplina de Fundamentos da Teoria da Computação na UFMG

Onde prof. Newton José Vieira possui experiência na área.

Há um interessante material, das várias vezes que o prof. ensinou esta disciplina.

Siga para última edição, e que há um livro em pdf.

Introduction to the Theory of Computation, de Michael Sipser

Este é o livro texto adotado (no momento), usamos a partir do capítulo 3 até o 7 inclusive.

As transparências do curso tem por base este livro.

Grupo de Teoria da Computação do MIT

Dispõe de links interessantes a disciplinas lá lecionadas por este grupo.

Um simulador de Máquina de Turing (em Prolog)

Este simulador encontra-se numa versão estável... foi adaptado por mim afim de torná-lo didático, para que os alunos possam melhorá-lo, e desenvolvam aplicações sobre este simulador.

Seu ponto forte é a flexibilidade quanto ao que se deseja sobre o programa simulado na MT.

A versão original foi escrita pelo Dr. Rajshekhar Sunderraman, Georgia State University, raj@cs.gsu.edu

  • http://tinman.cs.gsu.edu/~raj
  • http://db.gsu.edu
  • http://www.oracleprimer.com

Mas com a permissão ("copyright") do Dr. Sunderraman, reescrevi boa parte do código.

Oficialmente utilizei o: SWI-Prolog , meu Prolog predileto !

Há alguns exemplos que o aluno pode testar. Ex: soma e multiplicação unária, etc.

Um exemplo de programa para o simulador acima

Este programa computa sentenças do tipo: a^nb^nc^n para n>=0

É um exemplo clássico da área, é uma gramática do tipo 1.

Outras implementações de exemplos estão sendo disponibilizadas.

Para programação, basta seguir a notação aqui adotada nos exemplos.

Um texto sobre decidibilidade do prof. Newton José Vieira (UFMG)

Arquivo em Postscript, numa abordagem próxima ao do livro do Sipser. Em português.

Um texto/slides sobre computabilidade e sistemas formais

Arquivo em PDF, pronto para download. Versão em português de Portugal.

Um texto sobre Máquinas de Turing do Prof. Lucas Rangel

Arquivo em PDF, pronto para download

Um texto sobre o problema da parada, escrito pelo Prof. Lucas Rangel (interessante)

Arquivo em PDF, pronto para download

Um resumo (com muito humor e figuras)

Do que é visto em um curso típico de Teoria da Computacao

Arquivo em PDF, pronto para download. Versão em inglês.

Outros modelos computacionais, além da MT

Enfatizo esta abordagem no curso.

Arquivo em PDF, pronto para download. Versão em inglês.

Artigo de Lambek

Um clássico que faz um "overview" da área de computabilidade

Arquivo em Postscript, pronto para download. Versão em inglês.

Turma 2003/1 - Listas de exercícios, provas, avisos, etc

Turma 2003/2 - Listas de exercícios, provas, avisos, etc

"Release" definitivo dos temas das apresentações.

Confira a sua vez e seu tema ... (antigo).

Turma 2004/1 - Listas de exercícios, provas, notas, etc

Basicamente as listas, e notas dos alunos, etc

Turma 2004/2 - Listas de exercícios, provas, notas, etc

Basicamente as listas, e notas dos alunos, etc

Turma 2005/1 - Listas de exercícios, provas, notas, etc

Basicamente as listas, e notas dos alunos, etc

Turma 2005/2 - Listas de exercícios, provas, notas, etc

Basicamente as listas, e notas dos alunos, etc


Uma motivação a disciplina, é o que Michael Sipser diz:

"Theory is good for you because studying it expands your mind. Computer technology changes quickly. Specific technical knowledge, though useful today, becomes outdated in just a few years. Consider instead the abilities to think, to express yourself clearly and precisely, to solve problems, and to know when you haven't solved a problem. These abilities have lasting value. Studying theory trains you in these areas."

Endereço Eletrônico: claudio@joinville.udesc.br