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

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

Mariusz Szylberg

Wybrane problemy rozumowań w naukach przyrodniczych i technicznych


Selected problems of reasoning in science and technology


Opiekun pracy dyplomowej: dr inż. Tomasz Lesz
Praca dyplomowa magisterska obroniona 2010-06-29
Streszczenie pracy dyplomowej:
Celem pracy jest omówienie wybranych problemów rozumowań występujących w naukach przyrodniczych i technicznych oraz ich wizualizacja za pomocą programu komputerowego. Rozumowania poprawne to rozumowania wykorzystujące reguły wnioskowania oraz aksjomaty specyficzne, np.: prawa nauki. W pierwszej części pracy przedstawiono pojęcie dyskursu i dokonano klasyfikacji jego rodzajów. Opisano również najważniejsze cechy dyskursu podbudowując je odpowiednią interpretacją graficzną. Część drugą poświęcono najważniejszym pojęciom rozpatrywanego w pracy systemu logiki. Przedstawiono kolejno rachunek zdań z punktu widzenia układów cyfrowych z uwzględnieniem najważniejszego rodzaju zdania, jakim jest zdanie typu: „A są B” i jego szczególnego przypadku, jakim jest zdanie postaci „A jest B”, a także opisano algorytm obliczania wartości logicznych dla tego rodzaju zdań. Aby tego dokonać rozpatrzono szczegółowo problem relacji międzyzakresowych z wykorzystaniem diagramów Eulera-Venna. Na trzecią część składa się doskonalenie programu, wizualizującego podstawowe pojęcia rozpatrywanego tutaj systemu logiki, z uwzględnieniem szczegółowego opisu działania programu i sposobu jego obsługi. Opracowany program składa się z czterech głównych zakładek. Pierwsza z nich pokazuje wizualizacje poszczególnych schematów graficznych związanych z różnymi dziedzinami dyskursu dla rozpatrywanego systemu logicznego. Druga i trzecia zakładka dotyczą ustalenia modułów relacji między-zakresowych i liczby możliwych zdań typu „A jest B” i „A są B”. Ostatnia zakładka opracowanego programu komputerowego dotyczy klasyfikacji dziedzin dyskursu oraz obliczania najważniejszych parametrów z nimi związanych, to jest w szczególności liczby wartości logicznych oraz wag wartości logicznej prawdy w każdej z nich. W tej części pracy zostały także porównane ze sobą wyniki obliczeń teoretycznych z otrzymanymi dzięki programowi, a także wskazano wiele przykładów wyjaśniających działanie poszczególnych zakładek programu.
Abstract:
The aim is to discuss some problems occurring reasonings in the natural sciences and engineering and visualization using a computer program. Reasoning is valid reasoning using rules of inference and axioms specific, for example: laws of science. The first part presents the concept of discourse; the classification of discourses has been discussed. It also describes the key features underpinning the discourse with an appropriate interpretation of the graphics. Part two is devoted to the most important concepts at issue in the system logic. Presented in turn account statements from the perspective of digital systems including the most important type of sentence, which is the type of sentence: “A are B”, and its special case, which is the sentence of the form “A is B”, and described an algorithm for calculating the value for this kind of logical sentences. To do that examined in detail the problem of the relationship of ranges using Euler-Venn diagrams. In the third part consists of improving the program, describing the basic concepts of logic at issue here, including a detailed description of the program and how it is handling. Developed program consists of four main tabs. The first one shows a graphical visualization of the different patterns associated with different areas of discourse for the logical system under consideration. The second and third tab are to determine the relationship of ranges modules and the number of possible sentences of the type “A is B” and “A are B”. The last tab developed a computer program classifies the areas of discourse and the calculation of key parameters associated with them, that is, in particular the number of logical values and logical values of weights truth in each of them. In this part of the work were also compared with the results of the theoretical calculations obtained through the program, and pointed out many examples explaining the operation of the different tabs of the program.