.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, , ,

Simboluri LaTeX

O buna parte din simbolurile LaTeX de care ai putea avea nevoie pentru a scrie un articol de logica/matematica/informatica/filosofie formala:
1. http://abel.math.harvard.edu/computing/latex/manual/node21.html
2. http://amath.colorado.edu/documentation/LaTeX/Symbols.pdf

Filed under: 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,

Un LaTeX template

Uite ce folosesc eu ca template. Poate va e util, poate imi recomandati cate ceva.

\documentclass[11pt]{article}
\parindent=.25in
\parskip=2ex

\usepackage{amsthm}
\usepackage{amsbsy}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{amsmath}
\usepackage{setspace} %pt spatiere
\usepackage{graphicx}
\usepackage{mathabx}
\usepackage{MnSymbol}
\usepackage{endnotes}
\usepackage[cp1250]{inputenc}
\title{Titlu}
\author{Nume}
\onehalfspacing
\setstretch{1.50}

\begin{document}
\pagenumbering{arabic}
\pagestyle{plain}

\maketitle
\newpage

blablabla

\end{document}

Filed under: Geeky Stuff, latex, Util

[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,

O sa-l citesc [footnotes in tabele, LaTeX]

Pentru ca blogul asta are si functia de catalog de bookmarks personal, adaug linkul asta: http://bushednotes.wordpress.com/2007/03/25/footnotes-tabular-in-latex/. Pentru cine lucreaza in LaTeX, aici gaseste o solutie la vechea intrebare: cum folosesc footnotes in tabele ?! Ok, io ma bag la citit 🙂

Filed under: latex, personal, 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 (2)

Poate ca ai văzut post-ul numit “Diacritice în LaTeX (1)“. Să introduci caractere cu diacritice scriind mici coduri cărora le corespund litere e cam aiurea (spre exemplu: pentru a tipări litera “ă” vei avea de scris codul “\u{a}”). De ce ? Mănâncă foarte mult timp şi textul-sursa devine aproape ilizibil (mai bine zis – incomprehensibil).

Ce-i de făcut, ce-i de făcut ?

1. Instalezi pachetul unicode.

2. Il introduci, scriind linia:

\usepackage[cp1250]{inputenc} (dacă foloseşti Windows XP)

sau:

\usepackage[utf8]{inputenc} (dacă foloseşti Linux)

inainte de \begin{document}.

3. Scrii. Da, la referat, articol, licenţă, dizertaţie, whatever, tu ştii.

Nu ai instalat pachetul unicode ? Asta ar putea fi o problemă pentru începători. O să scriu despre asta.

[10x: Stefan@Calculemus]

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, , ,

Introducere in LaTeX. Ghid al comenzilor LaTeX. In limba romana !

1. Am gasit o introducere in LaTeX, in limba romana, aici.

2. Si un ghid al comenzilor, in limba romana, aici.

3. Inca o data, ghidul profesorului Mihail-Radu Solcan, aici.

4. Enjoy!

Filed under: latex

banner-pro-logica
August 2017
M T W T F S S
« Apr    
 123456
78910111213
14151617181920
21222324252627
28293031