Computational Logic
This course is about the computational part of Mathematical Logic. Here, "computational" refers to what is amenable to be computed by means of an automatic process. In this sense, the goal of Computational Logic is to automatize the operation of proving a fact as a theorem given some prior knowledge (axioms or premises).
Author(s): Damiano Zanardini

License information
Related content

Copyright 2009, by the Contributing Authors

Sudan in Transition? Symposium Opening remarks
Opening remarks from the Sudan in Transition? Southern Independence, Culture and Reconciliation symposium held in Oxford in January 2011.
Author(s): No creator set

License information
Related content

Byrne Administration: Interview with Betty Wilson (March 19, 2008)
This interview is a part of the Eagleton Institute for Politics's Program on the Governor. For more information please visit their website: http://governors.rutgers.edu/
Author(s): No creator set

License information
Related content

Learn Maths through Play with hoodamath.com

Why Math Games?

Hooda Math believes in math learning through play. Mr. Edlavitch credits board and card games for his early enjoyment of mathematics. Hooda Math believes Author(s): Creator not set

Byrne Administration: Interview with Robert Comstock (March 14, 2006 Part 1)
Please find the second part of this interview at: http://www.youtube.com/watch?v=JpaYzoqRZHo This interview is a part of the Eagleton Institute for Politics's Program on the Governor. For more information please visit their website: http://governors.rutgers.edu/
Author(s): No creator set

License information
Related content

Kean Administration: Interview with Carl Golden (December 9, 2009 Part 1)
Please find the second part of this interview at: http://www.youtube.com/watch?v=gAi6lgy_tJE This interview is a part of the Eagleton Institute for Politics's Program on the Governor. For more information please visit their website: http://governors.rutgers.edu/
Author(s): No creator set

License information
Related content

Good Life in Hard Times
Archbishop Nichols will be speaking about the importance of religious freedom, and arguing that promoting religious freedom increases our capacity to do good in the public square. He will also be drawing out some implications from Catholic social teaching for a richer understanding of human dignity and the role of the state and the market in serving human needs. Vincent Nichols is the 11th Archbishop of Westminster. He was elected president of the Catholic Bishops' Conference of England and Wale
Author(s): No creator set

License information
Related content

Sinking of the Lusitania: Panic on Deck
This professionally-made segment is a video featuring actors recreating the panic among the passengers and crew during the sinking of the Lusitania, a passenger ship sank in 1915 by German u-boats.  (4:40)
Author(s): No creator set

License information
Related content

The Varieties of Medical Images: A Research Perspective
Speaker: Dr. Brian Chapman, UCSD
Author(s): No creator set

License information
Related content

Nathaniel Hawthorne
A four minute video that details his life by visiting some of the places where the writer might have visited in his time. There is a running caption. The video also helps explain the symbolism used by Hawthorne. Great insights into the meanings of various themes used. A great video to develop a discussion about how writers create ideas for readers to think about.
Author(s): No creator set

License information
Related content

Tobacco leaf-picking BL23660_007

TEAFANI & CO WORKS, Brixton. The Turkish Leaf room. Cigarettes and tobacco were regarded as vital war supplies and these women workers are contributing to the war effort by leaf-picking. Photographed by Bedford Lemere & Co in October 1916.


Author(s): No creator set

License information
Related content

Orígenes de opúsculos políticos, textos anónimos y secretos: Palafox y Mendoza

Sobre orígenes de opúsculos políticos en el siglo XVII. Textos de encargo, anónimos, y "secretos" : Juan de Palafox y Mendoza. Maria Soledad ARREDONDO SIDOREY. In Dire, taire, masquer les origines dans la péninsule ibérique, du Moyen Age au Siècle d'Or, colloque international organisé par l'Équipe de recherche "Littérature Espagnole Médiévale et du Siècle d'Or" (LEMSO) du laboratoire France méridionale et Espagne : histoire des sociétés du m
Author(s): No creator set

License information
Related content

Orígenes de opúsculos políticos, textos anónimos y secretos: Palafox y Mendoza

Sobre orígenes de opúsculos políticos en el siglo XVII. Textos de encargo, anónimos, y "secretos" : Juan de Palafox y Mendoza. Maria Soledad ARREDONDO SIDOREY. In Dire, taire, masquer les origines dans la péninsule ibérique, du Moyen Age au Siècle d'Or, colloque international organisé par l'Équipe de recherche "Littérature Espagnole Médiévale et du Siècle d'Or" (LEMSO) du laboratoire France méridionale et Espagne : histoire des sociétés du m
Author(s): No creator set

License information
Related content

Authors@Google: Frances Noble
Frances Noble spoke for Googlers in Santa Monica on February 1, 2011. She spoke about her book "Blanket of Stars: Homeless Women in Santa Monica." She was accompanied by her son Ian Noble, the book's photographer.
Author(s): No creator set

License information
Related content

Direct Chemical Vapor Deposition of Graphene on Dielectric Surfaces
Direct Chemical Vapor Deposition of Graphene on Dielectric Surfaces
Author(s): No creator set

License information
Related content

The Power of Wings!
Southwest Delivery Express now offers UMass Amherst students in the university's largest residential area the opportunity to order wings and pizza from the campus's award-winning Dining Services.
Author(s): No creator set

License information
Related content

Meet Author Micah Nathan
Micah Nathan discusses his new novel, Losing Graceland a story about Ben Fish, a recent college graduate who leaves his dead-end job by responding to a newspaper ad from John Barrow as a driver. John, who claims to be a living Elvis, hires Ben to drive him 900 miles to Memphis in search of his granddaughter Nadine. Their epic journey takes them on many detours with several fantastic characters in this "rollicking, adventurous tale."
Author(s): No creator set

License information
Related content

Ouvrage: Compréhension orale
Domaine: Langues & Cultures
Compréhension orale (TOEFL/TOEIC/IELTS/CLES) comprend 52 extraits audio couvrant les domaines variés, susceptibles d’être rencontrés lors de ces tests : les sciences, l’histoire, la civilisation, des personnalités marquantes, entre autres.
Afin de familiariser les candidats avec les réalités du monde anglo-saxon, des native speakers de plusieurs pays anglo¬phones ont été retenus pour enregistrer les documents sonores authentiques.

Author(s): No creator set

License information
Related content

Ouvrage: Les outils stochastiques des marchés financiers
Domaine: Mathématiques financières
Depuis 40 ans, les outils mathématiques probabilistes ont montré leur rôle central dans le développement d’outils d’aide à la décision pour les marchés financiers. Ils offrent un cadre méthodologique robuste de modélisation et calcul des risques associés aux produits dérivés, ces fameux instruments financiers qui dépendent de manière plus ou moins complexe d’autres produits financiers plus simples (actions, indices, taux de change, taux d

Author(s): No creator set

License information
Related content

Ouvrage: Économie du climat.
Domaine: Sciences de l'économie, de la gestion et de la société
Le protocole de Kyoto pourrait prendre fin en 2012. Amorcé par le Sommet de la Terre à Rio en 1992, il jetait les bases d’un régime de coordination internationale combinant plafonds nationaux et marché de quotas pour la réduction des émissions de gaz à effet de serre. De nombreuses Conférences des Parties – les dernières à Bali, Copenhague, Cancun – ont cherché à mettre sur pied les modalités d’un tel régime.

Author(s): No creator set

License information
Related content