About: Computer aided solving of logic problems     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
  • The aim of this paper is to introduce one of the possible ways how to solve logic problems using Microsoft Visual Studio programming tool. The solution is demonstrated on the Einstein's puzzle where the missing information must be identified by deriving it from the given statements. The benefits of using this tool include demonstration of integrating mathematics and information technology, this software is also suitable for non-programmers, and last but not least, can thus diversify teaching. (en)
  • Cílem příspěvku je představit jeden z možných způsobů řešení logických úloh pomocí programovacího nástroje Microsoft Visual Studio. Řešení bude demonstrováno na Einsteinově hádance, kde je třeba určit chybějící informace, které odvozujeme ze zadaných výroků. Práce s programovacím nástrojem při řešení úlohy pomáhá studentům přehledně formulovat fakta zadané úlohy a následně provést kontrolu výsledků. K výhodám využití tohoto nástroje patří demonstrace mezipředmětového vztahu matematiky a informatiky, tento software je vhodný i pro neprogramátory, a v neposlední řadě lze takto zpestřit výuku.
  • Cílem příspěvku je představit jeden z možných způsobů řešení logických úloh pomocí programovacího nástroje Microsoft Visual Studio. Řešení bude demonstrováno na Einsteinově hádance, kde je třeba určit chybějící informace, které odvozujeme ze zadaných výroků. Práce s programovacím nástrojem při řešení úlohy pomáhá studentům přehledně formulovat fakta zadané úlohy a následně provést kontrolu výsledků. K výhodám využití tohoto nástroje patří demonstrace mezipředmětového vztahu matematiky a informatiky, tento software je vhodný i pro neprogramátory, a v neposlední řadě lze takto zpestřit výuku. (cs)
Title
  • Computer aided solving of logic problems (en)
  • Řešení logických úloh pomocí počítače
  • Řešení logických úloh pomocí počítače (cs)
skos:prefLabel
  • Computer aided solving of logic problems (en)
  • Řešení logických úloh pomocí počítače
  • Řešení logických úloh pomocí počítače (cs)
skos:notation
  • RIV/60076658:12510/11:43882628!RIV12-MSM-12510___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • I
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
  • 226701
http://linked.open...ai/riv/idVysledku
  • RIV/60076658:12510/11:43882628
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • language C#; programming; logic problems; teaching; Microsoft Visual Studio (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [23988612CACE]
http://linked.open...v/mistoKonaniAkce
  • České Budějovice
http://linked.open...i/riv/mistoVydani
  • České Budějovice
http://linked.open...i/riv/nazevZdroje
  • Užití počítačů ve výuce matematiky
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Beránek, Ladislav
  • Remeš, Radim
  • Carbová, Anna
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
number of pages
http://purl.org/ne...btex#hasPublisher
  • Jihočeská univerzita v Českých Budějovicích. Pedagogická fakulta
https://schema.org/isbn
  • 978-80-7394-324-0
http://localhost/t...ganizacniJednotka
  • 12510
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, 110 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software