.junk

Icon

Just another WordPress.com weblog

Muddy Children Puzzle graphic using tikz for LaTeX

LaTeX graphic using tikz for a public announcement logic solution to the Muddy Children Puzzle (van Ditmarsch & B. Kooi – Dynamic Epistemic Logic, Springer, 2007, page 94). Use the code below and you’ll obtain something like this:

\documentclass[11pt]{article}

\parindent=.25in

\parskip=2ex

\usepackage{amsthm}

\usepackage{amsbsy}

\usepackage{amssymb}

\usepackage{amsfonts}

\usepackage{amsmath}

\usepackage{setspace} %pt spatiere

\usepackage{graphicx}

\usepackage{pgf}

\usepackage{tikz}

\usetikzlibrary{arrows,automata,positioning}

\usetikzlibrary{matrix,arrows}

\usepackage{verbatim}

\begin{document}
%creat de Alexandru Dragomir

%\pagestyle{empty}

\pagenumbering{arabic}

\pagestyle{plain}

%\maketitle

\newpage

\begin{tikzpicture}[scale=.5, transform shape]

%\tikzstyle{every node} = [circle, fill=gray!30]

\tikzstyle{every node} = [circle, fill=white]

\node (a) at (0, 0) {000};

\node (b) at (5,0) {100};

\node (c) at (2,2) {001};

\node (d) at (7,2) {101};

\node (e) at (0,4.5) {010};

\node (f) at (5,4.5) {\underline{110}};

\node (g) at (2,6.5) {011};

\node (h) at (7,6.5) {111};

\path (a) edge node {$a$} (b);

\path (a) edge node {$b$} (e);

\path (a) edge node {$c$} (c);

\path (e) edge node {$a$} (f);

\path (e) edge node {$c$} (g);

\path (c) edge node {$b$} (g);

\path (c) edge node {$a$} (d);

\path (b) edge node {$c$} (d);

\path (g) edge node {$a$} (h);

\path (h) edge node {$b$} (d);

\path (h) edge node {$c$} (f);

\path (f) edge node {$b$} (b);

\node (p11) at (8,3){};

\node (p12) at (14,3){};

\path[dotted, ->] (p11) edge node{} (p12);

\node (b2) at (20,0) {100};

\node (c2) at (17,2) {001};

\node (d2) at (22,2) {101};

\node (e2) at (15,4.5) {010};

\node (f2) at (20,4.5) {\underline{110}};

\node (g2) at (17,6.5) {011};

\node (h2) at (22,6.5) {111};

\path (e2) edge node {$a$} (f2);

\path (e2) edge node {$c$} (g2);

\path (c2) edge node {$b$} (g2);

\path (c2) edge node {$a$} (d2);

\path (b2) edge node {$c$} (d2);

\path (g2) edge node {$a$} (h2);

\path (h2) edge node {$b$} (d2);

\path (h2) edge node {$c$} (f2);

\path (f2) edge node {$b$} (b2);

\node (p21) at (18,-1){};

\node (p22) at (18,-7){};

\path[dotted, ->](p21) edge node{} (p22);

\node (d3) at (22,-12.5) {101};

\node (f3) at (20,-10.5) {\underline{110}};

\node (g3) at (17,-8) {011};

\node (h3) at (22,-8) {111};

\path (g3) edge node {$a$} (h3);

\path (h3) edge node {$b$} (d3);

\path (h3) edge node {$c$} (f3);

\node (p31) at (8,-9){};

\node (p32) at (14,-9){};

\path[dotted, ->] (p32) edge node{} (p31);

\node (f4) at (5,-10.5) {\underline{110}};

\end{tikzpicture}

\end{document}

Filed under: Geeky Stuff, latex, , ,

Inca un link util incepatorilor in LaTeX

Linkul, aici (pe site-ul unui profesor de matematica, David R. Wilkins) : http://www.maths.tcd.ie/~dwilkins/LaTeXPrimer/
Btw: fara legatura cu LaTeX, daca te intereseaza algebra (Grupuri, Inele, teorie Galois etc.) te poti uita si pe notele de curs si exercitiile propuse pt examen propuse de profesorul Wilkins: http://www.maths.tcd.ie/~dwilkins/Courses/.

Filed under: Geeky Stuff, latex, Mathematics,

[LaTeX] Resurse online

Am gasit multe linkuri utile (catre: introduceri, grafica pentru fisiere TeX etc.) intr-o pagina a informaticianului Wenguang (Wayne) Wang aflata aici

Filed under: latex, Util,

Instalarea pachetelor LaTeX

Treaba e simpla: ca sa scrii un document bun, iti trebuie pachete suplimentare celor gata instalate (intr-o distributie MikTeX sa zicem).

Asa ca downloadezi un pachet de fonturi de aici: http://tug.ctan.org/tex-archive/fonts/. Atat ? Normal ca nu. Dezipuiesti (unzip 🙂 ) pachetul intr-un folder. Sa zicem ca pachetul e numit pachet si se afla in X:\…\ .

1. Cauti prin folderul X:\…\pachet un director numit “\source“, probabil se afla in X:\…\pachet\source, si copiaza toate fisierele cu extensia .mf (de obicei sunt foarte multe !). Acum cauta directorul unde e instalata distributia ta LaTeX (sa zicem, in X:\Miktex\), si intra in \fonts\source\public\. Acolo vei construi un folder cu numele pachetului downloadat (pachet i-am zis) si vei avea acum : X:\MikTeX\fonts\source\public\pachet\. Acolo vei lipi fisierele cu extensia .mf copiate.
2. Fisierele pachet.dcl, pachet.sty, pachet.tex, testmac.tex din \pachet\source le vei duce in \tex\generic\misc\pachet\ (creaza-l! la fel ca la 1, ok ?).
3. Intra in MikTeX Settings (Start/All Programs/MikTeX/Settings sau cauti executabilul in folderul unde e instalata distributia – Settings.exe). Click Refresh FNDB pentru a face un update.
4. Gata.

vezi si aici.

Filed under: Geeky Stuff, Util, , ,

Numere romane in LaTeX

Cineva a ajuns pe blog cautand “numere romane in latex”. Ok, acum, ca am cautat si eu, uite raspunsul:

Foloseste functia :

\Roman{<numar>} , unde <numar>, argumentul functiei, este un numar scris in cifre arabe (obisnuit). \Roman{} va intoarce numarul roman in majuscule ! Daca esti interesat sa-l obtii in minuscule, foloseste:

\roman{<numar>}

Sursa.

Filed under: latex, ,

Diacritice in LaTeX (1)

Mai jos, uite corespondenţa cod LaTeX – litere cu diacritice în română. În LaTeX chiar pui diacritice: \c{s} înseamnă “afişează un s cu sedilă”.
\u{A}   ->   Ă

\u{a}   ->    ă

\^{I}   ->    Î

\^{i}    ->    î

\^{A}   ->   Â

\^{a}     ->  â

\c{S}     ->  Ş    (pune sedilă sub un “S”)

\c{s}     ->  ş     (pune sedilă sub un “s”)

\c{T}     ->  Ţ  (pune sedilă sub un “T”)

\c{t}     ->   ţ  (pune sedilă sub un “t”)

Filed under: latex, , ,

Imagini in LaTeX

E simplu:

1. Trebuie sa introduci o biblioteca numita “graphicx”. Asta se face asa: dupa linia:

\documentclass[…]{…} ,

dar inainte de linia

\title{…}

Introduci linia:

\usepackage{graphicx}

Ok.

2. Pentru a introduce o imagine (.jpg, .bmp etc…), oriunde in corpul documentului :

\begin{figure}[h]
\begin{center}
\includegraphics[width=1.28in]{numele_fisierul_tau.jpg}
\end{center}

\end{figure}

Filed under: latex, ,

Cum sa folosesti LaTeX in WordPress ?

Cum?

Poti introduce codul LaTeX intre: $latex[_] si $. Prin [_] sa se inteleaga: un spatiu (un “caracter spatiu”).
So:
$latex codul tau LaTeX aici$
Spre exemplu:
Multimea numerelor naturale este notata prin $latex \mathbb{N}$
Va genera:
Multimea numerelor naturale este notata prin \mathbb{N}.

Filed under: latex, meta, Uncategorized, Util, , ,

[latex]Complete list of symbols

Link here. Este cartea de capatai (unii ar spune “Biblia”) a oricui scrie in LaTeX documente in care foloseste simboluri (matematice, logice etc.) care de care mai ciudate si de negasit in listele din toolbar.

M-am jucat un pic cu cateva functii interesante: \stackrel{}, \overset{} si \undeset{}. Voiam sa gasesc un simbol pentru relatia de bisimulare

    asa cum apare intr-un manual al lui Patrick Blackburn & co. (“Modal Logic”) : \underline{\leftrightarrow}.
    Nu am gasit un simbol “simplu” in lista lui Scott Pakin, asa ca a trebuit sa improvizez:

    1. \overset{\leftrightarrow}{\_\_} ca sa obtin:
    \overset{\leftrightarrow}{\_\_}

    sau:

    2.\stackrel{\leftrightarrow}{\_\_} ca sa obtin acelasi lucru:
    \stackrel{\leftrightarrow}{\_\_}.

    \_ ar trebui sa intoarca un caracter “_”. Ok, face asta, dar concatenarea a doua “_” lasa un spatiu intre ele doua. Ce e de facut ? Am gasit o alta functie: \underline{}. Hai sa vedem ce iese:

    3. \underline{\leftrightarrow} ca sa obtin:
    \underline{\leftrightarrow}

    Ceea ce si voiam. Cred 🙂

Filed under: latex, Uncategorized, , ,

Multimi de numere (naturale, rationale, reale, complexe etc.) in latex

Initial am incercat cu \mathfrak{N} dar, am observat, literele (“rond”-uite) arata aproape identic (incearca \mathfrak{N} si \mathfrak{R} pentru multimile numerelor naturale si, respectic, reale) si-s si imposibil de recunoscut.Besides, pur si simplu nu arata ca simbolurile obisnuite, gen:”|N”, “|R”.

Uite: \mathfrak{N} intoarce: \mathfrak{N}, \mathfrak{R} intoarce: \mathfrak{R}

Cum sa introduci simbolurile adecvate ?

1. Trebuie introduse pachetele (sau bibliotecile, spune-le cum vrei) noi de fonturi. Astfel:

\usepackage{amsfonts}

sau

\usepackage{amssymb}.

2. Acum, ai acces la comanda \mathbb{<litera>}.

Deci:

\mathbb{N} pentru multimea numerelor naturale: \mathbb{N},

\mathbb{Z} pentru multimea numerelor intregi: \mathbb{Z},

\mathbb{Q} pentru multimea numerelor rationale: \mathbb{Q},

\mathbb{R} pentru multimea numerelor reale: \mathbb{R}

\mathbb{C} pentru multimea numerelor complexe: \mathbb{C} etc.

[Sursa]

Filed under: latex, Uncategorized, , ,

banner-pro-logica
June 2017
M T W T F S S
« Apr    
 1234
567891011
12131415161718
19202122232425
2627282930