Wybrane elementy logiki

Opis produktu:

Skrypt zawiera materiał z zakresu logiki przeznaczony dla studentów ASzWoj. Składa się z czterech rozdziałów. Pierwszy to zarys historyczny logiki, w drugim przedstawione są elementy logiki formalnej, wprowadzenie do teorii mnogości zamieszczone jest w rozdziale trzecim, zaś rozdział czwarty zawiera przykłady zastosowania wspomnianych pojęć do analizy języka naturalnego. Zawartość skryptu pokrywa treści programowe przedmiotu "Logika". Duża ilość przykładów, zwłaszcza związanych z zastosowaniem logiki w dowodzeniu, pokazuje znaczenie tego przedmiotu w praktyce.