2212790596

Literatura

1.    Literatura podstawowa:

•    Rasiowa H., Wstęp do matematyki współczesnej, PWN, Warszawa 2003.

•    Marek W., Onyszkiewicz J., Elementy logiki i teorii mnogości w zadaniach, PWN, Warszawa 2003.

•    Trzęsicki K., Logika i teoria mnogości, EXIT, Warszawa 2003.

•    Ben-Ari M., Logika matematyczna w informatyce, WNT, Warszawa 2005.

•    Clocksin W. F., Mellish C. S, Prolog. Programowanie, Helion, Gliwice, 2003.

2.    Literatura dodatkowa:

•    Stanosz B., Wprowadzenie do logiki formalnej, PWN, Warszawa 2002.

•    Stanosz B., Ćwiczenia z logiki, PWN, Warszawa 2002.

•    Mostowski A., Logika matematyczna, http://matwbn. icm.edu.pl/ksspis.php?wyd=10.

•    Kuratowski C., Mostowski A., Teoria mnogości, http://matwbn.icm.edu.pl/ksspis.php?wyd=10.

Oprogramowanie

1.    Programator sterownika SIEMENS LOGO! Soft Comfort:

•    strona WWW: http://www2.automation.siemens.com/logo/index_76.html,

•    link: Updates & Demo software,

•    wersja: Download LOGO! Soft Comfort demo version V5.0.

2.    Interpreter języka SWI-Prolog:

•    strona domowa SWI-Prolog: www.swi-prolog.org,

•    linki: Download | Stable release,

•    wersja: SWI-Prolog/XPCE for MS-Windows.

Uwaga: Na mojej stronie domowej prz-rzeszow.pl/"kwiktor znajdują się linki do wymienionego oprogramowania.