<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="es">
	<id>https://www.glc.us.es/~jalonso/LCyTM2018/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=Jalonso</id>
	<title>Lógica computacional y teoría de modelos (2019-20) - Contribuciones del usuario [es]</title>
	<link rel="self" type="application/atom+xml" href="https://www.glc.us.es/~jalonso/LCyTM2018/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=Jalonso"/>
	<link rel="alternate" type="text/html" href="https://www.glc.us.es/~jalonso/LCyTM2018/index.php/Especial:Contribuciones/Jalonso"/>
	<updated>2026-07-22T13:54:29Z</updated>
	<subtitle>Contribuciones del usuario</subtitle>
	<generator>MediaWiki 1.31.0</generator>
	<entry>
		<id>https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=L%C3%B3gica_computacional_y_teor%C3%ADa_de_modelos_(2019-20)&amp;diff=149</id>
		<title>Lógica computacional y teoría de modelos (2019-20)</title>
		<link rel="alternate" type="text/html" href="https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=L%C3%B3gica_computacional_y_teor%C3%ADa_de_modelos_(2019-20)&amp;diff=149"/>
		<updated>2019-10-17T11:30:09Z</updated>

		<summary type="html">&lt;p&gt;Jalonso: Página creada con «Esta es la página principal de la asignatura &amp;quot;Lógica computacional y teoría de modelos&amp;quot; del [https://matematicas.us.es/en/titulaciones/master-u-matematicas  Máster Univ…»&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;Esta es la página principal de la asignatura &amp;quot;Lógica computacional y teoría de modelos&amp;quot; del [https://matematicas.us.es/en/titulaciones/master-u-matematicas  Máster Universitario en Matemáticas] de la [http://www.us.es Universidad de Sevilla].&lt;br /&gt;
&lt;br /&gt;
== Material para el curso ==&lt;br /&gt;
* [[Temas]]: Temas.&lt;br /&gt;
* [[Ejercicios]]: Relaciones de ejercicios.&lt;br /&gt;
* [[Ejercicios evaluables]]: Ejercicios evaluables.&lt;br /&gt;
* [[Aplicaciones y casos de estudio]]: Aplicaciones y casos de estudio presentados en clase.&lt;br /&gt;
* [[Documentación]]: Cursos y libros recomendados.&lt;br /&gt;
* [[Sistemas]]: Sistemas utilizados.&lt;/div&gt;</summary>
		<author><name>Jalonso</name></author>
		
	</entry>
	<entry>
		<id>https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=MediaWiki:Mainpage&amp;diff=148</id>
		<title>MediaWiki:Mainpage</title>
		<link rel="alternate" type="text/html" href="https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=MediaWiki:Mainpage&amp;diff=148"/>
		<updated>2019-10-17T11:29:58Z</updated>

		<summary type="html">&lt;p&gt;Jalonso: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;Lógica computacional y teoría de modelos (2019-20)&lt;/div&gt;</summary>
		<author><name>Jalonso</name></author>
		
	</entry>
	<entry>
		<id>https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=L%C3%B3gica_computacional_y_teor%C3%ADa_de_modelos_(2018-19)&amp;diff=4</id>
		<title>Lógica computacional y teoría de modelos (2018-19)</title>
		<link rel="alternate" type="text/html" href="https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=L%C3%B3gica_computacional_y_teor%C3%ADa_de_modelos_(2018-19)&amp;diff=4"/>
		<updated>2018-10-11T10:51:05Z</updated>

		<summary type="html">&lt;p&gt;Jalonso: Página creada con «Esta es la página principal de la asignatura &amp;quot;Lógica computacional y teoría de modelos&amp;quot; del MUMA de la US.»&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;Esta es la página principal de la asignatura &amp;quot;Lógica computacional y teoría de modelos&amp;quot; del MUMA de la US.&lt;/div&gt;</summary>
		<author><name>Jalonso</name></author>
		
	</entry>
	<entry>
		<id>https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=MediaWiki:Mainpage&amp;diff=3</id>
		<title>MediaWiki:Mainpage</title>
		<link rel="alternate" type="text/html" href="https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=MediaWiki:Mainpage&amp;diff=3"/>
		<updated>2018-10-11T10:49:28Z</updated>

		<summary type="html">&lt;p&gt;Jalonso: Página creada con «Lógica computacional y teoría de modelos (2018-19)»&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;Lógica computacional y teoría de modelos (2018-19)&lt;/div&gt;</summary>
		<author><name>Jalonso</name></author>
		
	</entry>
	<entry>
		<id>https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=MediaWiki:Common.css&amp;diff=2</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=MediaWiki:Common.css&amp;diff=2"/>
		<updated>2018-10-11T10:47:03Z</updated>

		<summary type="html">&lt;p&gt;Jalonso: Página creada con «/* Los estilos CSS colocados aquí se aplicarán a todas las apariencias */ @import url(&amp;quot;/~jalonso/font-awesome-4.7.0/css/font-awesome.min.css&amp;quot;);»&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* Los estilos CSS colocados aquí se aplicarán a todas las apariencias */&lt;br /&gt;
@import url(&amp;quot;/~jalonso/font-awesome-4.7.0/css/font-awesome.min.css&amp;quot;);&lt;/div&gt;</summary>
		<author><name>Jalonso</name></author>
		
	</entry>
</feed>