Исчисление предикатов, раздел математической логики — совокупность логико-математических исчислений, формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с кванторами. См. Высказывание, Логика предикатов.
Так же Вы можете узнать о...
Ионические острова (lonioi nesoi), группа островов в Ионическом море, у западных берегов Балканского полуострова. Казлу-Руда, город (с 1950) в Капсукском районе Литовской ССР. Карадарья, река в Киргизской ССР и Узбекской ССР; левая составляющая р. Квадратичное среднее, число (s), равное корню квадратному из среднего арифметического квадратов данных чисел a1, a2,. Кистепёрые (Crossopterygii), группа костных рыб. Коллекторная машина, электрическая машина (генератор, двигатель), у которой обмотка ротора соединена с коллектором. Контрапозиция (позднелат. contrapositio — противоположение, от лат. Кохинхина, 1) в европейской литературе название южной части средневекового вьетнамского государства Дайвьет в 16 в. Круус Ханс Хансович [р. 10(22).10.1891, Тарту], советский историк, государственный и общественный деятель Эстонии, член-корреспондент АН СССР (1946), академик АН Эстонской ССР (1946). Кэли Артур Кэли, Кейли (Cayley) Артур (16.8.1821, Ричмонд, — 26. Лейпциг (город в ГДР) Лейпциг (Leipzig), город на Ю. ГДР. Административный центр округа Лейпциг. Лисец, посёлок городского типа в Ивано-Франковской области УССР. Лю Чжи-дань (1902, уезд Баоань, провинция Шэньси, — февраль 1936, село Саньцзяочжэнь, провинция Шаньси), деятель Коммунистической партии Китая, один из руководителей вооруженной борьбы против гоминьдановского режима в Северо-Западном Китае. Мальцев Виктор Федорович (родился 22.6.1917, Екатеринослав, ныне Днепропетровск), советский и партийный деятель, дипломат.