Wyniki wyszukiwania:

Jest to kolejne wznowienie dobrze znanego matematykom zbioru zadań z rozwiązaniami lub odpowiedziami. Pierwsze dziewięć rozdziałów zawiera zadania do wybranych zagadnień matematyki, stanowiących treść wstępnych wykładów dla studentów matematyki na uniwersytetach i w szkołach pedagogicznych, natomiast zadania z ostatnich czterech rozdziałów przeznaczone są dla nieco bardziej zaawansowanych adeptów matematyki.
Pomocą w korzystaniu ze zbioru są krótkie wstępy teoretyczne do każdego rozdziału oraz skorowidz stosowanych w książce oznaczeń.

This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming.
The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently...