leandro dias da silva

IC - INSTITUTO DE COMPUTAÇÃO

Disciplinas Ministradas

Disciplina Carga Horária Horário
2026.1
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 25T34
2025.1
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 25M56
2024.2
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 25T34
ECOM071 REDES DE PETRI 60h 25T12
2024.1
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 25M56
2023.2
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 25T34
ECOM071 REDES DE PETRI 60h 25M56
2023.1
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 25M56
2022.2
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 25T34
ECOM071 REDES DE PETRI 60h 25T12
2022.1
SISD050 INTRODUÇÃO A SISTEMAS DE INFORMAÇÃO 60h -
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 25M56
ECOM071 REDES DE PETRI 60h 25M34
2021.2
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 25T34
COMP306 REDES DE PETRI 60h 25T12
ECOM071 REDES DE PETRI 60h 25T12
SISD087 SISTEMAS DISTRIBUÍDOS 60h -
2021.1
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 25M56
2020.2
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 25M56
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 25T34
ECOM071 REDES DE PETRI 60h 25M34
ECOM071 REDES DE PETRI 60h 25T12
COMP306 REDES DE PETRI 60h 25T12
2020.1
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 25M56
ECOM071 REDES DE PETRI 60h 24M34
2019.2
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 2T34 6T12
ECOM077 REDES DE PETRI 60h 24M34
COMP306 REDES DE PETRI 60h 24M34
SISD088 SISTEMAS MULTIMÍDIA 60h -
2019.1
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 25M56
2018.2
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 2T34 6T12
COMP306 REDES DE PETRI 60h 24M34
ECOM077 REDES DE PETRI 60h 24M34
2018.1
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 24M56
TRID003 LÓGICA, INFORMÁTICA E COMUNICAÇÃO 120h -
2017.2
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 24T34
COMP306 REDES DE PETRI 60h 24T12
ECOM071 REDES DE PETRI 60h 24T12
2017.1
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 24M56
2016.2
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 24T56
COMP306 REDES DE PETRI 60h 24T34
ECOM071 REDES DE PETRI 60h 24T34
COMP306 REDES DE PETRI 60h -
2016.1
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 25M56
COMP306 REDES DE PETRI 60h 25T12
ECOM077 REDES DE PETRI 60h 25T12
2015.2
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 24T34
COMP287 REDES DE PETRI 40h 2T12 4T1
COMP306 REDES DE PETRI 60h 24T12
ECOM077 REDES DE PETRI 60h 24T12
2015.1
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 45M56
COMP287 REDES DE PETRI 40h 3T12
COMP071 TÓPICOS ESPECIAIS EM COMPUTAÇÃO - MODELAGEM EM REDES DE PETRI 40h 5T12
2014.2
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 24T56
COMP287 REDES DE PETRI 40h 2T34
COMP071 TÓPICOS ESPECIAIS EM COMPUTAÇÃO - MODELAGEM EM REDES DE PETRI 40h 2T34
2014.1
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 35M34
COMP287 REDES DE PETRI 40h 3T34 5T1
2013.2
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 25T34
COMP287 REDES DE PETRI 40h 3T12
2013.1
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 3M34 5M56
2012.2
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 35T34
2012.1
ECOM006 INTRODUÇÃO À ENGENHARIA DE COMPUTAÇÃO 60h 46M56
ECOM014 LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE 60h 35M34
2011.2
COMP205 INTRODUÇÃO À COMPUTAÇÃO 60h 3T34 6T12
COMP001 INTRODUÇÃO À COMPUTAÇÃO 80h 3T34 6T12
ECOM006 INTRODUÇÃO À ENGENHARIA DE COMPUTAÇÃO 60h 5T56 6T34
2011.1
COMP205 INTRODUÇÃO À COMPUTAÇÃO 60h 35M34
COMP001 INTRODUÇÃO À COMPUTAÇÃO 80h 35M34
ECOM006 INTRODUÇÃO À ENGENHARIA DE COMPUTAÇÃO 60h 46M56
2010.2
COMP001 INTRODUÇÃO À COMPUTAÇÃO 80h 3T56 6T12
COMP093 TÓPICOS EM COMPUTAÇÃO : REDES DE PETRI 40h 5T56
2009.2
COMP001 INTRODUÇÃO À COMPUTAÇÃO 80h -
COMP033 REDES DE COMPUTADORES 2 40h -
COMP057 TÓPICOS EM COMPUTAÇÃO MÓVEL E SEM FIO 40h -
2009.1
COMP001 INTRODUÇÃO À COMPUTAÇÃO 80h -
COMP033 REDES DE COMPUTADORES 2 40h -
COMP057 TÓPICOS EM COMPUTAÇÃO MÓVEL E SEM FIO 40h -
Disciplina Carga Horária Horário
2026.1
PPGI021 ESTUDO DIRIGIDO 30h 2T56
PPGI050 REDES DE PETRI 60h 25T12
2025.2
PPGI001 TEORIA DA COMPUTAÇÃO 60h 25T23
2024.2
PPGI022 ESTUDO DIRIGIDO II 30h 2M12
PPGI001 TEORIA DA COMPUTAÇÃO 60h 25T12
2024.1
PPGI021 ESTUDO DIRIGIDO 30h 2M12
PPGI022 ESTUDO DIRIGIDO II 30h 6M12
PPGI050 REDES DE PETRI 60h 24T23
2023.2
PPGI060 DESIGN E ARQUITETURA DE SISTEMA DE SISTEMAS 60h 25M34
PPGI021 ESTUDO DIRIGIDO 30h 7M56
PPGI001 TEORIA DA COMPUTAÇÃO 60h 25T12
2023.1
PPGI022 ESTUDO DIRIGIDO II 30h 3N12
2022.2
PPGI021 ESTUDO DIRIGIDO 30h 7T12
PPGI022 ESTUDO DIRIGIDO II 30h 7M12
PPGI001 TEORIA DA COMPUTAÇÃO 60h 25T12
2022.1
PPGI021 ESTUDO DIRIGIDO 30h 6M12
PPGI050 REDES DE PETRI 60h 25T12
2021.2
PPGI007 ESPECIFICAÇÃO E VERIFICAÇÃO FORMAL DE SISTEMAS 60h 25T12
PPGI022 ESTUDO DIRIGIDO II 30h 7M12
PPGI001 TEORIA DA COMPUTAÇÃO 60h 25M34
2021.1
PPGI021 ESTUDO DIRIGIDO 30h 7M56
PPGI001 TEORIA DA COMPUTAÇÃO 60h 25T12
2020.2
PPGI007 ESPECIFICAÇÃO E VERIFICAÇÃO FORMAL DE SISTEMAS 60h 25M34
PPGI022 ESTUDO DIRIGIDO II 30h 2M12
PPGI001 TEORIA DA COMPUTAÇÃO 60h 25T12
2020.1
PPGI007 ESPECIFICAÇÃO E VERIFICAÇÃO FORMAL DE SISTEMAS 60h 25M34
PPGI021 ESTUDO DIRIGIDO 30h 6M12
PPGI001 TEORIA DA COMPUTAÇÃO 60h 25T12
2019.1
PPGI021 ESTUDO DIRIGIDO 30h 3T12
PPGI022 ESTUDO DIRIGIDO II 30h 2T34
PPGI001 TEORIA DA COMPUTAÇÃO 60h 25T12
2018.2
PPGI007 ESPECIFICAÇÃO E VERIFICAÇÃO FORMAL DE SISTEMAS 60h 24M34
PPGI021 ESTUDO DIRIGIDO 30h 24M1
PPGI022 ESTUDO DIRIGIDO II 30h 24M1
2018.1
PPGI021 ESTUDO DIRIGIDO 30h 24M2
PPGI001 TEORIA DA COMPUTAÇÃO 60h 24T12
2016.1
PPGI007 ESPECIFICAÇÃO E VERIFICAÇÃO FORMAL DE SISTEMAS 60h -
2015.2
PPGI007 ESPECIFICAÇÃO E VERIFICAÇÃO FORMAL DE SISTEMAS 60h -
2014.2
TIE002 TECNOLOGIAS MULTIMIDIA 30h -
TIE002 TECNOLOGIAS MULTIMIDIA 30h -
TIE002 TECNOLOGIAS MULTIMIDIA 30h -
TIE002 TECNOLOGIAS MULTIMIDIA 30h -
PPGI007 ESPECIFICAÇÃO E VERIFICAÇÃO FORMAL DE SISTEMAS 60h -
2014.1
PPGI007 ESPECIFICAÇÃO E VERIFICAÇÃO FORMAL DE SISTEMAS 60h -
2013.2
PPGI007 ESPECIFICAÇÃO E VERIFICAÇÃO FORMAL DE SISTEMAS 60h -
2012.2
PPGI007 ESPECIFICAÇÃO E VERIFICAÇÃO FORMAL DE SISTEMAS 60h -
2010.1
MCC107 FERRAMENTAS EM MODELAGEM COMPUTACIONAL DO CONHECIMENTO 90h -

Nenhuma turma encontrada

Nenhuma turma encontrada

Nenhuma turma encontrada

Nenhuma turma encontrada

Nenhuma turma encontrada

SIGAA | NTI - Núcleo de Tecnologia da Informação - (82) 3214-1015 | Copyright © 2006-2026 - UFAL - sig-app-2.srv2inst1 v4.9.3_s.405 25/01/2026 03:01