IN01701C

0 Cmo evitar leer este libro
Cap
tulo 0
Cmo evitar leer este libro

o
A
El L TEX es un sistema orientado a la composicin de textos acadmicos y cient
o
e
cos, sobre todo
de textos que incluyen muchos elementos de notacin matemtica, como por ejemplo tesinas
o
a
y tesis doctorales, apuntes de asignaturas, art
culos de revistas cient
cas, comunicaciones y
anales de congresos, libros tcnicos y cient
e
cos, etc.
Es un sistema de composicin lgica, por oposicin a los sistemas de composicin visual o
o o
o
o
programas WYSIWYG (What You See Is What You Get : lo que el autor escribe y ve en la
A
pantalla del ordenador es exactamente lo que saldr impreso). Con el sistema L TEX, lo que el
a
autor escribe y ve en la pantalla del ordenador es el contenido del documento y su estructura
lgica, pero entre estos y el documento compuesto hay un paso intermedio de procesamiento o
o
A
compilacin del documento mediante el sistema L TEX.
o
A
La calidad tipogrca de los documentos compuestos con L TEX es comparable a la de
a
les mejores editoriales cient
cas del mundo, pero el principal costo que se debe pagar es la
disociacin entre la escritura del documento y la visualizacin del mismo documento compuesto.
o
o
Sin embargo, los benecios adicionales derivados de esta disociacin superan con creces todos
o
los inconvenientes asociados.
La lectura de este libro se puede evitar, entonces, si el lector potencial se llega a convencer,
cuanto antes mejor, que no est dispuesto a pagar un precio tan alto para complementar la gran
a
calidad del contenido de sus trabajos acadmicos y cient
e
cos con una gran calidad tipogrca.
a
Los ejemplos que se presentan a continuacin en este cap
o
tulo no pretenden sino orientar el
lector en este sentido.
Se incluye un ejemplo para cada tipo de documento que se suele escribir y componer con
A X: una tesina, una tesis doctoral, los apuntes de una asignatura, un art
culo de una revista
L TE
cient
ca, una comunicacin en un congreso, un cap
o
tulo de un libro, una transparencia para
retroproyeccin y una carta.
o
Cada ejemplo se presenta de manera resumida en dos pginas consecutivas: el documento
a
aproximadamente como ha sido escrito por el autor, en una pgina par, y el mismo documento
a
A
a
compuesto con el sistema L TEX, en la pgina impar siguiente.
Los autores, 1999; Edicions UPC, 1999.
A
Composicin de textos cientcos con L TEX
o
Tesis de licenciatura
Extracto de Moreno Ribas, A. (1992). Generalizacin de frmulas lgicas y su
o
o
o
aplicacin al aprendizaje automtico. Tesis de licenciatura, Universitat Polit`cnica
o
a
e
de Catalunya.
\chapter{Descripcin del algoritmo de generalizacin}
o
o
\section{Introduccin}
o
La suposicin subyacente en los mtodos de adquisicin de conceptos es
o
e
o
que las similitudes entre las instancias positivas del concepto a
aprender contienen informacin suficiente para la construccin de
o
o
descripciones caractersticas del concepto. Estas descripciones se
representan tpicamente como conjunciones de las relaciones primitivas
utilizadas para expresar dichas instancias. Las descripciones que

obtenemos con el algoritmo de cotejamiento desarrollado son las ms
a
especficas, es decir, las conjunciones con el mayor nmero de
u
relaciones presentes en la representacin de las instancias del
o
concepto. Estas descripciones son las \emph{generalizaciones
conjuntivas maximales} \cite{mitchell-search} que se quieren obtener
en el paso 3 del algoritmo de aprendizaje propuesto en
\cite{nunyez-inductiva}, visto anteriormente.
Podemos expresar de un modo formal el concepto de \emph{generalizacin
o
conjuntiva maximal} de la siguiente forma:
\begin{itemize}
\item Sean $E_1$, $E_2$ dos frmulas de primer orden expresadas en
o
forma normal conjuntiva. Se dice que $E_1$ es ms general que $E_2$
a
si existe una substitucin $\sigma$ de trminos de $E_2$ por variables
o
e
tal que el conjunto de clusulas de $E_1$ es un subconjunto del de
a
$\sigma E_2$ (donde $\sigma E_2$ es la frmula resultante de aplicar
o
la substitucin $\sigma$ a $E_2$). Para que una frmula $E$ sea una
o
o
generalizacin conjuntiva maximal de $n$ frmulas $E_1,E_2,\ldots,E_n$
o
o
se debe cumplir que:
\begin{itemize}
\item $E$ es una generalizacin de $E_i$, $\forall_{i=1}^n$.
o
\item Si $F$ es una generalizacin de $E_i$, $\forall_{i=1}^n$,
o
entonces $E$ no es una generalizacin de $F$.
o
\end{itemize}
\end{itemize}

o
Cap
tulo 3
Descripcin del algoritmo de

o
generalizacin
o
3.1
Introduccin
o
La suposicin subyacente en los mtodos de adquisicin de conceptos es

o
e
o
que las similitudes entre las instancias positivas del concepto a aprender
contienen informacin suciente para la construccin de descripciones caraco
o
ter
sticas del concepto. Estas descripciones se representan t
picamente como
conjunciones de las relaciones primitivas utilizadas para expresar dichas instancias. Las descripciones que obtenemos con el algoritmo de cotejamiento
desarrollado son las ms espec
a
cas, es decir, las conjunciones con el mayor
nmero de relaciones presentes en la representacin de las instancias del
u
o
concepto. Estas descripciones son las generalizaciones conjuntivas maximales [Mit82] que se quieren obtener en el paso 3 del algoritmo de aprendizaje
propuesto en [Nn91], visto anteriormente.
u
Podemos expresar de un modo formal el concepto de generalizacin cono
juntiva maximal de la siguiente forma:
o
Sean E1 , E2 dos frmulas de primer orden expresadas en forma nora
mal conjuntiva. Se dice que E1 es ms general que E2 si existe una
substitucin de trminos de E2 por variables tal que el conjunto
o
e
de clusulas de E1 es un subconjunto del de E2 (donde E2 es la
a
frmula resultante de aplicar la substitucin a E2 ). Para que una
o
o
frmula E sea una generalizacin conjuntiva maximal de n frmulas
o
o
o
E1 , E2, . . . , En se debe cumplir que:
E es una generalizacin de Ei , n .
o
i=1
Si F es una generalizacin de Ei , n , entonces E no es una
o
i=1
generalizacin de F .
o
15
A
o
Tesis doctoral
Extracto de Bonet, M. L. (1991). The Lengths of Propositional Proofs and the
Deduction Rule. Tesis doctoral, University of California at Berkeley.
Now we are ready to show that nested deduction Frege systems simulate
tree-like sequent calculus in a linear increase in the size of the
proof.
\begin{corollary} \label{ndFsimulationpkt}
If $\vdashsyslen{\PKT}{n} A_1,\ldots,A_m\sequent B_1,\ldots,B_k$, then
$\vdashsyslen{\ndF}{O(n)}\langle A_1,\ldots,\allowbreak
A_m\rangle\models B_1\vee\ldots\vee B_k$.
\end{corollary}
\begin{proof}
Assume that $\vdashsyslen{\PKT}{n} A_1,\ldots,A_m\sequent
B_1,\ldots,B_k$. For simplicity, let $\Gamma=\langle
A_1,\ldots,A_m\rangle$. Then, by theorem \ref{pksimulation},
$\vdashsyslen{\ndF}{O(n)}\Gamma*\langle\neg B_1,\ldots,\neg
B_k\rangle\models\false$. We build a \nopagebreak[3] $\ndF$-proof of
$\Gamma\models B_1\vee\ldots\vee B_k$ the following way:
\[ \left\lceil \begin{array}{ll}
\Gamma & \\
\left[ \begin{array}{ll}
\neg B_1\wedge\ldots\wedge \neg B_k & \\
\vdots & \\ \neg B_1 & \\
\neg B_2\wedge\ldots\wedge\neg B_k & \\
\vdots & \\ \neg B_{k-1} & \\
\neg B_{k} & \\ \vdots & \\ \false &
\end{array} \right\}~\begin{array}{l}
O(k)~\textrm{lines to separate}~%
\neg B_1\wedge\ldots\wedge\neg B_k, \\
+O(n)~\textrm{from theorem \ref{pksimulation}}
\end{array} \\
(\neg B_1\wedge\ldots\wedge\neg B_k)\supset\false & \\
\left. \begin{array}{ll}
\vdots & \\
\neg(B_1\vee\ldots\vee B_k)\supset(\neg B_1\wedge\ldots\wedge\neg B_k)&
\end{array} \right\}~O(k)~\textrm{lines by lemma \ref{boolean}}& \\
\vdots & \\ \neg(B_1\vee\ldots\vee B_k)\supset\false & \\
\vdots & \\ B_1\vee\ldots\vee B_k &
\end{array} \right. \]

o
53
Now we are ready to show that nested deduction Frege systems simulate
tree-like sequent calculus in a linear increase in the size of the proof.
Corollary 5.29. If PKT A1 , . . . , Am
n
Am |= B1 . . . Bk .
> B1 , . . ., Bk , then
ndF
O(n)
A1 , . . . ,
Proof. Assume that PKT A1 , . . . , Am > B1 , . . ., Bk . For simplicity, let

n
ndF
= A1 , . . . , Am . Then, by theorem 27, O(n) B1 , . . . , Bk |= p p.
We build a ndF-proof of |= B1 . . . Bk the following way:
B1 . . . Bk
.
.
.
B1
B2 . . . Bk
.
.
.
Bk1
Bk
.
.
.
O(k) lines to separate B1 . . . Bk ,

+O(n) from theorem 27
p p
(B1 . . . Bk ) p p
.
.
.
O(k) lines by lemma 28
(B1 . . . Bk ) (B1 . . . Bk )
.
.
.
(B1 . . . Bk ) p p
.
.
.
B1 . . . Bk
The proof above has O(k) + O(n) + d lines, for some constant d. Since
k n, by lemma 8, the proof has O(n) lines.
Corollary 5.30. If PKT A, then
n
O(n(n))
Proof. If PKT A, then by corollary 5.29,

n
A.
O(n(n))
A.
ndF
O(n)
A, and by theorem 16,
A
o
Apuntes de asignatura
Extracto del Departament de Llenguatges i Sistemes Informtics de la Universia
tat Politcnica de Catalunya (1995). Llenguatges, gramtiques i autmats (LGA):
e
a
o
col.lecci de problemes. Centre de Publicacions del Campus Nord, Barcelona.
o
\section{Llenguatges regulars}
\begin{enumerate}
\item Sigui~$E$ lexpressi regular $$ c^* (\lambda + a (a + b + c)^* + (a
o
(a + b + c)^* b) c^* $$
\begin{enumerate}
\item s $L(E) = \{ a, b, c \}^*$?
E
\item s $L(EE) = \{ a, b, c \}^*$?
E
\end{enumerate}
\item Construu expressions regulars que siguin equivalents als llenguatges
sobre $\{ a, b, c \}$ dels mots~$w$ que compleixen les condicions segents:
u
\begin{enumerate}
\item hi ha un nombre parell de~$a$ en~$w$,
\item hi ha $4 i + 1$ $b$ en~$w$ per a~$i \geq 0$,
\item $\mid w \mid = 3 i$ per a $i \geq 0$,
\item la cadena~$abc$ no apareix en~$w$.
\end{enumerate}
\item Diem que una expressi regular es ambigua si hi ha un mot que pot ser
o
obtingut de lexpressi regular de dues maneres diferents, com a mnim. De

o
les expressions regulars segents, digueu quines sn ambiges.

u
o
u
\begin{enumerate}
\item $a ((a b)^* c d)^* + a (a b a b c b^*)^* a^*$
\item $a a b^* (a b)^* + a b^* + a^* b b a^*$
\item $a a b a^* + a a a b a + a a b b a^* + a$
\end{enumerate}
\item Construu {\small DFA} que reconeguin els llenguatges denotats per
\begin{enumerate}
\item $a^* b a^* a b^*$
\item $b ( (a a b^* + a^4) b )^* a$
\item $a b [((b a)^* + b b b)^* + a]^* b$
\end{enumerate}
\end{enumerate}

o
Llenguatges regulars
3.1 Sigui E lexpressi regular

o
c ( + a(a + b + c) + (a(a + b + c) b)c
i) Es L(E) = {a, b, c}?
ii) Es L(EE) = {a, b, c}?

3.2 Constru expressions regulars que siguin equivalents als llenguatges
u
sobre {a, b, c} dels mots w que compleixen les condicions seg ents:
u
i) hi ha un nombre parell de a en w,
ii) hi ha 4i + 1 b en w per a i 0,
iii) | w |= 3i per a i 0,
iv) la cadena abc no apareix en w.
3.3 Diem que una expressi regular s ambigua si hi ha un mot que pot ser
o
e
obtingut de lexpressi regular de dues maneres diferents, com a m
o
nim.
De les expressions regulars seg ents, digueu quines sn ambiges.
u
o
u
i) a((ab)cd) + a(ababcb) a
ii) aab (ab) + ab + a bba
iii) aaba + aaaba + aabba + a
3.4 Constru DFA que reconeguin els llenguatges denotats per
u
i) a ba ab
ii) b((aab + a4 )b) a
iii) ab[((ba) + bbb) + a] b
A
o
Art
culo de revista cient
ca
Extracto de Burmeister, P., Rossell, F., i Rudak, L. (1995). On Hfts characterio
o
zation of weak model classes. Algebra Universalis, 34:214219.
\newcommand{\Eq}{\textrm{Eq}}
\newcommand{\Mod}{\textrm{Mod}}
\title{On Hfts characterization of weak model classes}
o
\author{P.\ Burmeister \\
\emph{Tech.\ Hochschule} \\ \emph{Darmstadt}
\and F.\ Rossell \\
o
\emph{Universitat de} \\ \emph{les Illes Balears}
\and L.\ Rudak \\
\emph{Uniwersytet} \\ \emph{Warszawski}}
\date{}
\begin{document}
\maketitle
In this paper we show a very simple counterexample to the characterization of
weak model classes of partial algebras (i.e., classes formed of all partial
algebras weakly satisfying a given set of equations) given
in~\cite{weak-strong-equations}, and we propose a corrected version of this
characterization.
Let $\F$ be a type of algebras. Let $\tfx$ be the algebra of terms of type
$\F$ over a fixed countably infinite set of variables
$\X=\{x_i \mid i \geq 1\}$.
Given a class $\K$ of partial $\F$-algebras, let $\Eq_w(\K)$ denote
the set of all equations weakly valid in all algebras from $\K$ and let
$\K_w = \Mod_w(\Eq_w(\K))$ be the weak model class generated
by $\K$. For every partial $\F$-algebra $\A$, let
$\phi_{\A,\K}:\A\to\B_{\A,\K}$ be $\A$s $\K$-universal solution (and recall
that, by construction, $\B_{\A,\K}\in\K_w$), and set
$$ E_{\A,\K}=\bigcup_{v:\X\to\A} \tilde{v}\times\tilde{v} \left(
\Eq_w(\K) \cap (\dom\tilde{v})^2 \right) $$
(where $\tilde{v}$ denotes the unique closed extension (with respect to $\A$)
of $v$ to an $\X$-initial segment ---i.e., the (support of an) $\X$-generated
relative subalgebra--- $\domu\tilde{v}$ of $\tfx$).

o
On Hfts characterization of weak model classes

o
P. Burmeister
Tech. Hochschule
Darmstadt
F. Rossell
o
Universitat de
les Illes Balears
L. Rudak
Uniwersytet
Warszawski
In this paper we show a very simple counterexample to the characterization

of weak model classes of partial algebras (i.e., classes formed of all partial algebras weakly satisfying a given set of equations) given in [3], and we propose a
corrected version of this characterization.
Let F be a type of algebras. Let TF (X ) be the algebra of terms of type F
over a xed countably innite set of variables X = {xi | i 1}.
Given a class K of partial F -algebras, let Eqw (K) denote the set of all
equations weakly valid in all algebras from K and let Kw = Modw (Eqw (K))
be the weak model class generated by K. For every partial F -algebra A, let
A,K : A BA,K be As K-universal solution (and recall that, by construction,
BA,K Kw ), and set
v v Eqw (K) (dom v)2

EA,K =
v:X A
(where v denotes the unique closed extension (with respect to A) of v to an
X -initial segment i.e., the (support of an) X -generated relative subalgebra
dom v of TF (X )).
In [3], Hft characterizes weak model classes as those classes K of partial
o
algebras closed under weak relative subalgebras, direct products and closed
homomorphic images, inductive (i.e., closed under direct limits of -directed
systems with injective structural homomorphisms), and satisfying the following
property, which he calls weak equational faithfulness:
for every X -initial segment D of the algebra of terms TF (X ), ker D,K
is the smallest congruence on D (considered as a relative subalgebra
of TF (X )) containing the relation ED,K
It is well known (see, for instance, the Example in [5, pp. 90-91]) that inductiveness and closure under weak relative subalgebras, direct products and
closed homomorphic images are not sucient to characterize weak model classes. But, on the other hand, Hfts weak equational faithfulness turns out to be
o
too strong a condition, since there are weak model classes that do not satisfy
such condition.
A
o
10
Comunicacin en un congreso
o
Extracto de Xamb i Descamps, S. (1994). String theory and enumerative geometry.
o
Dins: Grcia, X. et al., editors, Proc. of the Fall Workshop on Dierential Geoa
metry and its Applications, pgines 6373, Barcelona. Departament de Matemtica
a
a
Aplicada i Telemtica de la Universitat Politcnica de Catalunya.
a
e
\section{The theoretical physics input}
In the last years there has been an enormous amount of interesting work
related to string theories that is orders of magnitude beyond the control of
experiment. It appears, nevertheless, that they are able to produce highly
non-trivial and precise mathematical conjectures which so far seem very hard
to prove rigorously (see \cite{theoret-math}) that a (mathematical) proof of
any of those statements plays the role that in traditional physics is played
by experiments.
Among the conjectures, here we are going to consider only those that predict
the number of rational curves on certain Calabi-Yau varieties, for example on
a general quintic hypersurface in~$\mathbf{P}^4_{\mathbb{C}}$.\footnote{For a
beautiful introduction to Calabi-Yau manifolds, and in particular to its
intersection and Yukawa couplings, see \cite{quintic-threefolds}; for a more
elementary discussion of the main ideas, see \cite{calabi-yau-manifolds}.}
String theorists calculate a Yukawa coupling series
$f(q)$ in two different ways, using a principle called mirror symmetry, and
get the following two expressions:
$$ f(q) = 5 + 2\,875 q + 4\,876\,875 q^2 + \cdots $$
and
$$ f(q) = 5 + \sum_{k \geq 1} n_k k^3 \frac{q^k}{1 - q^k}
= 5 + n_1 q + (2^3 n_2 + n_1) q^2 + \cdots $$
where~$n_k$ is the number of rational curves of degree~$k$ in the quintic
threefold. The second expression comes, roughly speaking, from a quantum
correction called sum over instantons (which here we may take to mean
rational curves). The values gotten for the first four~$n_k$ are the
following:
$$ \begin{array}{rl}
k & n_k \\ \hline
1 & 2\,875 \\
2 & 609\,250 \\
3 & 317\,206\,375 \\
4 & 242\,467\,530\,000
\end{array} $$

o
11
The theoretical physics input
In the last years there has been an enormous amount of interesting work
related to string theories that is orders of magnitude beyond the control of
experiment. It appears, nevertheless, that they are able to produce highly
non-trivial and precise mathematical conjectures which so far seem very
hard to prove rigorously (see [Jae and Quinn, 1993]) that a (mathematical)
proof of any of those statements plays the role that in traditional physics is
played by experiments.
Among the conjectures, here we are going to consider only those that
predict the number of rational curves on certain Calabi-Yau varieties, for
example on a general quintic hypersurface in P4 .4 String theorists calculate
C
a Yukawa coupling series f (q) in two dierent ways, using a principle called
mirror symmetry, and get the following two expressions:
f (q) = 5 + 2 875q + 4 876 875q 2 +
and
nk k3
f (q) = 5 +
k1
qk
= 5 + n1 q + (23 n2 + n1 )q 2 +
1 qk
where nk is the number of rational curves of degree k in the quintic threefold. The second expression comes, roughly speaking, from a quantum
correction called sum over instantons (which here we may take to mean
rational curves). The values gotten for the rst four nk are the following:
k
1
2
3
4
nk
2 875
609 250
317 206 375
242 467 530 000
For a beautiful introduction to Calabi-Yau manifolds, and in particular to its intersection and Yukawa couplings, see [Morrison, 1993]; for a more elementary discussion of
the main ideas, see [Xamb-Descamps, 1994a].
o
A
o
12
Cap
tulo de libro
Extracto de Castro, J. y otros (1993). Curso de programacin. McGraw-Hill.
o
\section{Algoritmos de cambio de base}
Recordemos el teorema de la divisin entera expuesto en la
o
seccin~\ref{composicion-secuencial}.
o
\begin{teorema} \label{division-entera}
Dados $a\in\Z$ y $b\in\Z-\{0\}$, existen valores $q,r\in\Z$ que son
u
nicos con la propiedad: $$a=qb+r, \qquad 0\leq r<|b|.$$ \end{teorema}
Observemos que en la notacin algortmica el resto $r$ y el cociente
o
$q$ se denotan respectivamente por $a\,\textbf{mod}\,b$ y

$a\,\textbf{div}\,b$. A partir del teorema de la divisin entera es
o
fcil demostrar, para un nmero entero $m$ cualquiera, la existencia
a
u
de representaciones en una base $B$. Concretamente, se tiene:
\begin{teorema} \label{representacion-base}
Fijada una base $B\in\N-\{0,1\}$, para todo $m\in\N$, $m>0$, existe
una unica sucesin finita de enteros $a_n,a_{n-1},\ldots,a_0$ tal que:
o
$$m = a_n B^n + a_{n-1} B^{n-1} + \cdots + a_1 B + a_0, \qquad 0 \leq
a_i < B, \quad a_n \neq 0.$$ \end{teorema}
A la secuencia $r(m,B)=a_n,a_{n-1},\ldots,a_0$ se la llama
\emph{representacin de $m$ en la base $B$}.
o
Vista la existencia y unicidad de la representacin de un nmero en
o
u
una base, podemos considerar los siguientes problemas:
\begin{enumerate}
\renewcommand{\theenumi}{\alph{enumi}}
\renewcommand{\labelenumi}{\theenumi)}
\item Dado un nmero $m$ y una base $B$ calcular su representacin
u
o
$r(m,B)$.
\item Dada una representacin $r$ y una base $B$ calcular el nmero
o
u
$m$ representado.
\end{enumerate}
El segundo problema es sencillo: si la representacin es
o
$$r(m,B)=a_n,a_{n-1},\ldots,a_0$$ el teorema~\ref{representacion-base}
asegura que: $$m = a_n B^n + a_{n-1} B^{n-1} + \cdots + a_1 B +
a_0.$$

o
13
213
ALGORITMOS DE CAMBIO DE BASE
6.4
Algoritmos de cambio de base
Recordemos el teorema de la divisin entera expuesto en la seccin 1.4.

o
o
Teorema 6.4.1 Dados a Z y b Z {0}, existen valores q, r Z que
son unicos con la propiedad:
a = qb + r,
0 r < |b|.
Observemos que en la notacin algor

o
tmica el resto r y el cociente q se
denotan respectivamente por a mod b y a div b. A partir del teorema de la
divisin entera es fcil demostrar, para un nmero entero m cualquiera, la
o
a
u
existencia de representaciones en una base B. Concretamente, se tiene:
Teorema 6.4.2 Fijada una base B N {0, 1}, para todo m N, m > 0,
existe una unica sucesin nita de enteros an , an1, . . . , a0 tal que:
o
m = an B n + an1 B n1 + + a1 B + a0 ,
0 ai < B,
an = 0.
o
A la secuencia r(m, B) = an , an1 , . . . , a0 se la llama representacin de
m en la base B.
Vista la existencia y unicidad de la representacin de un nmero en una
o
u
base, podemos considerar los siguientes problemas:
a) Dado un nmero m y una base B calcular su representacin r(m, B).
u
o
b) Dada una representacin r y una base B calcular el nmero m repreo
u
sentado.
El segundo problema es sencillo: si la representacin es
o
r(m, B) = an , an1 , . . ., a0
el teorema 6.4.2 asegura que:
m = an B n + an1 B n1 + + a1 B + a0 .
14
A
o
Transparencia para retroproyeccin

o
Extracto de Levy D
az, Jordi (1995). Linear Second-Order Unication. Treball
presentat durant el Workshop on Constructive Constraint Logic. Vencia, desembre
e
de 1995.
\begin{slide}
\begin{center}
\textbf{Linear Second-Order Unification}
\begin{itemize}
\item Unary linear second-order unification is decidable if~$F$ is always
applied to the same term~$t$ \cite{decidability}
$$
a(F(b)) \stackrel{?}{=} F(a(b))
$$
\item Unary linear second-order unification is decidable for
\emph{stratified} terms \cite{stratified}
$$
f(X(g(Y(a))),g(X(Z(T))))
$$
\item Linear second-order unification is decidable if no free variable
occurs more than twice
\end{itemize}
\end{center}
\end{slide}

o
15
Linear Second-Order
Uni cation
Unary linear second-order unication is decidable if F is always applied to the same term
t (Comon, 1993)
?
a(F (b)) = F (a(b))
Unary linear second-order uni cation is decidable for strati ed
terms (Schmidt-Schau , 1995)
f (X (g (Y (a))), g (X (Z (T ))))
Linear second-order uni cation
is decidable if no free variable
occurs more than twice
A
o
16
Carta
Extracto de Romn Jimnez, J. A. (1997). Carta con fecha 25 de abril.
a
e
\documentclass[11pt,a4paper]{letter}
\usepackage[applemac]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[spanish]{babel}
\pagestyle{empty}
\address{Escola Universit`ria Polit`cnica \\
a
e
de Vilanova i la Geltr \\
u
Universitat Polit`cnica de Catalunya \\
e
Av.\ Vctor Balaguer s/n \\
08800 Vilanova i la Geltr}

u
\signature{Jos Antonio Romn Jimnez \\
e
a
e
Subdirector de Estudios}
\date{Barcelona, \today}
\begin{document}
\begin{letter}{Gabriel Valiente Feruglio \\
Departament de Llenguatges i Sistemes Inform`tics \\
a
Universitat Polit`cnica de Catalunya \\
e
M`dul C6, Campus Nord \\
o
Jordi Girona Salgado, 1--3 \\
08034 Barcelona}
\opening{Estimado colega:}
Me permito convocarte a la prxima reunin de coordinacin de las
o
o
o
asignaturas \emph{Fundamentos de Informtica} y \emph{Programacin},
a
o
que ser el da 8 de mayo, a las 17 horas, y tendr lugar en el
a
a
despacho 153 del edificio A de la Escola Universit`ria Polit`cnica de
a
e
Vilanova i la Geltr.
u
\closing{Bien atentamente,}
\cc{Secretara del Departamento de Llenguatges i Sistemes Inform`tics}
a
\encl{Orden del da}
\end{letter}
\end{document}

o
17
Escola Universit`ria Polit`cnica

a
e
de Vilanova i la Geltr
u
Universitat Polit`cnica de Catalunya
e
Av. V
ctor Balaguer s/n
08800 Vilanova i la Geltr
u
Barcelona, 25 de abril de 1997
Gabriel Valiente Feruglio
Departament de Llenguatges i Sistemes Inform`tics
a
Universitat Polit`cnica de Catalunya
e
M`dul C6, Campus Nord
o
Jordi Girona Salgado, 13
08034 Barcelona
Estimado colega:
Me permito convocarte a la prxima reunin de coordinacin de las asigo
o
o
naturas Fundamentos de Informtica y Programacin, que ser el d 8 de
a
o
a
a
mayo, a las 17 horas, y tendr lugar en el despacho 153 del edicio A de la
a
Escola Universit`ria Polit`cnica de Vilanova i la Geltr.
a
e
u
Bien atentamente,
Jos Antonio Romn Jimnez

e
a
e
Subdirector de Estudios
Copia a: Secretar del Departamento de Llenguatges i Sistemes Inform`tics
a
a
Adjunto: Orden del d
a
1 Composicin de textos cientcos

o
19
Cap
tulo 1
Composicin de textos cient

o
cos
Estamos en las postrimer del siglo XX. Muy atrs ha quedado el tiempo en que el autor
as
a
escrib un manuscrito e iniciaba toda una serie de actividades en las cuales un grupo de
a
personas de formacin muy diversa tecleaban el manuscrito, revisaban su calidad ling
o
ustica, lo
adaptaban a las convenciones propias de la editorial, compon el original y sacaban galeradas;
an
introduc las correcciones hechas por el autor y lo sacaban compaginado; despus lo revisaban
an
e
y lo correg
an, hac la impresin denitiva y lo publicaban.
an
o
Los avances de la tcnica han puesto al alcance del autor todo un abanico de posibilidades
e
nuevas. Procesadores de textos, programas de autoedicin, sistemas de tratamiento de textos
o
cient
cos, correctores de ortograf sistemas de gestin de referencias bibliogrcas y herraa,
o
a
mientas de publicacin electrnica en las redes globales de ordenadores son slo algunas de las
o
o
o
herramientas informticas de que dispone el autor para escribir y publicar un trabajo cient
a
co.
La disponibilidad de estas herramientas informticas ha modicado sustancialmente el papel
a
del autor dentro del proceso editorial, ya que cada d ms y ms tareas que antes eran propias
a a
a
de la editorial son ahora responsabilidad del autor. La composicin de originales electrnicos y
o
o
la revisin y la correccin editorial, entre otras.
o
o
Esta nueva distribucin de tareas tiene muchas ventajas para el autor, tales como una
o
reduccin del ciclo que va desde el dise o de un trabajo cient
o
n
co hasta la impresin nal y
o
la publicacin, pero comporta algunos inconvenientes: principalmente que los autores tienen
o
dif acceso a estos medios informticos y que han de ser no solamente autores sino tambin
cil
a
e
linotipistas, maquetistas, tipgrafos, revisores, correctores e impresores a la vez.
o
1.1
Forma y contenido de un trabajo cient

co
Haciendo una descripcin muy breve y simplicada del proceso editorial tradicional, el contenido
o
de un trabajo cient
co lo da el autor, mientras que la forma de un trabajo cient
co la da
normalmente la editorial. Los maquetistas de la editorial desarrollan el formato o layout, y los
linotipistas, en la imprenta, ponen el contenido dado por el autor en la forma establecida por
los maquetistas, en la que resultar impreso el trabajo cient
a
co.
20
A
o
La nueva distribucin de tareas y responsabilidades en el proceso editorial, sin embargo,

o
ha desdibujado las distinciones tradicionales entre autores, maquetistas y linotipistas, hasta el
punto que el autor resulta muchas veces responsable tambin de poner el contenido del trabajo
e
cient
co en la forma dada por el formato, e incluso de desarrollar el formato mismo del trabajo
cient
co acorde con unas l
neas generales establecidas por la editorial.
Las nuevas tareas que ha de llevar a cabo el autor de un trabajo cient
co se traducen en
necesidades adicionales de formacin, que a veces ultrapasan el area de conocimiento propia del
o
autor e invaden areas tales como la tipograf el diseo grco, la informtica o las telecomuni
a,
n
a
a
caciones. En este sentido es preciso no perder de vista el objetivo del autor dentro del proceso
editorial: ste no ha de convertirse en, por ejemplo, profesional de las artes grcas para poder
e
a
publicar los resultados de sus investigaciones.
Este libro pretende dar los elementos bsicos para que un profesor o un investigador de
a
cualquier area de conocimiento pueda poner el contenido de sus trabajos cient
cos en una
forma apropiada a su publicacin, tanto impresa como electrnica.
o
o
1.2
Qu es un trabajo cient
e
co?
Un trabajo cient
co se puede denir como un informe escrito y publicado donde se describen
resultados originales de investigacin. No todo escrito publicado, sin embargo, es un trabajo
o
cient
co. Un trabajo cient
co se ha de escribir de una cierta manera y se ha de publicar de
una cierta manera, segn una tradicin bien establecida de prcticas cient
u
o
a
cas y editoriales.
En cuanto a las prcticas cient
a
cas, stas dependen mucho de la disciplina cient
e
ca de
que se trate. En l
neas generales, sin embargo, tienen mucho que ver con la nocin misma de
o
ciencia como actividad predictiva, vericable emp
ricamente y acumulativa. Predictiva, porque
ha de establecer predicciones claramente denidas bajo condiciones bien espec
cas; vericable
emp
ricamente, porque las predicciones se han de poder comprobar mediante experimentos que
todo aquel que disponga del equipamiento adecuado y que domine las tcnicas necesarias pueda
e
repetir; y acumulativa, porque los resultados de las teor y los experimentos de una persona
as
se han de precisar con un nivel de detalle tal que permita que otras personas elaboren teor
as
y realicen experimentos adicionales.
Volviendo a las prcticas cient
a
cas, en primer lugar, los resultados han de ser originales, es
decir, se ha de tratar de la primera publicacin de resultados de investigacin del autor, salvo
o
o
eventuales presentaciones orales de los mismos resultados hechas por los autores del trabajo en
congresos, conferencias, simposios, etc.
En segundo lugar, un trabajo cient
co ha de presentar informacin suciente para que
o
otros puedan evaluar las predicciones y las observaciones, repetir los experimentos y evaluar
tanto las conclusiones como los procesos intelectuales hechos por el autor. Por ejemplo, que
las conclusiones no sean meras hiptesis especulativas sino verdaderos resultados cient
o
cos,
justicados tanto por los datos observados como por los experimentos llevados a cabo.
En tercer lugar, la publicacin del trabajo cient
o
co ha de tener un soporte f
sico que lo
haga accesible a la comunidad cient
ca. Tradicionalmente se consideran soportes f
sicos vlidos
a
para la publicacin de trabajos cient
o
cos las revistas cient
cas y otros documentos impresos

o
21
que hayan sido sometidos a un proceso de revisin cr

o
tica, previa a la publicacin, por parte
o
de otros autores, a pesar de la tendencia actual a la publicacin electrnica conjunta de los
o
o
trabajos cient
cos, donde versiones electrnicas de los documentos impresos se ponen en las
o
redes globales de ordenadores, al alcance de toda la comunidad cient
ca.
No todo escrito publicado, sin embargo, sigue estas prcticas cient
a
cas y entonces no todas
las publicaciones hechas por un profesor o un investigador son publicaciones cient
cas vlidas.
a
El resumen de un trabajo cient
co y una comunicacin en un congreso no son considerados
o
como publicaciones cient
cas vlidas, a pesar que los trabajos presentados en algunos congresos
a
son objeto de un proceso muy minucioso y selectivo de revisin cr
o
tica. Tradicionalmente las
tesis doctorales tampoco son consideradas como publicaciones cient
cas vlidas, ya que a pesar
a
que hay un proceso de revisin cr
o
tica, a veces mucho ms estricto que en el caso de una revista
a
cient
ca, la publicacin de una tesis doctoral es un hecho de alcance relativamente local,
o
circunscrito a la universidad donde tiene lugar su defensa. La tendencia actual a la publicacin
o
electrnica de tesis doctorales, sin embargo, acabar por cambiar esta situacin. Las actas
o
a
o
de congresos tampoco son, en general, publicaciones cient
cas vlidas, ya que suelen recoger
a
trabajos cient
cos publicados previamente. Sin embargo, muchas de las consideraciones hechas
en este cap
tulo son fcilmente aplicables a estos otros tipos de publicaciones.
a
En cuanto a las prcticas editoriales, stas var mucho en funcin del soporte f
a
e
an
o
sico de la
publicacin. En el caso de publicaciones impresas, las editoriales normalmente proporcionan
o
una coleccin de convenciones editoriales, en algunos casos en forma de libro de estilo, que cubre
o
tanto aspectos tipogrcos y de forma como aspectos de estilo y de organizacin del contenido.
a
o
En el caso de publicaciones electrnicas, sin embargo, no hay an convenciones editoriales
o
u
bien establecidas, salvo algunos casos en que las editoriales han desarrollado un conjunto de convenciones para la publicacin electrnica, mediante los llamados lenguajes de marcado estndar
o
o
a
generalizados (SGML). El caso ms difundido actualmente, sin embargo, es el de la publicacin
a
o
de los trabajos cient
cos en las redes globales de ordenadores, mediante los llamados lenguajes
de marcado de hipertexto (HTML).
1.3
Organizacin de un trabajo cient

o
co
Visto como trabajo escrito, un trabajo cient

co es un texto organizado para satisfacer las
necesidades de una publicacin cient
o
ca vlida, segn los criterios desarrollados en el apartado
a
u
1.2. En este sentido, todo trabajo cient
co ha de presentar una organizacin tal que permita
o
identicar rpidamente el problema tratado, el desarrollo del trabajo, los resultados obtenidos
a
y las conclusiones que se deriven.
Los editores y las revistas cient
cas recomiendan diferentes sistemas de organizacin de los
o
trabajos cient
cos que, a pesar de seguir un cierto orden lgico de presentacin, se diferencian
o
o
en les partes en que se divide el trabajo, segn la disciplina cient
u
ca de que se trate. El ANSI (American National Standards Institute) prescribe un sistema estndar llamado IMRAD,
a
acrnimo ingls de las partes bsicas en que se tendr que organizar un trabajo cient
o
e
a
a
co:
Introduccin, Mtodos, Resultados y Discusin. La ISO (International Organization for Stano
e
o
dardization), por su parte, tambin recomienda un sistema estndar para la organizacin de
e
a
o
A
o
22
los trabajos cient

cos. Lo que tienen en comn todas estas normas y estndares, sin embaru
a
go, es que un trabajo cient
co ha de consistir en cuatro partes fundamentales: introduccin,
o
desarrollo, resultados y conclusiones.
El objetivo de la introduccin es dar informacin suciente para que el lector pueda entender
o
o
y evaluar los resultados cient
cos sin necesidad de consultar publicaciones previas sobre el tema
tratado. En este sentido, una buena introduccin: (1) ha de denir con precisin el problema
o
o
investigado; (2) ha de incluir una resea cr
n
tica de la literatura pertinente, a n de orientar el
lector; (3) ha de establecer el mtodo escogido para llevar a cabo la investigacin y justicar
e
o
la eleccin hecha; (4) ha de establecer los resultados principales de la investigacin, as como
o
o
las conclusiones que se desprenden de los resultados obtenidos. Estos cuatro elementos trazan,
entonces, el camino lgico que lleva el lector desde el problema hacia su solucin.
o
o
El desarrollo, por su parte, contribuye al hecho que el trabajo cient
co sea vericable
emp
ricamente y acumulativo. El diseo del trabajo cient
n
co y su realizacin se han de deso
cribir detalladamente, de manera que los lectores puedan eventualmente reproducir el trabajo
cient
co descrito. En el caso de un trabajo experimental se han de incluir, si es pertinente, las
especicaciones tcnicas exactas de todos los materiales empleados, as como la identicacin
e
o
precisa de todos los sujetos experimentales, etc. En el caso de un trabajo terico, todos los
o
resultados se han de demostrar a partir de premisas aceptadas por la comunidad cient
ca.
Los resultados son el nuevo conocimiento por contribuir al mundo cient
co. Tanto los
aspectos positivos como los aspectos negativos de los resultados son importantes, stos ultimos
e
para evitar repetir resultados negativos en otras investigaciones. Es preciso tener presente, sin
embargo, que se trata de resultados que se han de incluir en una publicacin cient
o
ca: las
especulaciones pueden ser utiles en publicaciones preliminares por ejemplo, en una primera
comunicacin en un congreso, para promover la discusin pero no tienen nada que hacer en
o
o
una publicacin cient
o
ca vlida.
a
La nalidad de las conclusiones es dar una interpretacin de los resultados obtenidos: su
o
signicado y su signicacin. Esta interpretacin ha de presentar los principios fundamentales,
o
o
las relaciones entre los datos observados, la correlacin entre estas observaciones y otras obsero
vaciones similares, y las generalizaciones sugeridas por los resultados, y debe hacerse mencin
o
tanto de las implicaciones tericas como de las posibles aplicaciones prcticas de los resultados
o
a
cient
cos descritos.
Estas partes fundamentales de un trabajo cient
co se complementan con otros componentes.
As entonces, el esquema de organizacin de un trabajo cient
o
co es el siguiente:
1. t
tulo
7. desarrollo
2. autores
8. resultados
3. direcciones
9. conclusiones
4. resumen
5. palabras clave
10. agradecimientos
6. introduccin
o
11. referencias bibliogrcas

a

o
23
El t
tulo es quizs la parte ms importante de todo el escrito de un trabajo cient
a
a
co. Por un
lado, es la primera impresin (y, por lo tanto, la ms fuerte) que recibe todo lector potencial del
o
a
trabajo. Por otro lado, es posible que muchos de estos lectores potenciales, de todo el trabajo
cient
co, lean slo el t
o
tulo. Es por esto que se ha de tener mucho cuidado en el momento
de escoger las palabras del t
tulo, as como el orden y la asociacin entre estas palabras. De
o
hecho, el t
tulo se lee tambin en la tabla de contenidos y en la cabecera de las pginas de la
e
a
publicacin, en los
o
ndices de los servicios de consulta bibliogrca, etc.
a
Se puede denir un buen t
tulo como aquel que describe el contenido del trabajo cient
co
con la menor cantidad de palabras posible. Un t
tulo como Estudios sobre el alfabeto cataln no
a
resulta demasiado util para descifrar el posible contenido del trabajo (es el estudio ling
ustico,
socioling
ustico, ortogrco o tipogrco?), mientras que Contribuciones al estudio de la ina
a
uencia de la geminacin en la evolucin de las grafas del alfabeto cataln podr ser ms bien
o
o
a
a
a
el resumen de todo el trabajo cient
co.
Los autores de un trabajo cient
co son aquellas personas que han contribuido activamente al
dise o y a la realizacin del trabajo, o que han aportado ideas importantes. Como autores, son
n
o
los responsables intelectuales de los resultados cient
cos que se describen, y no necesariamente
los responsables de los autores reales dentro de la jerarqu de la institucin donde se ha llevado a
a
o
cabo el trabajo cient
co: ningn colega habr de pedir ni de permitir la inclusin de su nombre
u
a
o
en un trabajo cient
co en el cual no hubiese participado de forma directa y activa.
Cuanto al orden en que se han de presentar los nombres y apellidos de los autores, la prctica
a
editorial cient
ca es de lo ms diversa. Una de las formas ms comunes de presentarlos consiste
a
a
en hacer una enumeracin, o bien comenzando por los cient
o
cos ms directamente relacionados
a
con el trabajo, o bien al revs: el autor principal es, en este caso, el ultimo de la lista, como
e
suele pasar tambin en un discurso o en algunos conciertos. Una alternativa ms razonable

e
a
consiste en listar los autores por orden alfabtico de apellidos y es, de hecho, una de las formas
e
ms usadas en la actualidad.
a
En todo caso, es preciso tener presente que, fuera de Espaa, muy pocos editores saben
n
distinguir entre un nombre y un apellido de ra latina. En los EEUU y en Alemania, por
z
ejemplo, Gabriel Valiente Feruglio ha sido malentendido ms de una vez como Gabriel V.
a
Feruglio. Este problema se puede resolver poniendo un guin entre los dos apellidos, o entre
o
los nombres en el caso de un nombre compuesto, como por ejemplo Gabriel Valiente-Feruglio o
Joan-Antoni Mesquida.
Los nombres de los autores han de ir acompaados de sus direcciones, tanto postales como
n
electrnicas, a n de poder identicarlos correctamente y para que los lectores se puedan dirigir
o
a ellos, por ejemplo, para pedirles informacin adicional o para hacerles comentarios.
o
El resumen es una versin reducida de todo el trabajo cient
o
co, un breve compendio de
cada una de sus partes fundamentales: introduccin, desarrollo, resultados y conclusiones. El
o
objetivo del resumen es permitir a los lectores identicar rpidamente el contenido bsico del
a
a
trabajo cient
co y determinar la relevancia para sus intereses, para que entonces puedan decidir
si realmente necesiten leer el resto del trabajo.
Una manera ms rpida an de identicar el contenido del trabajo cient
a a
u
co es mediante
una serie de etiquetas o palabras clave. Las palabras clave son tambin de gran utilidad cuando
e
24
A
o
se emplea un servicio de consulta bibliogrca. En este sentido, resulta conveniente disponer

a
de una taxonom de palabras clave estndar. El esquema de clasicacin de materias de
a
a
o
la UNESCO da una taxonom general, mientras que en ciertas reas de conocimiento hay
a
a
taxonom de palabras clave de uso generalizado, como por ejemplo el esquema de la ACM
as
(Association for Computing Machinery) para las ciencias de la computacin.
o
Los agradecimientos es el lugar del trabajo cient
co destinado a reconocer cualquier asistencia signicativa por parte de otras personas, as como eventuales ayudas econmicas recibidas
o
(proyectos de investigacin, contratos, becas, etc.) de carcter externo a la institucin donde ha
o
a
o
sido desarrollado el trabajo cient
co. Cada vez con ms frecuencia, sin embargo, se reconoce
a
la falta de ayudas econmicas.
o
Finalmente, todas las referencias hechas de otros trabajos cient
cos publicados se han de
acompa ar de datos bibliogrcos completos, que permitan a los lectores identicar y eventualn
a
mente encontrar los trabajos cient
cos correspondientes. Los diferentes estilos en que se han
de presentar estas referencias bibliogrcas, seg n el tipo de publicacin cient
a
u
o
ca de que se
trate, se explican en el cap
tulo 7.
2 Preparacin electrnica de originales

o
o
25
Cap
tulo 2
Preparacin electrnica de
o
o
originales
En el ciclo tradicional de escritura y publicacin de un trabajo cient
o
co preparacin del mao
nuscrito, mecanograado, env correccin de las pruebas de imprenta, etc. suelen intervenir
o,
o
diferentes personas que interactan con el autor, bien directamente, bien a travs de los editores
u
e
de la publicacin: linotipistas, revisores, correctores, maquetistas, tipgrafos e impresores son
o
o
los principales. Los problemas de comunicacin que surgen de esta interaccin entre profesioo
o
nales tan diversos son muy variados; por ejemplo, los problemas de comunicacin entre el autor
o
y el corrector de pruebas han llevado a la necesidad de acordar un esquema estndar de signos
a
de correccin tipogrca.
o
a
Muchos de estos problemas desaparecen cuando el autor prepara originales electrnicos. Un
o
original electrnico es un original preparado con medios electrnicos (normalmente un ordenao
o
dor o, mejor dicho, un programa de tratamiento de textos) y enviado directamente al editor
(normalmente a travs de una red de telecomunicaciones, aunque el env sobre un soporte
e
o
magntico tambin se suele considerar como una forma de env electrnico). La preparacin
e
e
o
o
o
electrnica y el env electrnico de originales, adems de reducir los problemas de comunio
o
o
a
cacin entre el autor y el editor, reducen el ciclo que va desde el diseo del trabajo cient
o
n
co
hasta la impresin nal y la publicacin: el original no se vuelve a mecanograar en la editorial;
o
o
las correcciones no se indican en el texto mediante signos de correccin tipogrca sino que se
o
a
hacen directamente sobre el original electrnico; el acceso al original por parte de revisores y
o
correctores es prcticamente instantaneo. En el caso de un trabajo cient
a
co, esto puede signicar una reduccin de un orden de magnitud en la duracin del ciclo de escritura y publicacin:
o
o
o
unas cuantas semanas en lugar de unos cuantos meses o incluso de a os.
n
Es preciso decir, sin embargo, que las pruebas de imprenta son necesarias cuando los autores
escriben en una lengua no materna, dado que los correctores desconocen lo que pretenden
expresar los autores.
26
2.1
A
o
Programas de composicin visual

o
La mayor de los programas de tratamiento de textos son de composicin visual o WYSIWYG

a
o
(What You See Is What You Get ): lo que el autor escribe y ve en la pantalla del ordenador es
aproximadamente lo que saldr impreso.
a
Estos programas de composicin visual son muy fciles de aprender a usar. Por ejemplo,
o
a
para poner una palabra en cursiva basta hacer un doble clic con el ratn sobre la palabra y
o
apretar un botn de un men de opciones. Ahora bien, cundo se han de usar letras cursivas?
o
u
a
Esta y muchas cuestiones similares son tarea de los tipgrafos; desde el punto de vista del autor
o
de un trabajo cient
co es la estructura del trabajo y la funcin de cada parte del escrito lo que
o
cuenta. Es decir, cuestiones de contenido y no cuestiones de presentacin del trabajo escrito.
o
La cursiva es util, entre otras funciones, para dar nfasis a una palabra o a una expresin que se
e
o
quiere destacar, pero slo cuando el contexto que la circunda est escrito con letras redondas;
o
a
de otro modo, las soluciones tipogrcas var seg n el contexto de las palabras que se quieren
a
an
u
destacar.
Es preciso mantener as la distincin entre las necesidades del autor y la manera de satis
o
facerlas: se trata de acercar las herramientas informticas a los autores, para evitar que stos
a
e
tengan que convertirse en tipgrafos. El autor no tendr que necesitar saber cmo se hace para
o
a
o
destacar una palabra usando un programa de tratamiento de textos, sino que deber poder
a
indicar de alguna manera qu es lo que quiere hacer (destacar una palabra) para que el proe
grama de tratamiento de textos adoptase una solucin tipogrca adecuada (poner la palabra
o
a
en redonda si el contexto est en letra cursiva y corregir el espaciado, agregando un espacio
a
no delante de la palabra en redonda). De la misma forma, el autor de un trabajo cient
co
no deber necesitar saber cmo se hace para componer el resumen del trabajo (la familia, el
a
o
tipo, el interlineado, la anchura de la caja, el estilo, la situacin, etc.) sino que deber bastar
o
a
con indicar el inicio y el nal del resumen para que el programa de tratamiento de textos lo
compusiese (por ejemplo: Computer Modern Roman, 11/13, a 24 c
ceros, cursiva, centrado, los
prrafos entrados 1 cuadrat
a
n).
Desafortunadamente, los programas de composicin visual no permiten indicar el estilo en
o
que se quiere componer cada una de las partes de un trabajo cient
co, y tampoco dan soporte
a la indicacin de la estructura del trabajo: las partes componentes, la divisin del trabajo
o
o
cient
co en apartados, la situacin del resumen y de la lista de referencies bibliogrcas, etc.
o
a
2.2
Procesadores de textos cient

cos
En cuanto a la escritura cient

ca, estas carencias de los programas de composicin visual se
o
agravan por el hecho que la escritura cient
ca necesita no slo caracteres de texto y mecanismos
o
sencillos para indicar el estilo de cada una de las partes de un escrito, sino tambin muchos
e
caracteres especiales, mecanismos para escribir frmulas matemticas complejas, para componer
o
a
tablas, para incluir referencias bibliogrcas, etc. En conjunto, esto ha llevado al desarrollo de
a
los llamados sistemas de composicin lgica.
o o
Con estos sistemas de tratamiento de textos cient
cos, el autor no necesariamente ha de

o
o
27
indicar cmo quiere hacer un texto sino que ms bien indica qu es lo que quiere hacer con
o
a
e
el texto, y el sistema se encarga de hacerlo. Estos sistemas tambin se llaman sistemas de
e
marcado, porque la manera de indicar qu se quiere hacer es mediante la escritura de ciertas
e
marcas dentro del texto del trabajo cient
co. Por ejemplo, \nfasis{ciencia} es una marca
e
de nfasis que afecta la palabra ciencia y que un sistema de composicin lgica puede interpretar
e
o o
enfatizando la palabra de la manera ms conveniente seg n el contexto.
a
u
Los primeros sistemas de composicin lgica fueron desarrollados al principio de los aos
o o
n
setenta, pero no es hasta los a os ochenta que estos sistemas ganaron gran difusin dentro del
n
o
mundo acadmico, gracias al aporte de D. Knuth, un informtico de renombre que diseo un
e
a
n
sistema de composicin lgica, el TEX, que se ha convertido en el ms habitual para el trao o
a
tamiento de textos cient
cos, al menos entre matemticos, f
a
sicos e informticos. El sistema
a
TEX permite indicar las caracter
sticas tipogrcas del trabajo cient
a
co mediante un conjunto
bsico de unas novecientas marcas (macros, en lenguaje informtico) predenidas, al mismo
a
a
tiempo que incluye un lenguaje de programacin que permite denir nuevas macros, y se caraco
teriza por la gran calidad del trabajo impreso, calidad que puede competir con la de los trabajos
impresos por las principales editoriales cient
cas del mundo. De hecho, la motivacin original
o
de D. Knuth para desarrollar el sistema TEX fue su descontento con la calidad con la que una
a
de las editoriales cient
cas ms importantes de los EEUU compon sus libros de texto, llenos
a
de frmulas matemticas.
o
a
Si bien el TEX da soporte a la indicacin de muchas cuestiones tipogrcas de manera abso
a
tracta, no da soporte directo a la indicacin de la estructura del trabajo cient
o
co. L. Lamport,
A
un disc
pulo de D. Knuth, ha desarrollado, por ello, una extensin del TEX, llamada L TEX,
o
donde se incluyen deniciones de la estructura de los principales tipos de trabajos cient
cos
art
culos, libros, reportes de investigacin y transparencias, como tambin facilidades para
o
e
programar otros tipos de estructuras. Por ejemplo, la estructura bsica de un art
a
culo cient
co
A
a
mediante el sistema L TEX se podr escribir:
\documentclass[a4paper]{article}
\title{ttulo}
\author{autores y direcciones}
\begin{document}
\maketitle
\begin{abstract} Resumen
\end{abstract}
\keywords{palabras clave}
\section{Introduccin} Introduccin
o
o
\section{Desarrollo} Desarrollo
\section{Resultados} Resultados
\section{Conclusiones} Conclusiones
\section*{Agradecimientos} Agradecimientos
\bibliographystyle{plain}
\bibliography{base de datos bibliogrcos}
a
\end{document}
A
o
28
As el autor slo debe indicar el inicio de la parte introductoria del trabajo cient
,
o
co meA
diante la macro \section{Introduccin}; el sistema L TEX se encarga de tomar las decisiones
o
tipogrcas necesarias para componer la introduccin de un trabajo cient
a
o
co de estilo art
culo.
Adems de los estilos bsicos para escribir trabajos cient
a
a
cos, hay actualmente centenares
de estilos complementarios, que muchas veces han sido desarrollados por los mismos usuarios
los autores y que responden a les necesidades de diversas disciplinas cient
cas: estilos
para componer los diagramas rectangulares o conmutativos empleados en muchas ramas de las
matemticas; para componer todo tipo de grafos, diagramas de barras y diagramas de pastel;
a
estilos para componer los diagramas de Feynman empleados en f
sica terica; para componer
o
diagramas esquemticos de circuitos electrnicos; estilos para componer frmulas qu
a
o
o
micas; esA X a les convenciones ortogrcas y tipogrcas propias del
a
a
tilos para adaptar el sistema L TE
idioma en que se escribe el trabajo cient
co; estilos para denir o programar nuevos estilos;
etc.
A
La ventaja del sistema L TEX es clara: siempre que se disponga de los estilos necesarios
o de personas que puedan programar estos estilos, los autores pueden dedicarse a escribir el
contenido de sus trabajos cient
cos sin tener que preocuparse ni de ocuparse de cuestiones
de forma de presentacin de los trabajos. El inconveniente principal es que los autores deben
o
aprender estos sistemas de composicin lgica y se deben acostumbrar a su losof de uso. Sin
o o
a
embargo, los programas de composicin visual tambin se deben aprender a usar, tanto o ms
o
e
a
que los sistemas de composicin lgica.
o o
Dada la gran difusin actual de estos sistemas de tratamiento de textos cient
o
cos, se puede
decir que aprenderlos representa una inversin para el presente y para el futuro de un profesor
o
o de un investigador. Este aprendizaje se suele iniciar ante la necesidad de escribir una tesina
o una tesis doctoral.
2.3
Rudimentos de tipograf
a
Desde el punto de vista del autor de un trabajo cient

co, es la estructura y el contenido
del trabajo lo que cuenta, y no las cuestiones de forma y de presentacin del trabajo escrito.
o
Esta consideracin no deja de ser an una expresin de deseo. Es cierto que las editoriales
o
u
o
cient
cas ms responsables facilitan a los autores las deniciones de estilo necesarias para la
a
preparacin electrnica de originales. Algunas editoriales cient
o
o
cas suministran, por medios
electrnicos, estilos diseados y programados para la composicin de trabajos cient
o
n
o
cos con
A
el sistema L TEX, como por ejemplo Springer-Verlag, Elsevier Science, Kluwer Academic Publishers y Birkhuser Verlag, as como tambin algunas asociaciones profesionales: la ACM
a
e
(Association for Computing Machinery), la AMS (American Mathematical Society), la APA
(American Psychology Association), la AAS (American Astronomical Society), el IEEE (Institute of Electrical and Electronic Engineers), el TUG (TEX Users Group), la SCM (Societat
Catalana de Matem`tiques), etc.
a
Muy a menudo, sin embargo, el autor de un trabajo cient
co recibe una recopilacin de
o
convenciones tipogrcas propias de la editorial y desde aquel momento es el unico responsable
a
de poner el contenido de su trabajo cient

co en la forma establecida por las especicaciones

o
o
29
editoriales. Estas especicaciones no siempre resultan comprensibles ni fciles de implementar;

a
para las contribuciones a los anales de la duodcima edicin de un congreso internacional, los
e
o
editores ped recientemente el uso de letras de familia Times y de cuerpo 13, un tama o
an
n
de letra realmente dif de encontrar en ninguna familia de tipos: los cuerpos estndar ms
cil
a
a
usuales son 6, 8, 10, 12, 14, 16, 18, 20 y 24. En estos casos, el autor tiene dos caminos
posibles para seguir: si usa un programa de composicin visual, debe seleccionar una por una
o
las diferentes partes que componen el trabajo cient
co y debe aplicarles los cambios tipogrcos
a
A X, debe desarrollar
necesarios; si usa un sistema de composicin lgica, como por ejemplo el L TE
o o
programar un estilo de acuerdo con las instrucciones de estilo dadas por la editorial, o bien
debe adaptar alguno de los estilos de que dispone. En todo caso, el autor debe conocer al
menos la terminolog bsica de la tipograf y de les artes grcas en general, a n de poder
a a
a
a
interpretar las instrucciones de estilo de la editorial.
Las medidas tipogrcas

a
Antiguamente, cada maestro impresor ten su medida tipogrca propia, hasta que el francs
a
a
e
Pierre-Simon Fournier (17121768) cre una unidad estndar, el c
o
a
cero, que equival a once
a
puntos tipogrcos, y as estableci la primera escala de medida tipogrca. Otro francs,
a
o
a
e
Franois-Ambroise Didot (17301804), perfeccion este sistema, ajustndolo al sistema duoc
o
a
decimal la docena era una de las maneras de contar ms corrientes entonces, antes de la
a
introduccin del sistema mtrico decimal. Desde entonces, un c
o
e
cero o ccero Didot equivale
a doce puntos tipogrcos, cada uno de los cuales equivale a 1/144 de la pulgada francesa, es
a
decir, aproximadamente 0,376 mil
metros.
El sistema Didot se usa en muchos pa
ses de Europa y en aquellos pa
ses que reciben o
recibieron su inuencia. En el mundo anglosajn y en Holanda, sin embargo, es ms usual otro
o
a
sistema de medida tipogrca, el sistema pica, basado en el sistema mtrico ingls y que tiene
a
e
e
por unidad de medida la pica. Una pica tambin equivale a doce puntos tipogrcos, pero un
e
a
punto equivale ahora a 1/72 de la pulgada inglesa, es decir, 0,351 mil
metros, aproximadamente.
El punto del sistema pica recibe el nombre de punto pica, para diferenciarlo del llamado punto
Didot o punto tipogrco en el sistema Didot.
a
Aparte de estas unidades absolutas, existe una unidad de medida tipogrca que es relativa
a
al cuerpo: el cuadrat
n. Un cuadrat de un cierto cuerpo equivale al tamao o anchura
n
n
(nmero de puntos) del cuerpo y sirve para medir aquellos espacios que son proporcionales a
u
las dimensiones de los caracteres usados en cada caso, sobre todo para los espacios blancos que
van en el interior de la l
nea.
Todas estas unidades de medida tipogrca sirven para dar tanto las dimensiones de la
a
pgina impresa (anchura de la caja) como la medida de los caracteres de imprenta (cuerpo) y
a
la separacin entre las l
o
neas (interlineado). Es preciso decir, sin embargo, que las herramientas
informticas de tratamiento de textos cient
a
cos actuales pueden trabajar indistintamente con
A
cualquiera de estos sistemas de medida tipogrca. Los sistemas TEX y L TEX, por ejemplo,
a
entienden, entre otras, las unidades de medida tipogrca siguientes: punto Didot, c
a
cero, punto
pica, pica, cent
metro, mil
metro y pulgada inglesa.
En cuanto a las dimensiones de la pgina impresa, los parmetros ms importantes son
a
a
a
30
A
o
aquellos que determinan el tamao de la caja, la situacin de la caja dentro de la pgina y la

n
o
a
situacin de los prrafos dentro de la caja.
o
a
La caja es la zona impresa, normalmente rectangular, de la pgina. Algunos de los parmetros
a
a
ms importantes que tienen relacin con la caja son: la anchura de la caja (es decir, la longitud
a
o
de les l
neas), la altura de la caja (es decir, el nmero de l
u
neas por pgina) y los mrgenes
a
a
superior e izquierdo (que determinan la situacin de la caja dentro de la pgina).
o
a
Respecto a la situacin de los prrafos dentro de la caja, el parmetro bsico es la medida
o
a
a
a
del sangrado del prrafo. El sangrado de un prrafo sirve para indicar que el prrafo no es
a
a
a
la continuacin del prrafo anterior. Aparte del sangrado, existen cuatro maneras bsicas de
o
a
a
alinear horizontalmente los prrafos dentro de la anchura de la caja: contra el margen izquierdo;
a
contra el margen derecho; centrados; y justicados (alineados contra los dos mrgenes). Cada
a
una de estas formas de alineacin implica una distribucin diferente del espaciado entre las
o
o
palabras de las l
neas de un prrafo, conjuntamente con la separacin de palabras en s
a
o
labas.
La alineacin de los prrafos y la separacin en s
o
a
o
labas son automticas, tanto en los prograa
mas de composicin visual como en los sistemas de composicin lgica. Las dimensiones de la
o
o o
pgina impresa, sin embargo, se deben especicar en ambos casos. De todas maneras, el sistema
a
A X incluye deniciones para los formatos de papel ms usuales: DIN A4, DIN A5 y carta
a
L TE
a
(este ultimo muy empleado en los EEUU). Asimismo, se puede adaptar fcilmente a cualquier
otra caja mediante una serie de macros: \textwidth (anchura de la caja), \textheight (altura de la caja), \topmargin (margen superior), \oddsidemargin (margen izquierdo de pginas
a
impares), \evensidemargin (margen izquierdo de pginas pares), \parindent (sangrado de
a
prrafo), etc.
a
Las plizas de caracteres de imprenta

o
Antiguamente los caracteres de imprenta se distingu por el nombre del maestro impresor
an
que los hab grabado o por el t
a
tulo de la primera obra que estampaba con ellos, mientras que
actualmente se los distingue por la familia, el cuerpo y el estilo.
En la poca de la tipograf de plomo, las fundiciones tipogrcas suministraban los carace
a
a
teres de imprenta a los impresores por plizas surtidos de caracteres de un cuerpo y estilo
o
determinado de una familia tipogrca, mientras que, actualmente, el conjunto de caracteres
a
tipogrcos que componen cada uno de los estilos de una familia en un cuerpo determinado se
a
llama indistintamente pliza o fuente.
o
Los diferentes tipos de caracteres de imprenta se suelen agrupar en familias. Los miembros
de una familia tipogrca tienen principios de diseo comunes, sobre todo por lo que respecta
a
n
al dibujo de las letras. Las familias tipogrcas se designan por el nombre del fundidor o del
a
autor del dibujo de la letra (Garamond, Caslon, Baskerville, Bodoni, Zapf), por el nombre del
impresor que encarg su diseo (Elzevier), por el nombre de la primera obra impresa con la
o
n
familia (Bembo, Centaur, Century), o bien por el nombre atribuido por la empresa que las
comercializa (Berthold Baskerville Book, ITC Galliard, Linotype Melior, Monotype Dante), a
pesar que algunas denominaciones responden a razones histricas (Textura, Fraktur, Futura,
o
Palatine, Roman).
El tamao de los caracteres se llama cuerpo y se expresa normalmente como n mero entero
n
u

o
o
31
de puntos tipogrcos. El cuerpo y el interlineado se suelen indicar conjuntamente: 12/14 quiere

a
decir caracteres de doce puntos de altura e interlineados a catorce puntos. En el mundo de los
sistemas de composicin lgica, sin embargo, el sistema TEX va acompa ado de un sistema para
o o
n
dise ar plizas, llamado METAFONT, que permite generar (fundir electrnicamente) plizas de
n
o
o
o
cuerpos que no son n meros enteros sino n meros enteros multiplicados por potencias de 1,2
u
u
(es decir: 1,2; 1,44; 1,728; etc. veces un n mero entero). Esto permite mejorar la calidad nal
u
de un trabajo cient
co cuando se combina la impresin con la reduccin fotogrca: para
o
o
a
publicar un trabajo en papel de formato DIN A5 a partir de un original en formato DIN A4,
se puede imprimir antes un original ampliado, usando plizas de cuerpo 1,44 vecees el cuerpo
o
nal deseado. La reduccin fotogrca de un original de calidad normal (la resolucin t
o
a
o pica
de una impresora lser es 300 puntos por pulgada) da as una calidad bastante ms alta (432
a
a
puntos por pulgada) gracias al hecho que 1,44 es aproximadamente igual al factor de reduccin
o
n
del tama o DIN A4 al tama o DIN A5.
n
El estilo hace referencia a la variedad tipogrca que se adopta para conseguir un cierto
a
efecto sobre una parte del escrito, normalmente para enfatizar de o resaltar una palabra, una
frase o un prrafo. Los estilos ms usuales son los que afectan o bien la gura de les letras
a
a
(redonda: letras verticales, o cursiva: letras oblicuas), o bien el grosor del trazo (normal: con el
grosor del trazo normal, o negrita: con el grosor del trazo aumentado). Cada uno de estos estilos
implica un cambio de pliza de caracteres, de interlineado y, a veces, tambin una correccin
o
e
o
del espaciado entre las palabras, los signos de puntuacin y las frmulas matemticas.
o
o
a
Cabe decir que los programas de composicin visual slo cambian de pliza de caracteres y,
o
o
o
a veces, tambin de interlineado cuando se efect a un cambio de estilo en el trabajo cient
e
u
co,
mientras que los sistemas de composicin lgica tambin corrigen adecuadamente el espaciao o
e
A
do. De hecho, el sistema L TEX incorpora el llamado NFSS (New Font Selection Scheme), un
esquema que clasica las plizas en funcin de tres parmetros: la forma o gura de les letras
o
o
a
(redonda, cursiva, redonda inclinada, versalita), la serie o grosor del trazo (normal, negrita) y la
familia (romana, lineal, mecanogrca), la que no se ha de confundir con la familia tipogrca.
a
a
Este esquema no incorpora ning n parmetro para la familia tipogrca porque tanto con el
u
a
a
A
o
a
sistema TEX como con el sistema L TEX se suelen usar plizas de una misma familia tipogrca,
normalmente la Computer Modern, dise ada per D. Knuth sobre la base de la familia Modern
n
8A de la fundicin Monotype, o tambin la Lucida Bright, diseada por Charles Bigelow y
o
e
n
Kris Holmes. Ambas son familias tipogrcas que consiguen la armonizacin de las fuentes de
a
o
caracteres de texto con las fuentes de s
mbolos matemticos, requisito ste que es esencial para
a
e
la tipograf cient
a
ca.

IN01701C

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

IN01701C

Enviado por

Direitos autorais:

Formatos disponíveis

0 Cmo evitar leer este libro

Cmo evitar leer este libro

Los autores, 1999; Edicions UPC, 1999.

representan tpicamente como conjunciones de las relaciones primitivas

utilizadas para expresar dichas instancias. Las descripciones que

Los autores, 1999; Edicions UPC, 1999.

0 Cmo evitar leer este libro

Descripcin del algoritmo de

La suposicin subyacente en los mtodos de adquisicin de conceptos es

Los autores, 1999; Edicions UPC, 1999.

Los autores, 1999; Edicions UPC, 1999.

0 Cmo evitar leer este libro

Proof. Assume that PKT A1 , . . . , Am > B1 , . . ., Bk . For simplicity, let

O(k) lines to separate B1 . . . Bk ,

O(k) lines by lemma 28

Proof. If PKT A, then by corollary 5.29,

A, and by theorem 16,

Los autores, 1999; Edicions UPC, 1999.

obtingut de lexpressi regular de dues maneres diferents, com a mnim. De

les expressions regulars segents, digueu quines sn ambiges.

Los autores, 1999; Edicions UPC, 1999.

0 Cmo evitar leer este libro

3.1 Sigui E lexpressi regular

i) Es L(E) = {a, b, c}?

ii) Es L(EE) = {a, b, c}?

Los autores, 1999; Edicions UPC, 1999.

Los autores, 1999; Edicions UPC, 1999.

0 Cmo evitar leer este libro

On Hfts characterization of weak model classes

In this paper we show a very simple counterexample to the characterization

(where v denotes the unique closed extension (with respect to A) of v to an

X -initial segment i.e., the (support of an) X -generated relative subalgebra

Los autores, 1999; Edicions UPC, 1999.

Los autores, 1999; Edicions UPC, 1999.

0 Cmo evitar leer este libro

The theoretical physics input

Los autores, 1999; Edicions UPC, 1999.

$q$ se denotan respectivamente por $a\,\textbf{mod}\,b$ y

Los autores, 1999; Edicions UPC, 1999.

0 Cmo evitar leer este libro

ALGORITMOS DE CAMBIO DE BASE

Algoritmos de cambio de base

Recordemos el teorema de la divisin entera expuesto en la seccin 1.4.

Observemos que en la notacin algor

Los autores, 1999; Edicions UPC, 1999.

Transparencia para retroproyeccin

Los autores, 1999; Edicions UPC, 1999.

0 Cmo evitar leer este libro

Los autores, 1999; Edicions UPC, 1999.

08800 Vilanova i la Geltr}

Los autores, 1999; Edicions UPC, 1999.

0 Cmo evitar leer este libro

Escola Universit`ria Polit`cnica

Jos Antonio Romn Jimnez

Los autores, 1999; Edicions UPC, 1999.

1 Composicin de textos cientcos

Composicin de textos cient

Forma y contenido de un trabajo cient

Los autores, 1999; Edicions UPC, 1999.

La nueva distribucin de tareas y responsabilidades en el proceso editorial, sin embargo,

Los autores, 1999; Edicions UPC, 1999.

1 Composicin de textos cientcos

que hayan sido sometidos a un proceso de revisin cr

Organizacin de un trabajo cient