The -Calculus
Tasi

Наверх
Обратно
8 800 250-06-18
Менюx
КорзинаАвторизоватьсяНаши магазиныПомощь
Моя корзина: нет товаровx
Нет товаров
Оплата и доставка
x
Ваш город: Вудбридж, вам доступны способы доставки:
  • отправка Почтой РФ (от 200 руб)
Вам доступны способы оплаты:
  • при получении заказа
  • предоплата RBK: банковские карты, терминалы оплаты и многое другое
  • банковский перевод для физ. лиц
  • банковский перевод для юр. лиц
Авторизоваться
Вудбридж
x
Выбор города

Ваш город: Вудбридж ?

Ваш город: Вудбриджизменить )
Пункты самовывоза
Вам нравится эта книга?  
Авторизуйтесь или зарегистрируйтесь на сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесь на сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесь на сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Вы можете заказать:
Подробнее о технологии 
Экономьте до 30% с бонусными баллами! При покупке вы получите
от 344 баллов
на свой бонусный счёт. Получить баллы и скидку
Вам доступны способы доставки:
  • отправка Почтой РФ (от 200 руб)
Способы оплаты

Описание

The "ν-calculus" is a formal logical system, which as classical one, treats (true and false) assertions in the grounds, but unlike - in the semantic sense - their truth (falsity) values are differently set. Besides, here are of interest only (always) false formulas or negations etc. We formulate a number of formal theorems of the calculus within its "propositional", "predicate" and "arithmetical" versions and put forward the (meta-theoretical) requirements for completeness and consistency of these systems. It is shown that they largely "share fate" of classical formalizations: when it is about, say, completeness of the propositional calculus, or the (in)completeness of predicate calculus and formal number theory et al. Finally, we bring a version of this formalism as a sequential calculus, as well as a constructive proof of its consistency (after Gentzen).
далее Читать
Свернуть
   Читать далее
Год:2014
Страниц:144
ISBN:9783639664904
Формат:22.9cm x 15.2cm x 0.8cm
Код:pod 6050188
Автор:Tasi
Тематика:Физика и математика

Мнения и отзывы

Написать отзыв
 
Авторизуйтесь, чтобы оставить свой отзыв о товаре «The -Calculus» Tasi
Содержательный отзыв длиною более 500 символов, который будет принят модератором, принесёт вам 15 баллов для участия в нашей бонусной программе!  
Правила начисления баллов за отзыв
1. Отзыв должен быть уникальным и содержательным;
2. Отзыв не должен содержать нецензурную брань;
3. Отзыв должен относиться к товару, на который он написан;
3.1 Мы не рекомендуем пересказ информации, указанной на странице товара, а также аннотации и содержания;
4. Запрещено в тексте указывать ссылки на сторонние ресурсы, а также адреса электронной почты;
5. Отзыв должен быть написан кириллицей;
6. Запрещено копировать отзывы, мнения и информацию с любых сайтов. Скопированные отзывы могут быть отклонены либо удалены - на усмотрение модератора;
7. Без спойлеров. Не надо рассказывать сюжет книги, многие хотели бы прочитать ее, не зная финала. Если вы всё-таки хотите написать полную историю, то мы будем благодарны, если в начале отзыва вы укажете {Внимание спойлеры};
8. При подсчете количества символов мы не учитываем пробелы, знаки препинания и так далее.

С товаром «The -Calculus» часто покупают

x

Если Вы обнаружили ошибку в описании товара «The -Calculus» Tasi, выделите её мышкой и нажмите: Ctrl+Enter. Спасибо!

©2006-2018, ООО «Буквоед»
8 800 250-06-18

Спасибо за ваше обращение.
Его номер - .

Ответ будет направлен на указанную почту в ближайшее время.

x
x