High Quality Content by WIKIPEDIA articles! In modal logic, standard translation is a way of transforming formulas of modal logic into formulas of first-order logic which capture the meaning of the modal formulas. Standard translation is defined inductively on the structure of the formula. In short, atomic formulas are mapped onto unary predicates and the objects in the first-order language are the accessible worlds. The logical connectives from propositional logic remain untouched and the...
High Quality Content by WIKIPEDIA articles! In modal logic, standard translation is a way of transforming formulas of modal logic into formulas of first-order logic which capture the meaning of the modal formulas. Standard translation is defined inductively on the structure of the formula. In short, atomic formulas are mapped onto unary predicates and the objects in the first-order language are the accessible worlds. The logical connectives from propositional logic remain untouched and the modal operators are transformed into first-order formulas according to their semantics.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
В книге "Пернатые многоженцы" в популярной форме рассказывается о поведении птиц, связанном со всеми явлениями их брачной жизни - ухаживании, пении, спаривании, изменах и разводах. На примерах многих видов из разных систематических групп птиц на всех континентах описываются различные формы брака - моногамия и полигамия, колониальное и кооперативное размножение. Рассказывается о демонстративном...
Даже динозавры и мамонты приложили определенные усилия, чтобы мир стал чуточку другим. О чем книга Если бы не живые существа, Земле была бы уготована унылая участь Марса. Именно разные организмы — от бактерий до цветковых растений и млекопитающих — превратили третью планету от Солнца в обитаемый мир, создали ее нынешнюю атмосферу, значительно повлияли на состав Мирового океана и каменной...
Издательство:
Альпина нон-фикшн
Дата выхода: май 2018
Если вам нужна помощь в разработке программ на языке Python 3 или вы планируете заняться обновлением старого кода на языке Python 2, эта книга – ваш счастливый билет. Она наполнена практическими примерами, разработанными и протестированными в среде Python 3.3, поэтому станет уникальным подспорьем для опытных программистов, желающих сконцентрироваться на современных инструментах и идиомах. В книге приведены...
Оставить комментарий