Original scientific paper

Logika i povijesne znanosti - problem rekonstrukcije obitelji na temelju matičnih knjiga

Davor Lauc ; Filozofski fakultet Sveučilišta u Zagrebu
Darko Vitek ; Hrvatski studiji Sveučilišta u Zagrebu

Abstract

U radu se nastoji prikazati postupak moguće formalizacije zapisa iz matičnih knjiga i izgradnja računalno primjenjivoga logičkog modela, temeljenoga na temporalnoj logici.

Keywords

logika; povijest; genealogija; formalizacija

Hrčak ID:

63762

URI

https://hrcak.srce.hr/63762

Publication date:

29.12.2010.

Visits: 1.646 *