Lista przedmiotów z materiałami udostępnionymi dla studentów
- Medical Imaging, prof. dr hab. M. Strzelecki
- Law and Ethics in Bio-Medical Engineering, George R. Brown
- Final Project Seminar, prof. dr hab. M. Strzelecki
Piotr SzymańskiWybrane zagadnienia logiki kwantytatywnej dla inżynierówChosen issues of quantitative logic for engineersOpiekun pracy dyplomowej: dr inż. Tomasz Lesz Praca dyplomowa magisterska obroniona 2010-11-22 |
Streszczenie pracy dyplomowej: |
Celem pracy było omówienie wybranych zagadnień logiki kwantytatywnej, przydatnych w działalności inżynierskiej, w tym klasycznego rachunku logicznego, czyli rachunku zdań i predykatów, oraz wybranych logik wielowartościowych i modalnych. W pierwszej części opisano system logiki kwantytatywnej, dokonano podziału dyskursów ze względu na zawartość ich dziedzin i przeciwdziedzin z uwzględnieniem równoważności epistemologicznej, a także przedyskutowano wybrane sposoby istnienia przedmiotów uwzglęniając równoważność ontologiczną. W drugiej części omówiono elementy logiki tradycyjnej, w tym sylogistykę Arystotelesa, a także podstawy rachunku logicznego wykorzystującego funktory zdaniotwórcze od argumentów nazwowych w dwóch interpretacjach: słabej i mocnej. Sformułowano dyrektywy poprawnych wnioskowań, zawierających po sześć reguł, dla schematów sylogistycznych w interpretacji mocnej i słabej. W ostatniej części zamieszczono program komputerowy wyprowadzający wnioski z przesłanek sylogistycznych dla 16 funktorów zdaniotwórczych od argumentów nazwowych. Przedstawiono jego kod, schemat blokowy, opisano interfejs graficzny oraz dokonano porównania wyników działania programu z rezultatami uzyskanymi z diagramów Eulera-Venna. |
Abstract: |
The purpose of this thesis is describing different aspects of quantitative logic, useful for engineering work, including classic logic, multiple-valued logic and modal logic. The first part of the thesis describes the system of quantitative logic, presents division of discourses with regard to the content of their domains and ranges, taking into consideration epistemological equivalence. Additionally, different ways of objects’ existence are discussed, taking into consideration ontological equivalence. The second part of the thesis describes elements of classic logic, Aristotle’s syllogism and basics of logical calculus. Directives of proper deduction, containing 6 rules, for syllogistic schemas in strong and week interpretation, are formulated. The last part of the thesis contains the printout of the computer program, the flowchart, description of the graphic interface and comparison of its results with results obtained from Euler-Venn diagrams. |