About: Mathematical Logic and Deduction in Computer Science Education     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • Logic is a well-established branch, in comparison with the other theoretical computer science disciplines science, with deep tradition and its roots could be found in ancient history. Although the questions that logic encountered in the past were different, we could formulate some common issues namely the effort to simulate the human reasoning by exact (symbolic) way. Although a mathematician rather uses logic as a tool for expressing and proving properties of mathematical objects, for a computer scientist logic is a full member of theoretical computer science. Its main task is to provide formal (symbolic) framework for knowledge representation and deduction.
  • Logic is a well-established branch, in comparison with the other theoretical computer science disciplines science, with deep tradition and its roots could be found in ancient history. Although the questions that logic encountered in the past were different, we could formulate some common issues namely the effort to simulate the human reasoning by exact (symbolic) way. Although a mathematician rather uses logic as a tool for expressing and proving properties of mathematical objects, for a computer scientist logic is a full member of theoretical computer science. Its main task is to provide formal (symbolic) framework for knowledge representation and deduction. (en)
Title
  • Mathematical Logic and Deduction in Computer Science Education
  • Mathematical Logic and Deduction in Computer Science Education (en)
skos:prefLabel
  • Mathematical Logic and Deduction in Computer Science Education
  • Mathematical Logic and Deduction in Computer Science Education (en)
skos:notation
  • RIV/61988987:17310/05:A1000DDT!RIV10-MSM-17310___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • S
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 529030
http://linked.open...ai/riv/idVysledku
  • RIV/61988987:17310/05:A1000DDT
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • logic (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [9FC91940288D]
http://linked.open...v/mistoKonaniAkce
  • Nitra
http://linked.open...i/riv/mistoVydani
  • Nitra
http://linked.open...i/riv/nazevZdroje
  • Acta Mathematica 8- Proceedings of 3rd Mathematical Conference in Nitra
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Habiballa, Hashim
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
number of pages
http://purl.org/ne...btex#hasPublisher
  • Univerzita Konštantína Filozofa v Nitre. Fakulta prírodných vied
https://schema.org/isbn
  • 80-8050-896-8
http://localhost/t...ganizacniJednotka
  • 17310
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software