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

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

Bartłomiej Guzowski

Wybrane zagadnienia logiki dla inżynierów


Selected problems of Logic for Engineers


Opiekun pracy dyplomowej: dr inż. Tomasz Lesz
Praca dyplomowa magisterska obroniona 0000-00-00
Streszczenie pracy dyplomowej:
Celem niniejszej pracy magisterskiej było przedstawienie oraz omówienie problemów inżynierii poznania i komunikowania. Inżynieria ta została nazwana tutaj logiką dla inżynierów, która jest połączeniem logiki matematycznej i matematyki logicznej. Pierwszym celem mojej pracy, było dokonanie klasyfikacji dziedzin poznania oraz wskazanie w niej miejsca na poznanie naukowe. Drugim celem było wykazanie, że przedmiotem przekazu jest informacja własna zdania w sensie logicznym. Informacja własna to jedna z możliwych interpretacji pojęcia entropii w teoriach informacji i telekomunikacji. W ten sposób pokazany został ścisły związek tak pojętej dyskretnej entropii z wagą prawd logicznych w różnych dziedzinach poznania. Trzecim celem, który łączył dwa poprzednie, było przedstawienie pewnego systemu logiki formalnej, logiki dla inżynierów, która w zamyśle będzie skierowana do szeroko pojętych środowisk technicznych. Logika ta nie jest logiką matematyczną, bowiem tę stosują głównie teoretycy nauk ścisłych, jak nie jest również logiką tradycyjną, która jest stosowana przede wszystkim w naukach humanistycznych. Celem czwartym mojej pracy magisterskiej, było napisanie programu komputerowego, który by obliczał wartość logiczną czterech rodzajów zdań podstawowych, takich jak: A jest B, A są B, A jest B’ i A są B’, gdzie B’ – oznacza zaprzeczenie B. Zarówno podmiot A i orzecznik B są wprowadzane przez użytkownika programu, a zdania są oceniane w dwóch interpretacjach: słabej i mocnej, natomiast wyniki prezentowane są bezpośrednio w jednym z okien programu. Dodatkowo program na podstawie analizy dokonanych interpretacji, ma określać możliwe moduły dla tak dobranych danych oraz wskazać liczbę zdań w tych modułach. W niniejszej pracy przedstawiony został najważniejszy fragment kodu programu wraz z wyjaśnieniami oraz wszystkie algorytmy, za pomocą których program ocenia wartości logiczne zdań. W ostatnim rozdziale pracy magisterskiej zostały przedstawione przykłady działania programu wraz z dokładnym ich omówieniem i licznymi wyjaśnieniami. Każdy z celów pracy został osiągnięty, zarówno pod względem teoretycznym jak i praktycznym.
Abstract:
The puprose of this thesis was to discuss problems of Cognition and Communication Engineering. This engineering was called here Logic for Engineers and includes mathematical logic and logical mathematic. The first aim for me was to qualify the areas of knowledge and show the place for scientist recognition. The second aim for me was to prove that the subject of communication is self – inforamation of the sentence in a logical sense. This is a one of possible interpretation of entropy in theory of information and telecommunication. In this thesis was shown the connection between entropy and weight of logical truth in these areas of knowledge. The third aim, which includes the last two, was showing some formal system - Logic for Engineers. This logic can be used in technical community and it isn’t mathematical or traditional. The fourth aim was to write a computer program. This program verify logical value four sentences: A is B, A are B, A is B’ and A are B’ – where B’ means no B. User of this program can set the values of A and B. We have in this program two verification weak and strong and the result is shown in one of the window of this program. Moreover we can find out which possible modules are they and how many sentences we have in these modules. In this thesis I included the most imporant piece of program code and I discussed it. I discussed all algorithms which were used in this program too. In the last chapter I showed examples of running the program. These exapmles I discussed and I gave a lot of explanations. Every aim I realized, the theoretical aims and the practical aims. Program runs faultless and the results are true.