Головна

   Велика Радянська Енциклопедія

Обчислення предикатів

   
 

Обчислення предикатів, розділ математичної логіки - сукупність логіко-математичних числень , що формалізують ті розділи сучасної логіки, в яких відображаються і вивчаються (у зв'язку з розглядом суб'єктно-предикативний структури речень) правила оперування з кванторами . Див Висловлювання , Логіка предикатів .





Виберіть першу букву в назві статті:

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ ы э ю я

Повний політерний каталог статей


 

Алфавітний каталог статей

  а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ ы э ю я
 


 
© 2014-2022  vre.pp.ua