Informatica II
De WikiParodi
Libros biblioteca
biblio15.uned.es 519 GAR AUT 519 HOP TEO Teoría de Autómatas, lenguajes y computación 510 FUN 519 DUR INT 004.3 BRO TEO 004.43 KEL TEO Teoría de Autómatas y Lenguajes formales - Dean Kelley 004.02 FER FUN Fundamentos de Informática. Logica. Autómatas. Algoritmos y Lenguajes.
Apuntes
- Exámenes desde 2002 a 2010 www.calatayud.unedaragon.org
- Uned Barbastro examenes Informatica II C.Matematicas Hay que estar identificado en la Uned
- ExamenUnedInformaticaII-2009-feb-semana1
- ExamenUnedInformaticaII-2009-junio-semana1-1130
- Archivo:Tema12.pdf Diseño de circuitos digitales con puertas NAND o NOR. Formato de archivo: PDF/Adobe Acrobat
Introducción. Diseño de circuitos con puertas NAND. Propiedad universal de las puertas NAND. Conversión de funciones lógicas a productos negados ...
Segundo Cuatrimestre
- Cuestiones de examen
- Lógica y Computación
- Teoría de la Computación Apuntes y Ejercicios de Gonzalo Navarro - Universidad de Chile marzo 2011
- Teoría de la Computación Apuntes y Ejercicios de Gonzalo Navarro - Universidad de Chile 2066
Automatas de pila
- http://es.scribd.com/doc/54252188/Automata-de-Pila
- http://www.exa.unicen.edu.ar/catedras/ccomp1/Apunte4.pdf
- http://www.seccperu.org/?q=node/134
- http://www.infor.uva.es/~mluisa/talf/index.html
Maquina de Turing
- www.sinewton.org Articulo33.pdf
- www.neoteo.com construye-tu-propia-maquina-de-turing
- setanta.wordpress.com simulador-de-maquina-de-turing
- www.lsi.upc.es/~ggodoy/tc.html Teoría de la Computación. Guillem Godoy. Departament de Llenguatges i Sistemes Informàtics - UPC. Universitat Politècnica de Catalunya - BarcelonaTech Enlaces a videos en youtube. Lenguajes, gramáticas y automatas.
- ¿Qué es una Máquina de Turing? (i) Por Javier Oribe alumno de Ciencias Matemáticas de la Uned. elmaquinadeturing.wordpress.com
- ¿Qué es una Máquina de Turing? (ii)
Expresiones regulares y reconocedores
- Autómatas y Lenguajes Formales asignatura de 3º de Ingeniería Informática de Gestión Dr. César Ignacio García Osorio Universidad de Burgos
- www.monografias.com expresiones regulares
- pisuerga.inf.ubu.es/ lenguajes regulares .pdf Autómatas y Lenguajes Formales Dr. César Ignacio García Osorio Universidad de Burgos
- pisuerga.inf.ubu.es Autómatas y Lenguajes Formales Dr. César Ignacio García Osorio Universidad de Burgos
- Teoría de Autómatas y Lenguajes FormalesDepartamento de Informática - Universidad de Valladolid - María Luisa González Díaz
- PRINCIPIOS DE AUTOMATAS FINITOS Guillermo Morales-Luna Sección de Computación - Centro de Investigación y Estudios Avanzados del IPN (CINVESTAV-IPN) en la ciudad de México
- www.lsi.upc.edu agascon videos expresiones regulares y automatas
- ocw.unican.es teoria-de-automatas-y-lenguajes-formales
- pisuerga.inf.ubu.es cgosorio THOTH Aplicación Java para comprobar expresiones regulares y diseño de autómatas finitos (Sub-opción Autómatas de la opción Lenguajes, gramáticas y autómatas)
- rua.ua.es - Vives Macias Francisco .pdf Tesis doctoral
Método de las derivadas
- www.itescam.edu.mx Método de las derivadas para obtener un AF a partir de su ER
- ocw.unican.es teoria-de-automatas-y-lenguajes-formales Derivadas formales de una expresión regular
- pisuerga.inf.ubu.es Derivadas formales de una expresión regular
- Lenguajes regulares y Autómatas finitos Método de la Derivadas
- ccia.ei.uvigo.es Derivación de una Expresión Regular
algoritmo de unificacion en logica de predicados
- algoritmo de unificacion en logica de predicados en google.es
- LÓGICA MATEMÁTICA Profesora Nieves Pavon Universidad Huelva. uhu.es
- Lógica de Predicados Universidad de Oviedo
- Programación Lógica Estudiante wintrmute Inteligencia Artificial Prolog
- www.fdi.ucm.es profesor: s.estevez Lógica Facultad de Informática de la Universidad Complutense de Madrid
Maxterms Minterms y formas canónicas
www.uned.es ca-bergara profesor Morillo:
- ESTRUCTURA Y TECNOLOGÍA DE COMPUTADORES I
- Transparencias Algebra de Boole
- es.wikipedia.org Formas_canonicas_(Algebra_de_Boole)
Lógica Matemática
- Reglas de inferencia de Lógica Proposicional y Lógica de Predicados informatica.uv.es
- Lógica de Predicados www.paginasobrefilosofia.com
- Lógica 2010 2011 Escuela universitaria de informática de la Universidad Politécnica de Madrid - 2006 - 2007 - 2008
- Representación del conocimiento en sistemas inteligentes www.gsi.dit.upm.es www.gsi.dit.upm.es/~gfer/ssii
- 1 Introducción al lenguaje de la lógica de primer orden
- Apuntes de Lógica de Proposiciones y de Predicados
- www.cs.us.es jalonso cursos Lógica
- Lógica Informática curso de Jose Antonio Alonso. Universidad de Sevilla
- Temas de Lógica Proposicional .pdf 748 KB.
- Inteligencia Artificial ccia.ei.uvigo.es
- LÓGICA MATEMÁTICA www.uhu.es
Uned Ciencias Matemátcas
Calendario exámenes
Si eres alumno de la asignatura Informática II de Ciencias Matemáticas de la UNED, puedes identificarte para participar en esta wiki Usuario/contraseña -> uned/demo
- trabajar de matemático
- grupo Uned Matemáticas en google groups para almacenar archivos de exámenes resueltos de Matemáticas, asignatura de Informática II.
Autómatas finitos
- video de youtube sobre teoria de automatas
- Introduccion a la teoria de automatas
- apuntes teoria de automatas www.taringa.net alojados en megaupload clave nardoso
- libro "Automatas y lenguajes (formales)" de Ramon Brena
- libro "Automatas y lenguajes (formales)" de Ramon Brena para descargar directamente.
- Principios de autómatas finitos
- Teoría de Autómatas y Lenguajes Formales
otros apuntes
- Uned información asignatura Informática II
- Biestable
- Biestables JK
- Examen 2009 - feb - semana 1
- Documentos de Departamento de Informática y Sistemas de la Universidad de Las Palmas
- Teoría de Autómatas I Exámenes resueltos
- Ejercicios de Cálculo de predicados (.pdf) Arantxa Martín
- Ejemplo de lógica de predicados
- Lógica Matemática, lógica de predicados
- UCA Lógica Matemática Proposiciones lección1
- UCA Lógica Matemática Predicados lección2
- UCA Lógica Matemática Razonamiento y Demostraciones lección3
- Autómatas
- teoría de autómatas
- teoría de autómatas - rincondelvago
- teoría de autómatas apuntes UHU.es
- GOOGLE autómatas youtube teoría de autómatas
- teoría de autómatas wikipedia
- teoría de autómatas urjc
- fundamentos-de-logica-matematica-y-computación
- 4shared.com se encuentra el libro fundamentos-de-logica-matematica-y-computación
- en megaupload.com se encuentra el libro fundamentos-de-logica-matematica-y-computación
- Lógica matemática de ogai
- Logica computacional
