- Tytuł:
-
Wnioskowanie logiczne za pomocą DNA. Reguła kontrapozycji
Logical deduction with DNA. The rule of contraposition - Autorzy:
- Rogowski, Łukasz
- Powiązania:
- https://bibliotekanauki.pl/articles/41205160.pdf
- Data publikacji:
- 2013
- Wydawca:
- Uniwersytet Kazimierza Wielkiego w Bydgoszczy
- Tematy:
-
obliczenia DNA
komputer DNA
logika
wnioskowanie
implikacja
implementacja
reguła kontrapozycji
DNA computing
computer DNA
logic
deduction
implication
implementation
rule of contraposition - Opis:
-
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.
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. - Źródło:
-
Studia i Materiały Informatyki Stosowanej; 2013, 12; 11-18
1689-6300 - Pojawia się w:
- Studia i Materiały Informatyki Stosowanej
- Dostawca treści:
- Biblioteka Nauki
Artykuł