Re: [Logica-l] Latex - Kripke models

[Eduardo Ochs]

Oops, faltou o link pro output...
  http://angg.twu.net/dednat6/demo-minimal-abilio.tex.html
  http://angg.twu.net/dednat6/demo-minimal-abilio.tex
  http://angg.twu.net/dednat6/demo-minimal-abilio.pdf

On Fri, 16 Aug 2019 at 05:19, Eduardo Ochs  wrote:

> O codigo pra gerar o seu diagrama esta' aqui, no final do arquivo:
>   http://angg.twu.net/dednat6/demo-minimal-abilio.tex.html
>   http://angg.twu.net/dednat6/demo-minimal-abilio.tex
> O diagrama se chama "Kripke-star".
>   [[]], Eduardo
>
> On Fri, 16 Aug 2019 at 05:13, Eduardo Ochs  wrote:
>
>> Oi Abilio,
>>
>> acabei de incluir no dednat6 um arquivo que inclui o diagrama que você
>> me mandou em privado - mas sem as bolinhas, só com os labels.
>>
>> Algumas pessoas - tipo eu - acham o Tikz absurdamente difícil. Tenta
>> seguir as instruções desse "quick start guide for beginners" aqui,
>>
>>   http://angg.twu.net/dednat6.html#quick-start
>>
>> e depois de seguir as instruções pra usar o demo-minimal.tex tenta
>> repetí-las com o demo-minimal-abilio.tex. Se você achar fácil fala
>> comigo em privado pra eu te ajudar os com os seus outros diagramas.
>>
>>   [[]],
>> Eduardo Ochs
>> http://angg.twu.net/dednat6.html
>> http://angg.twu.net/math-b.html
>> http://angg.twu.net/#eev
>>
>> On Thu, 15 Aug 2019 at 20:00, Abílio  wrote:
>>
>>> Prezadxs,
>>> Estou precisando representar modelos de Kripke no latex.
>>> Alguem me daria uma sugestao?
>>> Abracos
>>> Abilio
>>>
>>> --
>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>>> Grupos do Google.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>>> Para ver essa discussão na Web, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD20svtZ%3Dkdga2Ai5rN71hZX1wZC1%3DgG9Zv0hgDS66oO3Uw%40mail.gmail.com
>>> 
>>> .
>>>
>>

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6gQQ9E5tEUBtktvPGzFW_T5tdgFvOvGVD6pDWo7aFx9qQ%40mail.gmail.com.

Re: [Logica-l] Latex - Kripke models

[Eduardo Ochs]

O codigo pra gerar o seu diagrama esta' aqui, no final do arquivo:
  http://angg.twu.net/dednat6/demo-minimal-abilio.tex.html
  http://angg.twu.net/dednat6/demo-minimal-abilio.tex
O diagrama se chama "Kripke-star".
  [[]], Eduardo

On Fri, 16 Aug 2019 at 05:13, Eduardo Ochs  wrote:

> Oi Abilio,
>
> acabei de incluir no dednat6 um arquivo que inclui o diagrama que você
> me mandou em privado - mas sem as bolinhas, só com os labels.
>
> Algumas pessoas - tipo eu - acham o Tikz absurdamente difícil. Tenta
> seguir as instruções desse "quick start guide for beginners" aqui,
>
>   http://angg.twu.net/dednat6.html#quick-start
>
> e depois de seguir as instruções pra usar o demo-minimal.tex tenta
> repetí-las com o demo-minimal-abilio.tex. Se você achar fácil fala
> comigo em privado pra eu te ajudar os com os seus outros diagramas.
>
>   [[]],
> Eduardo Ochs
> http://angg.twu.net/dednat6.html
> http://angg.twu.net/math-b.html
> http://angg.twu.net/#eev
>
> On Thu, 15 Aug 2019 at 20:00, Abílio  wrote:
>
>> Prezadxs,
>> Estou precisando representar modelos de Kripke no latex.
>> Alguem me daria uma sugestao?
>> Abracos
>> Abilio
>>
>> --
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD20svtZ%3Dkdga2Ai5rN71hZX1wZC1%3DgG9Zv0hgDS66oO3Uw%40mail.gmail.com
>> 
>> .
>>
>

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6hUwQcOzL8wkqTkGV2q1%2BrumkhCvkfiA%3D4tjb1NFehCxA%40mail.gmail.com.

Re: [Logica-l] Latex - Kripke models

[Eduardo Ochs]

Oi Abilio,

acabei de incluir no dednat6 um arquivo que inclui o diagrama que você
me mandou em privado - mas sem as bolinhas, só com os labels.

Algumas pessoas - tipo eu - acham o Tikz absurdamente difícil. Tenta
seguir as instruções desse "quick start guide for beginners" aqui,

  http://angg.twu.net/dednat6.html#quick-start

e depois de seguir as instruções pra usar o demo-minimal.tex tenta
repetí-las com o demo-minimal-abilio.tex. Se você achar fácil fala
comigo em privado pra eu te ajudar os com os seus outros diagramas.

  [[]],
Eduardo Ochs
http://angg.twu.net/dednat6.html
http://angg.twu.net/math-b.html
http://angg.twu.net/#eev

On Thu, 15 Aug 2019 at 20:00, Abílio  wrote:

> Prezadxs,
> Estou precisando representar modelos de Kripke no latex.
> Alguem me daria uma sugestao?
> Abracos
> Abilio
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD20svtZ%3Dkdga2Ai5rN71hZX1wZC1%3DgG9Zv0hgDS66oO3Uw%40mail.gmail.com
> 
> .
>

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6jZVQgzUcg44m%3De9EAbgGJuj5pw0gb1L4735k8vyt5xPQ%40mail.gmail.com.

Re: [Logica-l] Latex - Kripke models

[Letícia Gindri]

Boa tarde Abílio,

Eu uso a biblioteca tikz, tem bastante coisa, se quiser te passo em privado
alguns modelos que tenho de autômatos.. já uso há bastante tempo!
Vai aqui um tutorialzinho de como usar:
https://www3.nd.edu/~kogge/courses/cse30151-fa17/Public/other/tikz_tutorial.pdf
mas
se quiser te passo uns modelinhos meus, sem problema algum!


Atenciosamente,



Profª. Letícia Gindri

UNIPAMPA - Campus Alegrete

Avenida Tiaraju 810, sala 229 - Ibirapuitã - Alegrete/RS
Fone/Fax: (55) 3421-8400


Em qui, 15 de ago de 2019 às 16:00, Abílio 
escreveu:

> Prezadxs,
> Estou precisando representar modelos de Kripke no latex.
> Alguem me daria uma sugestao?
> Abracos
> Abilio
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD20svtZ%3Dkdga2Ai5rN71hZX1wZC1%3DgG9Zv0hgDS66oO3Uw%40mail.gmail.com
> 
> .
>

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bng-b3XpyqimfX9m9rUbuhhjQ4gCa%2Bzd5SXst2qBRvOE6_WoQ%40mail.gmail.com.

[Logica-l] Latex - Kripke models

[Abílio]

Prezadxs,
Estou precisando representar modelos de Kripke no latex.
Alguem me daria uma sugestao?
Abracos
Abilio

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD20svtZ%3Dkdga2Ai5rN71hZX1wZC1%3DgG9Zv0hgDS66oO3Uw%40mail.gmail.com.