Desenvolvimento de um Analisador Semântico para a Lógica Proposicional
Lógica proposicional é um formalismo matemático pelo qual podemos descrever sentenças declarativas a partir de uma linguagem formal composta por um conjunto de regras que busca remover ambiguidades presentes na linguagem natural. Tais sentenças são chamadas de proposições ou enunciados e podem assum...
| Publicado no: | XXVI Seminário de Iniciação Científica e Tecnológica da UTFPR |
|---|---|
| Principais autores: | Poleto, Guilherme, Paetzold, Gustavo Henrique |
| Formato: | Trabalho Apresentado em Evento |
| Idioma: | Português |
| Publicado em: |
2021
|
| Assuntos: | |
| Acesso em linha: |
http://eventos.utfpr.edu.br//sicite/sicite2021/paper/view/8959/3977 http://eventos.utfpr.edu.br//sicite/sicite2021/paper/view/8959 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|