PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2006 | 9 | 22 | 61-71
Tytuł artykułu

On Computer-assisted Approach to Formalized Reasoning

Autorzy
Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
The idea to have a mathemalical, standardized language is an old one. Now with the advances in computer science there is a need of mathematical texts that would be appropiate for processing by computer. A survey of automated reasoning for mathematics is presented. Explanation and comparison between automated reasoning, mechanized mathematics, and formal mathematical language is given. In author's view the motivation for formalizing mathematics include the ability to achieve a higher degree of correctness and precision than found in informal mathematics.
Słowa kluczowe
Rocznik
Tom
9
Numer
22
Strony
61-71
Opis fizyczny
Rodzaj publikacji
ARTICLE
Twórcy
  • R. Matuszewski, Uniwersytet w Bialymstoku, Zaklad Lingwistyki Stosowanej, pl.Uniwersytecki 1, 15-420 Bialystok, Poland
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
CEJSH db identifier
07PLAAAA02224686
Identyfikator YADDA
bwmeta1.element.b044e4f0-092f-3665-92ae-a0cbafaabfaf
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.