Щоб брати участь в обговореннях потрібно авторизуватися.
Увійти
Карри, Хаскелл Б. Основания математической логики 1969
Товар продається за фіксованою ціною. Після натискання кнопки "Купити" з Вами зв'яжеться продавець для завершення покупки.
Місцезнаходження
Україна, Харківська область, Харків
Оплата
Приватбанк
Відправлення лота
Україна
Доставка
Нова пошта, Укрпошта (згідно з чинним законодавством країни проживання продавця).
Для придбання даного лоту необхідно зайти у свій профіль Віоліті.
500 грн
Матеріал:
бумага
Стан:
нет
Реставрація:
нет
Дефекти:
нет
Місцезнаходження:
Україна, Харківська область, Харків
Оплата:
Приватбанк
Відправлення лота: 
Україна
УкраїнаДоставка:
Нова пошта, Укрпошта (згідно з чинним законодавством країни проживання продавця).
Опис:
Перевод с англ. В. В. Донченко. Под ред. и с предисловием Ю.А. Гастева.
Книга американского ученого, в течение нескольких лет читавшего общий курс логики для студентов старших курсов Университета Пенсильвании, посвящена детальному изучению фундаментальных понятий математической логики. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
В конце большинства разделов есть задачи и упражнения различной степени сложности. Задачи, решение которых автору неизвестно, отмечены звездочкой. Содержит исторический и библиографический комментарий.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики.
С о д е р ж а н и е.
1. Введение.
2. Формальные системы.
3. Эпитеория.
4. Реляционная логическая алгебра.
5. Теория импликация.
6. Отрицание.
7. Кванторы.
8. Модальности.
Формат - 145 х 220 мм
Книга американского ученого, в течение нескольких лет читавшего общий курс логики для студентов старших курсов Университета Пенсильвании, посвящена детальному изучению фундаментальных понятий математической логики. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
В конце большинства разделов есть задачи и упражнения различной степени сложности. Задачи, решение которых автору неизвестно, отмечены звездочкой. Содержит исторический и библиографический комментарий.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики.
С о д е р ж а н и е.
1. Введение.
2. Формальные системы.
3. Эпитеория.
4. Реляционная логическая алгебра.
5. Теория импликация.
6. Отрицание.
7. Кванторы.
8. Модальности.
Формат - 145 х 220 мм
Посилання на обговорення:
Інші лоти продавця
Дивіться ще розділи
Повідомити модератору про порушення
Виберіть, будь ласка, вид порушення зі списку:
Як працює АВТОСТАВКА
Це функція, яка допомагає Вам робити ставки автоматично, в разі, якщо Вашу ставку перебивають.
Припустимо, поточна ціна лота дорівнює 120 грн. Ви готові торгуватися до 5 000 грн. Вкажіть в поле «Автоматичний торг» 5 000 грн. і натисніть "Зробити ставку". В результаті з'явиться Ваша нова ставка, але не в розмірі 5 000 грн., а всього лише 121 грн. При цьому система запам'ятає, що Ви готові торгуватися до 5 000 грн., і зробить необхідні ставки замість Вас, якщо ціна продовжить рости.
Припустимо, інший учасник робить ставку 2 000. Тоді система автоматично зробить Вашу ставку 2 001 грн. І тільки в разі, якщо хто-небудь зробить ставку більше ніж 5 000 грн., Ви отримаєте повідомлення про те, що Ваша автоставка перебита.
Припустимо, поточна ціна лота дорівнює 120 грн. Ви готові торгуватися до 5 000 грн. Вкажіть в поле «Автоматичний торг» 5 000 грн. і натисніть "Зробити ставку". В результаті з'явиться Ваша нова ставка, але не в розмірі 5 000 грн., а всього лише 121 грн. При цьому система запам'ятає, що Ви готові торгуватися до 5 000 грн., і зробить необхідні ставки замість Вас, якщо ціна продовжить рости.
Припустимо, інший учасник робить ставку 2 000. Тоді система автоматично зробить Вашу ставку 2 001 грн. І тільки в разі, якщо хто-небудь зробить ставку більше ніж 5 000 грн., Ви отримаєте повідомлення про те, що Ваша автоставка перебита.
Коментарі 0