Lista przedmiotów z materiałami udostępnionymi dla studentów

Dla_studentów
  • Increase font size
  • Default font size
  • Decrease font size

Rafał Leżański

Wnioskowanie bezpośrednie i pośrednie w naukach przyrodniczych i technicznych


Direct and indirect reasoning in science and technology


Opiekun pracy dyplomowej: dr inż. Tomasz Lesz
Praca dyplomowa magisterska obroniona 2012-04-27
Streszczenie pracy dyplomowej:
Celem pracy było omówienie wnioskowań bezpośrednich i pośrednich w naukach przyrodniczych i technicznych oraz napisanie programu komputerowego, ilustrującego wybrane zagadnienia dotyczące tych wnioskowań. Praca zawiera trzy rozdziały; w rozdziale pierwszym zdefiniowane zostały wnioskowania, podany jest ich podział i klasyfikacja. Przedstawione zostały również stosunki między zakresami nazw, zdania kategoryczne oraz fundamentalne prawa rachunku nazw, takie jak prawa z kwadratu logicznego, prawa obwersji, konwersji, inwersji i kontrapozycji. Rozdział drugi poświęcony jest logice, wykorzystywanej w naukach przyrodniczych i technicznych. Zostały tu omówione rodzaje dyskursów wraz z ich właściwościami. Ponadto zdefiniowane są zdania cząstkowe bezwarunkowe i warunkowe, z określeniem ich wartości logicznych oraz sposobów ich uznawania. Wprowadzone zostały także funktory zdaniotwórcze wraz ze sposobami ich zapisu ułatwiającymi operacje komputerowe. W ostatnim, trzecim, rozdziale zamieszczony został opis programu komputerowego wraz z wybranymi algorytmami, realizującymi praktycznie wnioskowania opisane w części teoretycznej. Program napisany jest w języku obiektowym JAVA. [Zmiana tematu 2006/2007. Poprzedni: Interpolacja charakterystyk akustycznych głowy do celów wytwarzania dźwięku przestrzennego w trzech wymiarach, promotor prof. P. Strumiłło]
Abstract:
The purpose of this thesis is describing direct and indirect reasoning in science and technology and writing computer program which exemplifies chosen issues concerning this reasoning. Thesis is divided into three parts; in first part reasoning is defined, their partition and classification are included. It also presents relations between range of names, categorical propositions and fundamental laws of propositional calculus, like law from square of opposition, obversion, conversion, inversion and contraposition. Second part is about logic, exploit in science and technology. It recounts different kind of discourses with properties of them. Moreover, partial conditional and absolute sentence are defined, with description of logical value and different kind of considerations. It also introduces logical connective (logical operator) along with the method of recording for making computer operations easier. In the last, third part computer program is depicted along with the selected algorithms which realize reasoning described in the theoretical part. Computer program is written in JAVA object programming language.