uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Grundläggande logik
Uppsala University, Disciplinary Domain of Humanities and Social Sciences, Faculty of Arts, Department of Philosophy.
2003 (Swedish)Book (Other academic)
Abstract [sv]

Detta är en lärobok i elementär logik för studenter i datavetenskaperna, matematik eller filosofi, eller för vem som helst som vill lära sig logikens grunder. Tillräckliga förkunskaper är två eller tre års matematik från gymnasiet. Bokens innehåll och utformning gör den lämpad som förberedelse för utbildningen i logikprogrammering, kunskapsrepresentation och artificiell intelligens. Den kan också ingå som led i utbildningarna i filosofi, vetenskapsteori och diskret matematik.

Place, publisher, year, edition, pages
lund: Studentlitteratur AB, 2003, 4. , 599 p.
Keyword [en]
logik, satslogik, predikatlogik, mängdteori, definitionsteori, logikprogrammering
National Category
Philosophy Philosophy
Identifiers
URN: urn:nbn:se:uu:diva-47055ISBN: 91-44-03026-6 (print)OAI: oai:DiVA.org:uu-47055DiVA: diva2:74962
Available from: 2007-02-10 Created: 2007-02-10 Last updated: 2012-04-23Bibliographically approved

Open Access in DiVA

No full text

Authority records BETA

Hansen, Kaj B

Search in DiVA

By author/editor
Hansen, Kaj B
By organisation
Department of Philosophy
PhilosophyPhilosophy

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 650 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf