Warning: Duplicate entry '3917396' for key 1 query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', '<em>Duplicate entry &amp;#039;3917396&amp;#039; for key 1\nquery: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, &amp;#039;faceted_search&amp;#039;, &amp;#039;&amp;lt;em&amp;gt;field_publication_details:&amp;amp;quot;PhD thesis&amp;amp;quot;&amp;lt;/em&amp;gt;.&amp;#039;, 0, &amp;#039;&amp;lt;a href=\\&amp;quot;/de/dissemination/search/results/field_publication_details%3A%22PhD+thesis%22\\&amp;quot; class=\\&amp;quot;active\\&amp;quot;&amp;gt;Ergebnisse&amp;lt;/a&amp;gt;&amp;#039;, &amp;#039;http://www.jem-thematic.net/de/dissemination/search/results/field_publication_details%3A%22PhD+thesis%22&amp;#039;, &amp;#039;&amp;#039;, &amp;#039;38.107.191.103& in /private/var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174
Search publications: PhD thesis | JEM - Joining Educational Mathematics
Developing and ... › Search learning ... › Video Lessons in ... › Envíos recientes › Real Time SMS ... › Contact

Search publications: PhD thesis

Druckversion
user warning: Duplicate entry '3917396' for key 1 query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'faceted_search', '<em>field_publication_details:&quot;PhD thesis&quot;</em>.', 0, '<a href=\"/de/dissemination/search/results/field_publication_details%3A%22PhD+thesis%22\" class=\"active\">Ergebnisse</a>', 'http://www.jem-thematic.net/de/dissemination/search/results/field_publication_details%3A%22PhD+thesis%22', '', '38.107.191.103', 1268235165) in /private/var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
1 result

Ergebnisse

Representing Logics and Logic Translations

Logic is the study of formal languages for propositions and truth. Logics are used both as a foundation of mathematics and as specification languages in mathematics and computer science. Since logic is intricately intertwined with the nature of mathematics, the question how to represent logics in our minds is a constant challenge to our understanding. And only when it is understood can we begin to answer the corresponding question about logic translations. At the same time logics are used to a large extent in computer science to reason about both mathematics and software systems.

Publication_details: 
PhD thesis
Author(s): 
Florian Rabe
Typ: 
Other
Date: 
2008/12/05
URL: 
Representing Logics and Logic Translations
Partner_node: 
Jacobs University

Inhalt abgleichen