Чтобы участвовать в обсуждениях нужно авторизоваться.
Войти
Продавец понизил цену на лот, новая цена 400 грн
Карри, Хаскелл Б. Основания математической логики 1969
Цена:
400 грн
400 грн
Добавлено:
03.05.2025, 02:59
03.05.2025, 02:59
Следит за лотом: 1человек
Добавлено:
03.05.2025, 02:59
03.05.2025, 02:59
Товар продаётся по фиксированной цене. После нажатия кнопки "Купить" с Вами свяжется продавец для завершения покупки.
Местонахождение
Украина, Харьковская область, Харьков
Оплата
Приватбанк
Отправка лота
Украина
Доставка
Нова пошта, Укрпочта (согласно действующего законодательства страны проживания продавца).
Для покупки данного лота нужно зайти в свой профиль Виолити.
400 грн
Материал:
бумага
Состояние:
нет
Реставрация:
нет
Дефекты:
нет
Местонахождение:
Украина, Харьковская область, Харьков
Оплата:
Приватбанк
Отправка лота: 
Украина
УкраинаДоставка:
Нова пошта, Укрпочта (согласно действующего законодательства страны проживания продавца).
Описание:
Перевод с англ. В. В. Донченко. Под ред. и с предисловием Ю.А. Гастева.
Книга американского ученого, в течение нескольких лет читавшего общий курс логики для студентов старших курсов Университета Пенсильвании, посвящена детальному изучению фундаментальных понятий математической логики. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
В конце большинства разделов есть задачи и упражнения различной степени сложности. Задачи, решение которых автору неизвестно, отмечены звездочкой. Содержит исторический и библиографический комментарий.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики.
С о д е р ж а н и е.
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 грн., Вы получите уведомление о том, что Ваша автоставка перебита.
Комментарии 1