Секвенциальные системы модальных исчислений
Автор: Уусталу Т., Пентус М.
Название: Секвенциальные системы модальных исчислений
Издательство: Таллинн : Академия наук Эстонии, [Институт кибернетики], Отделение информатики и технических наук
Год: 1989
Страниц: 57
Формат: djvu
Размер: 1 mb
Описываются свободные от сечения секвенциальные системы для наиболее употребительных модальных исчислений. Доказывается их дедуктивная эквивалентность соответствующим системам гильбертовского типа. Теорема об устранимости сечения доказывается для каждой из рассматриваемых систем с помощью стандартного метода, предложенного Генценом. Ознакомление с работой полезно тем, кто начинает изучать дедуктивный аппарат модальной логики.
Введение
Аксиоматики модальных систем
Секвенциальные системы
Устранение сечения
Литература
Аннотации на эст. и англ. языке
Gboxes | Deposit
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12766 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Рыбалка. Энциклопедия рыболова №-2
Название: Рыбалка. Энциклопедия рыболова №-2Год выпуска: 2014Номер: 45Издательство: Hachette СollectionsISSN: 2225-9376 Формат: PDFРазмер: 61.8 MbКачество: Отсканированные страницы, OCR, хорошееКоличе . . .
-
Делаем сами №24 2014
Название: Делаем самиГод / месяц: 2014 / декабрьНомер: 24Формат: PDFРазмер: 30,31 МбУникальность издания в том, что оно состоит главным образом из писем читателей. Авторы делятся своим опытом и доступ . . .
-
Секреты моего дома №5 2014
Название: Секреты моего домаИздательство: "Газетный мир"Главный редактор: А.С. КазанскийГод: 2014Страниц: 28Язык: РусскийФормат: PDFРазмер: 18 мбЖурнал для тех, кто обустраивает свой быт!- Идеи по рац . . .
-
Секреты моего дома №4 2014
Название: Секреты моего домаИздательство: "Газетный мир"Главный редактор: А.С. КазанскийГод: 2014Страниц: 28Язык: РусскийФормат: PDFРазмер: 20 мбЖурнал для тех, кто обустраивает свой быт!- Идеи по рац . . .
-
Шахтер №12 2014
Название: ШахтерГод / месяц: 2014, декабрьНомер: 12 (102)Формат: pdfРазмер: 9.5 MB Спортивный журнал, посвященный украинскому футбольному клубу "Шахтер" (Донецк).скачать с dfiles.ruскачать с file-sp . . .
-
RCM&E - February 2015
Название: RCM&EГод / месяц: February 2015Страниц: 132Формат: PDFРазмер: 18 MBЯзык: EnglishМоделизм. АвиацияTurbobitDeposit . . .
-
КОЛОСОК №3 2014
Название: КОЛОСОКГод/номер: 2004 / 3Издательство: ПО „Городские информационные системы”"ISSN: 2221-2256Страниц: 52Формат: PDFРазмер: 11.5 МбЯзык: русский“КОЛОСОК” - научно-популярный природоведческий . . .
-
КОЛОСОК №10 2014
Название: КОЛОСОКГод/номер: 2004 / 10Издательство: ПО „Городские информационные системы”"ISSN: 2221-2256Страниц: 52Формат: PDFРазмер: 12 МбЯзык: русский“КОЛОСОК” - научно-популярный природоведческий ж . . .
-
КОЛОСОК №8 2014
Название: КОЛОСОКГод/номер: 2004 / 8Издательство: ПО „Городские информационные системы”"ISSN: 2221-2256Страниц: 52Формат: PDFРазмер: 11,3 МбЯзык: русский“КОЛОСОК” - научно-популярный природоведческий . . .
-
American Survival Guide – February 2015
Название: American Survival GuideИздательство: Beckett / Engaged MediaГод / месяц: February 2015Страниц: 132Язык: EnglishФормат: PDFРазмер: 25 MBAn informative source for both the active outdoor enthu . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Секвенциальные системы модальных исчислений. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.