Всички категории
Каталог
КНИГИ
Каталог
КНИГИ

Математическая логика (1975)

  • Издателство: Высшая школа

Математическая логика (1975)

  • Издателство: Высшая школа
Цена
9,95 лв.

Математическа логика - учебно помагало на руски език за студенти от педагогическите институти.

Автор:  
С. Л. Эдельман
Издателство:   Высшая школа
Език:   Руски
Раздел:   Математика
Година:   1975
Страници:   176
Корица:   Мека, среден формат
Размери (мм):   130 х 200 х 10
Тегло (грама):   147
Етикет:   Математическа логика

 

Забележка: неизползвана книга с отлично книжно тяло и незначително захабен външен вид.

Описание
Характеристики
Доставка
Описание +

Допущено Министерством просвещения СССР в качестве учебного пособия для студентов педагогических институтов.

*

АННОТАЦИЯ

Учебное пособие соответствует программе курса «Математи ческая логика» для пединститутов. Рассматривается теория ал­гебры высказываний, алгебры предикатов, исчисления высказы ваний и предикатов. Изложение сопровождается рядом приме ров, способствующих усвоению логики математических методов Включены задачи и упражнения по каждому из разделов. Предназначается для студентов пединститутов.

*

ОГЛАВЛЕНИЕ
 
Введение 4
 
Глава I. Алгебра высказываний
§ 1. Понятие о высказывании и предикате 8
§ 2. Операции над высказываниями 13
§ 3. Отношение эквивалентности 14
§ 4. Необходимые и достаточные условия. Взаимно обратные и взаимно противоположные теоремы 30
§ 5. Закон двойственности 34
§ 6. Нормальные формы 36
§ 7. Проблема разрешения 45
§ 8. Понятие  выводимости 48
§ 9. Применение алгебры высказываний для анализа и синтеза переключательных схем 52
 
Глава II. Алгебра предикатов
§ 1. Понятие модели и язык теории моделей 60
§ 2. Понятие формулы алгебры предикатов 71
§ 3. Отношение эквивалентности 79
§ 4. Проблемы общезначимости и выполнимости формул   85
§ 5. Понятие выводимости 93
§ 6. Классы алгебраических моделей 112
 
Глава III. Исчисление высказываний и предикатов
§ I. Язык исчисления высказываний, аксиомы, правила вывода   127
§ 2. Отношения эквивалентности 142
§ 3. Метатеория исчисления  высказываний 150
§ 4. Исчисление предикатов  157
 
Ответы к упражнениям 164
Список обозначений 171
Литература 172
Предметный указатель 173

 

Характеристики +
В наличност
Да
Език
Руски
Автор (А-Я)
С. Л. Эдельман
Издателство (А-Я)
Высшая школа
Етикет
Математическа логика
Град
Москва
Година
1975
Страници
176
Състояние
неизползвана книга
ЗАБЕЛЕЖКА
книга с отлично книжно тяло и незначително захабен външен вид
Националност
руска
Корица
мека
Формат
среден
Размери (мм)
130 х 200 х 10
Тегло (грама)
147
Доставка +

 

Моля, след направена поръчка, очаквайте обаждане по телефона за потвърждение!

  • 5.00 лв. - минимална стойност на покупка в сайта (не важи за покупка с лично предаване)
  • 5.50 лв. - доставка до офис на Еконт или Спиди, над 60 лв. - безплатна доставка.
  • 7.50 лв. - доставка до адрес с Еконт или Спиди.
  • 0 лв. - лично предаване за клиенти от София (виж по-долу)
  • 10% - отстъпка при покупка на стойност над 30 лв., видима в процеса на пазаруване.
 
За клиенти с поне три покупки (закупили продуктите си с регистрация), може да се определи постоянна персонална отстъпка с код за отстъпка за бъдещо пазаруване, независимо от стойността на покупката.
 
За пазаруващите само с "Бърза поръчка", не се предлага код за постоянна отстъпка.
 
Поръчки направени до 17.00 ч. в делничен ден - за София и страната, обикновено се изпращат в същия ден и се доставят на следващия, или според графика на куриерската фирма. При пристигането на пратката в офиса на Еконт клиентите, направили поръчка с регистрация, получават имейл и SMS, а с "Бърза поръчка" - само SMS. 
 
След преглед на пратката в присъствието на куриера, се заплаща наложен платеж. Към книгите от всяка поръчка се издава фискален бон, а при заявено желание и опростена фактура, както на фирми, така и на физически лица.
 
Ако доставеното не отговаря на описаното състояние при поръчката, то клиента се освобождава от заплащане на пратката в двете посоки, след разговор по телефона с подателя.
 
Ако клиента след преглед прецени, че доставеното не му е необходимо, то той следва да го върне на подателя, като заплати пощенските разходи в двете посоки.
 
За София - лично предаване
 
Среща с предварителна уговорка на две места в кв. Орландовци:
 
1. За пристигащите с трамвай (№ 3, 4 или 18): трамвайна спирка "Католически гробищен парк" (виж на картата) около 7-9 мин от пл. Лъвов мост.
 
2. За пристигащите с автомобил: кв. Орландовци, ул. Железопътна 18, пред магазин Билла (виж на картата) 
 
Предимствата на този начин за получаване: възможност за внимателно разглеждане на книгите, получаване в същия ден и спестяване на пощенските разходи.
 

За чужбина (for abroad) 

 
Bulgarian Post / Български пощи /Neighboring countries - Greece, Republic of North Macedonia, Roumanie, Serbie, Turquie)
Bulgarian Post / Български пощи - All other European countries
Bulgarian Post / Български пощи - Outside European countries
 
ЦЕНИ ЗА ТЕГЛО НА ПРАТКИ С ПРЕДИМСТВО И ПРЕПОРЪКА - ЦЕНА (лева) 
PRICES FOR WEIGHT OF SHIPMENTS WITH ADVANTAGE AND RECOMMENDATION - PRICE (BGN)
EUR/BGN - 0.51 (1 EUR = 1.95583 BGN)

PAYMENT BY REVOLUT, BANK PAYMENT OR WESTERN UNION

Цените влизат в сила от 01.12.2024 г.

Тегло (грама)

Weight (gram)

Съседни държави

Neighboring countries

Европа

All other European countries

Извън Европа

Outside European countries
 

151 - 250

12.10

13.60

15.20

251 - 350

14.05

15.65

16.90

351 - 500

15.60

18.15

20.60

501 - 1000

20.90

26.05

29.60

1001 - 2000

30.10

38.60

41.60

2001 - 3000

38.10

48.10

51.60

3001 - 4000

46.40

58.60

63.60

4001 - 5000

54.60

63.60

74.60

Продукти от същата категория

Ревюта

( )
Оценете

Математическая логика (1975)

Вашата оценка
Име:
Заглавие на ревюто:
Мнение:

Грешка при изпращане на оценката.

Все още няма ревюта за този продукт
Добави Ревю

Вашето ревю беше изпратено успешно!

Бърза поръчка Без формалности
Вашата поръчка е приета. Очаквайте обаждане!