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

Advertisements

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,

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

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

Mouse din Epoca de Piatra

Mouse-ul stramosului omului:

Neah, e doar un mouse Amiga din anii ’80. Ceva ramane adevarat: e mouse-ul stramosului PC-ului tau.

Filed under: Cat.de.tare., Geeky Stuff, , , , ,

Obama nu prea le are cu Dune…

“There are some who claim, sir, you are the Kwisatz Haderach“.
John Hodgman catre Barack Obama. Memorabil, nu ? 🙂 Sigur, doar daca esti nerdy 🙂

Nu credeam ca o sa aud asa ceva vreodata. 1. Cui sa-i zici asa ceva ? Si 2. cine sa stie ce e un Kwisatz Haderach ? Raspunsurile corecte: 1. Barack Obama, 2. John Hodgman, un comedian de care nu am mai auzit pana acum (dar nu e foarte important, ca oricum nu sunt mare specialist in comici).

Mi-a placut show-ul lui Hodgman (click aici) A fost amuzant si inteligent. A distins frumos intre nerds si jocks, primii fiind oameni care-si pun intrebari, gandesc mult inainte sa faca ceva, iar jocks fiind oamenii cu foarte multa incredere in ei, care actioneaza din instinct. Ok, a fost clar ca jocks sunt liberalii, iar democratii mai degraba nerds.
I-a aplicat presedintelui Obama un “test de puritate” cu intrebari din Star Trek, Superman, Conan the Barbarian, Dune, in fine ce naibii fac, uitati-va si voi la clip, nu stau acum sa vi-l povestesc. L-a picat 😦 Dar tot nerd e.

“The reality is that we are geeks. We are defined by our passions and our enthuziasms, but also by our open-mindedness. But I am nervous. Because this is a beginning. Princess Irulan said: “a beginning is a delicate time”.

Filed under: Cat.de.tare., Funny, Geeky Stuff, Uncategorized, , ,

Flash sau Bash, tot aia…

Imi aduc aminte ca acum vreo 6 ani am rugat-o pe mama sa-mi cumpere un manual de Flash (chiar asa lenes eram ? sau nu stiam librarii ? in fine, am uitat de ce anume am rugat-o sa-mi cumpere o carte). A intrebat-o pe vanzatoare daca are asa ceva (“manual Flash”), iar doamna i-a raspuns ceva de genul: “nu avem de Flash, dar… uitati, avem de Bash”. Totusi, se confrunta doua amintiri… a doua spune ca vanzatoarea i-a raspuns “nu se cheama Flash, se cheama Bash… uitati, avem un manual de Bash”.

In fine, am uitat cum mi-a fost povestita toata treaba asta, ideea e ca m-am pricopsit cu un manual de Bash (bourne-again shell scripting), inutil mie pentru ca nu foloseam Linux, habar nu aveam (cred) ce e ala.

Acum, dupa 6 ani, manualul ala imi e de ajutor si… well… multumesc mult 🙂 !

Filed under: Funny, Geeky Stuff, personal

Geeky post: ce prostii mai invat si eu :))

Ok. Folosesti Linux ? Nu? Sorry, asta nu e un post util tie >:)

Da? Ok, deschide consola si scrie asa cum iti zic eu:

echo <aici pui adresa de mail> | tr a-z@. n-za-m.@

(exemplu: echo io@io.io | tr a-z@. n-za-m.@ )

O sa obtii un cod. Daca ai scris chiar “io@io.io” in locul adresei de mail vei obtine “vb.vb@vb”.

Acum da-te mare: cand cineva iti cere adresa de mail, scrie-i ca e: “$ echo <adresa ta de mail> | tr a-z@. n-za-m.@”. Duuuude… cum adica ? Ce asta ? Asta nu e o adresa de mail.

Iar tu: Hihi: N00B! 🙂

[De aici.] Btw: blogul unixjunkie e foarte misto, merita citit, poti invata o gramada de chestii legate de unix.

Lasand asta la o parte: hai sa vedem cine se prinde ce face si cum face (tip: bash).

Filed under: Geeky Stuff,

Linkuri catre articole despre apelul sistem/functia c “pipe()”

1. De pe linux.die.net pipe -> system call, functie C.

2. Introduction to Named Pipes (ca opuse conductelor anonime, anonymous pipes), un articol mai vechi, din 1997 (!), al lui Andy Vaught, pe atunci doctorand in fizica (wow).  Destul de bun pentru o introducere.

3. hmmm… mai caut si updatez. (e 4:30 si nu pot sa dorm; probabil de la cafea)

Filed under: Geeky Stuff, Util, , ,

Niste linkuri in legatura cu apelul sistem/functia fork()

Articole ok:

1. Un articol explicativ, foarte prietenos scris, bun de introducere, aici: A fork() primer
2. Un articol pe opengroup.org, aici: http://www.opengroup.org/onlinepubs/000095399/functions/fork.html

3. Un tutorial, o introducere in folosirea apelurilor-sistem fork() si exec(), pe site-ul yolinux: http://www.yolinux.com/TUTORIALS/ForkExecProcesses.html

4. Mai caut… ok ?

Filed under: Geeky Stuff, Uncategorized, Util, , , ,

banner-pro-logica
October 2017
M T W T F S S
« Apr    
 1
2345678
9101112131415
16171819202122
23242526272829
3031