miércoles, 28 de febrero de 2007

L12-BOOKS

Integrantes:
Adriana Escamilla
Francisco Gudiño

Perl:
Autor Husain, Kamran
Titulo Perl 5 al descubierto / Kamran Husain ; tr.Miguel Katrib Mora
Pie impren Madrid : Prentice-Hall, 1998
book jacket
Ubicación Clasificación Mensaje Estatus
CHI GENERAL QA76.73 .P33 H8718 1998
DISPONIBLE

Edicion 1a ed
Descrip. 851 p. ; 24 cm. + 1 cd-rom
Notas Traducción de: Perl 5 unleashed
Materia Perl (Lenguaje de programacion para computadora)
Autor alt Katrib Mora, Miguel
ISBN 8489660492


Autor Wyke, R. Allen
Titulo Fundamentos de programación en Perl / R. Allen Wyke, Donald Thomas ; tr. Gustavo Elías Fonseca Bueno
Pie impren Bogotá, Col. : McGraw-Hill, 2001
book jacket
Ubicación Clasificación Mensaje Estatus
CHI GENERAL QA76.73 .P22 W9 2001
DISPONIBLE

Descrip. 514 p. ; 22 cm
Notas Traducción de: Perl : a beginner's guide
Materia Perl (Lenguaje de programación para computadora)
Autor alt Thomas, Donald B
ISBN 9584102966

APL:

Autor Gilman, Leonard
Titulo APL : Enfoque Interactivo / Leonard Gilman
Pie impren México : Limusa , 1982
book jacket
Ubicación Clasificación Mensaje Estatus
CHI GENERAL QA 76.73 .G5 .A6 1982
DISPONIBLE

Descrip. 430p
Materia APLLenguaje Programador de Computadora

Computación -- Programación APL
ISBN 9681812646

Autor Wolfram, Stephen.
Titulo The mathematica book / Stephen Wolfram.
Pie impren Champaign, IL : Wolfram Media ; New York : Cambridge University Press, c1999.
book jacket
Ubicación Clasificación Mensaje Estatus
CHI GENERAL QA76.95 .W65 1999
DISPONIBLE

Edicion 4th ed.
Descrip. xxvi, 1470 p. : il. (algunas col.) ; 24 cm.
Notas Incluye índice.
Materia Matemática (Archivo de computadora).

Matemáticas -- Procesamiento de datos.

Mathematica (Computer file).

Mathematics -- Data processing.
ISBN 1579550045 (Wolfram Media)

0521643147 (Cambridge)

Autor Winston, Patrick Henry
Titulo LISP
Pie impren Aergentina : Addison Wesley , 1991
book jacket
Ubicación Clasificación Mensaje Estatus
CHI GENERAL QA76 73 L23 WS56 1991
DISPONIBLE

Edicion 3a Ed
Descrip. xxiii, 654 p
Materia LISP -- Lenguaje de programación
Autor alt Paul Horn, Bethold Klaus coaut
ISBN 0201629372


Autor Lutz, Mark
Titulo Learning Python / Mark Lutz and David Ascher
Pie impren Sebastopol, CA : O'Reilly, c2004
book jacket
Ubicación Clasificación Mensaje Estatus
CHI GENERAL QA76.73.P98 L8 2004
DISPONIBLE

Edicion 2nd ed
Descrip. xxvi, 591 p. : ill. ; 24 cm
Bibliografia Includes index
Materia Python (Computer program language)

Python (Lenguaje de programación)
Autor alt Ascher, David
ISBN 0596002815

martes, 27 de febrero de 2007

T10-BOOKS

Algunos libros de compiladores y traductores displonibles en la biblioteca del campus:

----------------------------------------------------------------------------
Titulo Compilers : principles, techniques, and tools / Alfred V. Aho ... [et al.]
Pie impren Boston : Pearson Addison-Wesley, 2007.

Clasificación
QA76.76.C65 A37 2007

Edicion 2nd ed.
Descrip. xxiv, 1009 p. : il. ; 24 cm.
Notas Edición revisada de: Compilers, principles, techniques, and tools / Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman. 1986
Materia Compilers (Computer programs).

Compiladores (Programas de computadora).
Autor alt Aho, Alfred V. Compilers, principles, techniques, and tools.
ISBN 0321486811 (papel alcalino)
----------------------------------------------------------------------------

Autor Appel, Andrew W., 1960-
Titulo Modern compiler implementation in Java / Andrew W. Appel
Pie impren Cambridge [England] ; New York, NY, USA : Cambridge University press, 1998
book jacket
Clasificación
QA76.73 .J38 A65 1998

Descrip. x, 548 p. : il. ; 24 cm
Bibliografia Incluye referencias bibliográficas (p. 532-540) e índice
Materia Java (Computer program language)

Compilers (Computer programs)

Compilers (Computer programs)

Java (Computer program language)

Java (Lenguaje de programación para computadora).

Compiladores (Programa para computadora).
ISBN 0521583888 (hardback)
----------------------------------------------------------------------------
Autor Muchnick, Steven S., 1945-
Titulo Advanced compiler design and implementation / Steven S. Muchnick
Pie impren San Francisco, Calif. : Morgan Kaufmann Publishers, c1997
book jacket
Clasificación
QA 76.76 .C65 .M8 1997

Descrip. xxix, 856 p. : il. ; 25 cm.
Bibliografia Incluye referencias bibliográficas (p. 801-820) and indexes
Materia Compilers (Computer programs)

Systems programming (Computer science)

Compiladores (Programa para computadora).
ISBN 1558603204
----------------------------------------------------------------------------
Autor Louden, Kenneth C
Titulo Compiler construction : principles and practice / Kenneth C. Louden
Pie impren Boston : PWS Pub. Co., c1997
book jacket
Clasificación
QA76.76.C65 L6

Descrip. x, 582 p. : il. ; 25 cm.
Bibliografia Incluye referencias bibliográficas (p.558-561) e índice
Materia Compilers (Computer programs)

Compiladores (Computadoras electrónicas)
ISBN 0534939724
----------------------------------------------------------------------------
Autor Aho, Alfred V.
Titulo Compiladores : principios, técnicas y herramientas / Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman ; tr. Pedro Flores Suárez, Pere Botella i López
Pie impren México : Addison-Wesley Longman, 1990, 1998
book jacket
Clasificación
QA76.76.C65 A3718 1990

Descrip. xii, 820 p. : il. ; 24 cm.
Bibliografia Incluye referencias bibliográficas (p. 771-790) e índice
Notas Traducción de: Compilers, principles, techniques, and tools
Materia Compilación (Computadoras electrónicas)

Compiladores (Programa para computadora).

Compilers (Computer programs)
Autor alt Sethi, Ravi

Ullman, Jeffrey D., 1942-

Flores Suárez, Pedro, tr.

Botella i López, Pere, tr.
ISBN 9684443331

----------------------------------------------------------------------------
Autor Teufel, Bernard
Titulo Compiladores : conceptos fundamentales / Bernard Teufel, Stephanie Schmidt, Thomas Teufel ; tr. Ernesto Morales Peake
Pie impren Wilmington, Delaware : Addison-Wesley Iberoamericana, 1995
book jacket
Clasificación
QA 76.76 .C65 T4818 1995

Descrip. xi, 179 p. : il. ; 23 cm
Notas Tít. orig. : C2 compiler concepts

Tr. de : C2 compiler concepts
Materia Compilador (Computadoras electrónicas)

Lenguaje de programación (Computadoras electrónicas)

Compiladores (Programa para computadora).

Lenguajes de programación (Computadoras electrónicas)
Autor alt Schmidt, Stephanie

Teufel, Thomas

Morales Peake, Ernesto, tr
Titulo alt Compiladores
ISBN 0201653656
Marc 240 00
----------------------------------------------------------------------------
Autor Aho, Alfred V.
Titulo Compiladores : principios, técnicas y herramientas / Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman ; tr. Pedro Flores Suárez, Pere Botella i López
Pie impren México : Addison-Wesley, c1990.
book jacket
Clasificación
QA 76.76 .C65 A3618 1990
QA 76.76 .A6 .C6 1990

Descrip. xii, 820 p. : il. ; 23 cm.
Notas Traducción de: Principles, techniques, and tools.
Bibliografia Incluye referencias bibliográficas (p. 771-790) e índice.
Materia Compilación (Computadoras electrónicas).
Autor alt Sethi, Ravi.

Ullman, Jeffrey D., 1942-

Flores Suárez, Pedro L., tr.

Botella i López, Pere, tr.
Titulo alt Compilers : principles, techniques, and tools
ISBN 0201629038

9684443331 (reimp.)
----------------------------------------------------------------------------
Autor Salas Parrilla, Jesús
Titulo Sistemas operativos y compiladores / Jesús Salas Parrilla
Pie impren Madrid : McGraw-Hill, c1988
book jacket
Clasificación
QA 76 .S3 .S5 1988

Descrip. xii, 212 p. : il. ; 24 cm
Series Informática de gestión
Bibliografia Bibliografía : p. 206
Notas Incluye índice
Materia Sistemas operativos (Computadoras)

Compilación (Computadoras electrónicas)
ISBN 8476152051

T11-PROY

T11-PROY

La información sobre le proyecto se encuantra en la siguiente liga

Gráficas de Pareto

Equipo:
Alfredo
Marco

L15-DECL

Integrantes:
Miguel Solis A00739496
Mario Figueroa A00739420
Gerardo Velo A00746849


Como programar Prolog en Ruby.

Para poder interpretar lineas de codigo con estructura de Prolog en un archivo Ruby es necesario contar con los siguientes archivos.

el primer archivo cuenta con 45 lineas y tiene un peso de 1KB
http://mipagina.chi.itesm.mx/.a00739496/tiny_prolog_ext.rb

este archivo cuenta con 235 lineas y tiene un peso de 5KB
http://mipagina.chi.itesm.mx/.a00739496/tiny_prolog.rb

Estos dos archivos funcionan como interpretes de la estructura realizada en una programacion en prolog , cada vez que se realize un algoritmo es necesario requerir uno de estos archivos.

Por ejemplo, en la primera linea del algoritmo cuida de poner:

require 'tiny_prolog_ext'

Para llamar al "interprete". Los archivos que ejecutes tienen que estar grabados dentro de la misma direccion donde tienes estos archivos.

require 'tiny_prolog_ext'
# rules
# read as "X and Y are siblings if Z is the parent of both"
sibling[:X,:Y] <<= [ parent[:Z,:X], parent[:Z,:Y], noteq[:X,:Y] ] parent[:X,:Y] <<= father[:X,:Y]parent[:X,:Y] <<= mother[:X,:Y] # facts: rules with "no preconditions" father["matz", "Ruby"].fact mother["Trude", "Sally"].fact father["Tom", "Sally"].fact father["Tom", "Erica"].fact father["Mike", "Tom"].fact query sibling[:X, "Sally"] # >> 1 sibling["Erica", "Sally"], este es el resultado de la ejecucion.


Otro ejemplo son las torres de Hanoi.

http://mipagina.chi.itesm.mx/.a00739496/hanoi.rb

lo importante es la primera linea de codigo, no lo olvides......

Para mayor informacion puedes consultar:

http://eigenclass.org/hiki.rb?tiny+prolog+in+ruby

Un ejemplo sencillo de preguntas en prolog:

require 'tiny_prolog_ext' #la linea de fauld

mortal[:X] <<= humano[:X] # los huamnos son mortales

humano["socrates"].fact #socrates es humano

query mortal[:X] #quien es mortal

#tu resultado debe se socrates

L15-DECL

Objetivo: reportar los pasos que debemos seguir para instalar y correr ejemplos ilustrativos reportando una guia paso-a-paso los siguientes lenguajes/librerias del paradigma declarativo:

  1. Gema Ruby-Prolog
  2. 2 Interpretes de Prolog
  3. Gema Ruby-Lisp
  4. 2 Interpretes de Lisp
  5. 2 Interpretes de Common Lisp

T11-PROY

Diagramas de lineas de tiempo

START ::= PROGRAM
PROGRAM ::= LINE
LINE ::= line , DATE , DATE , MARKER ; OBJECT
DATE ::= (0[1-9]|1[012])[- /.](0[1-9]|[12][0-9]|3[01])[-
/.](19|20)\d\d
MARKER ::= [1-9]
OBJECT ::= INTERVAL | MILESTONE | {}
INERVAL ::= interval , DATE , DATE , TEXT ; OBJECT
MILESTONE ::= milestone , DATE ; OBJECT
TEXT ::= [a-zA-Z0-9_]

Equipo

Luis Raul Colorado
Ruben Terrazas

T11-PROY

Integrantes:
Diana Fernández
Daniel Varela

Nombre del Proyecto: Diagramas de Gantt

Descripción:
El lenguaje recibirá los parámetros de un diagrama de Gantt como lo son: las actividades, con su correspondiente id, nombre, fecha de inicio, duración y dependencias; también recibirá los milestones con el id de la tarea a la cual pertenece, su nombre y fecha de realización. El lenguaje traducirá las instrucciones al lenguaje intermedio SLOGO, realizado por nosotros el parcial pasado.

Imagen de Ejemplo:


BNF:
(Nota: Los elementos NoTerminales están en Azul y los Terminales en Verde)

TASK:= Ta=ID&NOMBRE&BEGIN&LDURATION(&DEPENDENCIES)?;
MILESTONE:=Mi=ID&NOMBRE&TIME;
ID:=I:NUM
NOMBRE:=N:ALFANUM
BEGIN:=B:DATE
LDURATION:=L:DURATION
DURATION:=NUM(dOTRA|h)
OTRA:=@NUMh|epsilon
DEPENDENCIES:=D:(NUM)DEPEN
DEPEN:=,(NUM)DEPEN|epsilon
TIME:=T:DATE
NUM:=[0-9]+
ALFANUM:=[a-zA-Z][a-zA-Z0-9]*

Ejemplo del uso del lenguaje:

Ta=I:1&N:Tarea1&B:20/02/07&L:4d;
Ta=I:2&N:Tarea2&B:24/02/07&L:7h&D:1;
Ta=I:3&N:Tarea2&B:24/02/07&L:2d&D:1;
Ta=I:5&N:Tarea5&B:26/02/07&L:5d@3h&D:2,3;
Mi=I:5&N:Milestone1&T:02/03/07;