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;/fi/dissemination/search/results/field_publication_details%3A%22PhD+thesis%22\\&amp;quot; class=\\&amp;quot;active\\&amp;quot;&amp;gt;tulokset&amp;lt;/a&amp;gt;&amp;#039;, &amp;#039;http://www.jem-thematic.net/fi/dissemination/search/results/field_publication_details%3A%22PhD+thesis%22&amp;#039;, &amp;#039;&amp;#039;, &amp;#039;38.107.191.102&a in /private/var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174
Search publications: PhD thesis | JEM - Joining Educational Mathematics
Polls › Search case studies: ... › Grenoble meeting › Search publications: ... › Best Practices in ... › Zugriff verweigert

Search publications: PhD thesis

Tulostinystävällinen sivu
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=\"/fi/dissemination/search/results/field_publication_details%3A%22PhD+thesis%22\" class=\"active\">tulokset</a>', 'http://www.jem-thematic.net/fi/dissemination/search/results/field_publication_details%3A%22PhD+thesis%22', '', '38.107.191.102', 1269146858) in /private/var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
1 result

Tulokset

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
Tyyppi: 
Other
Päivämäärä: 
2008/12/05
URL: 
Representing Logics and Logic Translations
Partner_node: 
Jacobs University
  • Kirjaudu·tai·rekisteröidy·kirjoittaaksesi kommentteja
  • Lue lisää
  • luettu %count kertaa

Yhdistele sisältöä