Логика
Реферат на тему : Понятие предиката Исчисление высказываний, которое рассматривалось в попереднiх роздiлах, как алгебра высказываний i как формальная (аксiоматична) теорiя, есть важной i невiд 'емкой составной частью всiх исчислений математической логiки. Однако оно есть слишком бiдним для описания....
Реферат на тему : Применение логiки предикатiв Исчисление предикатiв, не какое мiстить функцiональних букв i предметных констант, называется чистым исчислением предикатiв. Досi речь шла преимущественно именно о чистом исчислении предикатiв. Такi исчисления мiстять тiльки означенi выше так званi логiчнi....
Вернуться назад