Description

• Title:
  Wnioskowanie logiczne za pomocą DNA. Reguła kontrapozycji
• Creator:
  Rogowski, Łukasz
• Description:
  DNA computing is one of new computational paradigms which are alternative to traditional computer systems. Biological molecules in special laboratory conditions can be used to solve mathematical, logical and algorithmic purposes. This paper describes some already existing models of logical inference systems and the new proposal – DNA deduction system using new elements: negation and rule of contraposition.;
  Obliczenia DNA (z ang. DNA computing) to nowa dziedzina informatyki, będąca alternatywą dla tradycyjnych systemów komputerowych, polegająca na wykorzystaniu cząsteczek molekularnych do rozwiązywania problemów algorytmicznych, matematycznych i logicznych. Niniejszy artykuł przedstawia istniejące implementacje systemów wnioskowania realizowanych za pomocą DNA oraz nową koncepcję takiego systemu, uwzględniającą nowe elementy: negację i regułę kontrapozycji w implikacji.
• Object availability:
  free access
• Date:
  2016.04.12;
  2013
• Type:
  Article
• Language:
  Polish
• Format:
  application/pdf
• Publisher:
  Fundacja Rozwoju Mechatroniki
• Subject:
  obliczenia DNA;
  komputer DNA;
  logika;
  wnioskowanie;
  implikacja;
  implementacja;
  reguła kontrapozycji
• Identifier:
  Studia i Materiały Informatyki Stosowanej, 2013, T. 5, nr 12.;
  http://repozytorium.ukw.edu.pl/handle/item/3553
• Data provider:
  Repozytorium Uniwersytetu Kazimierza Wielkiego w Bydgoszczy
• Can I use it?:
  seek permission
• Type:
  image