issues
search
Grupo-de-Estudos-em-Logica-da-UFRN
/
Para-Todxs-Natal
Projeto colaborativo de tradução e adaptação do livro de lógica Forallx
Creative Commons Attribution 4.0 International
13
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Adicionar nome completo
#29
benevidesh
closed
4 months ago
0
pdflatex compilation
#28
arademaker
opened
10 months ago
0
fix(typos): ajustes de traducao, typos e ortografia em `forallx-yyc-fol.tex`
#27
benevidesh
closed
9 months ago
2
Glossário: predicados e de um, dois e três lugares (e as respectivas relações)
#26
Rhalah
opened
2 years ago
0
Glossário: tabela de verdade parcial
#25
Rhalah
opened
2 years ago
0
Adicionar ao glossário: OU EXCLUSIVO e OU INCLUSIVO
#24
Rhalah
closed
2 years ago
1
Unificar definições de glossário?
#23
Rhalah
opened
2 years ago
0
Substituição de texto
#22
Rhalah
closed
2 years ago
0
Criar nova regra
#21
Rhalah
closed
2 years ago
1
Link a corrigir
#20
Rhalah
opened
2 years ago
0
Checar os links do pdf (principalmente no cap. 22)
#19
Rhalah
opened
3 years ago
3
Algumas sugestões
#18
OliveiraHermogenes
closed
3 years ago
2
Redundância textual (observação nº 66 de Tiago Magalhães)
#17
Rhalah
opened
3 years ago
0
Melhorar definição de ESCOPO no glossário.
#16
Rhalah
opened
3 years ago
0
Rever exibição do termo EQUIVALENTE (ajustar ao contexto?)
#15
Rhalah
opened
3 years ago
0
Acrescentar INVÁLIDO NA LPO ao glossário
#14
Rhalah
opened
3 years ago
0
Acrescentar NOME DE INSTANCIAÇÃO ao glossário
#13
Rhalah
opened
3 years ago
0
Acrescentar EXTENSÃO (ou EXTENSÃO DE UM PREDICADO) ao glossário
#12
Rhalah
opened
3 years ago
1
Acrescentar PREDICADO DE TRÊS LUGARES/RELAÇÃO TERNÁRIA ao glossário
#11
Rhalah
opened
3 years ago
1
Acrescentar PREDICADOS DE DOIS LUGARES/RELAÇÕES BINÁRIAS ao glossário
#10
Rhalah
opened
3 years ago
1
Link CONJUNTAMENTE INSATISFATORIAS não funciona e está sem acento (insatisfatórias)
#9
Rhalah
opened
3 years ago
0
Acrescentar "Abiguidade" ao glossário
#8
Rhalah
opened
3 years ago
0
Acrescentar "EXPRESSÃO DA LVF" ao glossário
#7
Rhalah
opened
3 years ago
0
Corrigir definição de glossário de "conjuntamente possíveis" (relacionada ao erro 14 apontado por Tiago Magalhães)
#6
Rhalah
opened
3 years ago
0
No capítulo "Argumentos", a introdução perdeu o sentido da ambiguidade em inglês
#5
Rhalah
closed
2 years ago
3
pdfx.sty: error Undefined control sequence.
#4
benevidesh
closed
3 years ago
2
pdfx.sty: error No color profile found to use for RGB screen colors..
#3
benevidesh
closed
3 years ago
2
revisao do arquivo forallx-yyc-what.tex
#2
benevidesh
opened
3 years ago
0
Usar mesma fonte para meta e metav
#1
Rhalah
closed
3 years ago
0