Aplikace Port-Royalské logiky pro interferenční validaci alifatických karboxylových kyselin ve forenzních vědách

Abstract

Diplomová práce prezentuje aplikaci Port-Royalské logiky s využitím formální konceptuální analýzy pro použití v oblasti forenzních věd. V teoretické části je zpracován obecný přehled Port-Royalské logiky a formální konceptuální analýzy popisující základní algebraické defi-nice a věty. V úvodu praktické části jsou identifikovány jednotlivé vzorky karboxylových kyselin, popsány jejich vlastnosti a zobrazeny získané hodnoty. Dále je uvedeno zpracování dat programem založeným na formální konceptuální analýze a následné zobrazení grafů v 3D prostředí programu MATLAB.