Skip to content

Lógica Computacional - 1º Semestre do 3º Ano da Licenciatura em Ciências da Computação

Notifications You must be signed in to change notification settings

MrNameless10/Logica-Computacional

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

10 Commits
 
 
 
 

Repository files navigation

Logica-Computacional

“Lógica Computacional” , em distintas comunidades, designa áreas distintas das ciências da computação.

Por exemplo, na comunidade da Inteligência Artificial Simbólica, pode significar simplesmente “Programação Lógica”. Neste contexto é vista como uma metodologia para modelar sistemas complexos mas de dimensão quase sempre limitada.

Em alternativa na comunidade da Lógica Formal e da Teoria da Prova pode designar a automatização da inferência lógica; por exemplo os “theorem provers” incluem-se nesta interpretação. Como tal pode-se aplicar a lógicas complexas (lógicas de ordem superior, lógicas temporais e modais, etc.) mas os sistemas que descrevem também têm dimensão limitada.

Nesta disciplina procura-se

estudar metodologias e ferramentas para modelar e verificar propriedades lógicas de sistemas de dimensão muito grande.

Como contrapartida a lógica aqui usada é relativamente simples: muita vezes está limitada à Lógica Proposicional.

Partner : @TomasCampinho

Nota Final:

About

Lógica Computacional - 1º Semestre do 3º Ano da Licenciatura em Ciências da Computação

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published