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

Что такое математическая логика (1964 г.)

  • Издателство: Наука

Что такое математическая логика (1964 г.)

  • Издателство: Наука

Какво е математическа логика (книга на руски език)

Л. А. Калужнин  (автор) 

антикварни книги   |   математическа логика  (етикети)

Издателство:   Наука
Език: руски език
Раздел: Математика

 

Твърда корица, среден формат   |   152 стр.   |   204 гр.

(неизползвана, отчислена от библиотека книга - без заглавна страница, леко захабен вид)

Описание
Характеристики
Условия за пазаруване
Описание +

ПРЕДИСЛОВИЕ

Эта книга популярно излагает основы математи­ческой логики. Необходимость такой книги вызвана тем, что в настоящее время все большее значение приобретает автоматизация производственных процессов. Программа КПСС прямо указывает на важность автоматизации для создания материально-технической базы коммунизма. Ма­тематическая логика является теоретической основой ки­бернетики, а эта последняя в свою очередь применяется для решения проблем автоматизации.

Несмотря на важность математической логики, в на­шей стране почти нет книг, излагающих основы этой нау­ки. Имеющиеся у нас книги по математической логике рассчитаны на читателя, достаточно математически под­готовленного. Между тем необходимо создать такую кни­гу, которая давала бы представление о математической логике и в то же время не требовала бы для своего пони­мания большего, чем школьный курс математики. Данная книга, по-моему, решает эту задачу.

Конечно, в рамках данной книги невозможно исчер­пывающе ответить на вопрос: что такое математическая логика? Но мне кажется, что, прочтя данную книгу, читатель сможет составить себе некоторое представление о том, чем занимается эта наука, и о проблемах, возни­кающих в ней.

Книга состоит из трех глав. В главе I строится ло­гика высказываний как теория булевых функций, т. е. функций, аргументы которых принимают два значения — «истинно» и «ложно», и которые сами принимают эти же два значения. В этой главе показано также применение логики высказываний в теории автоматов и в теории ре-лейно-контактных схем.  В   главе II рассматриваются тождественно истинные формулы логики высказываний. В главе III излагается логика предикатов, являющаяся бо­лее глубокой областью логики. Естественно, что под­робное рассмотрение логики предикатов в рамках неболь­шой популярной книги невозможно; поэтому основное внимание уделено операциям логики предикатов (в част­ности, кванторам), а также применению логики предика­тов в силлогистике Аристотеля и для формализации мате­матических теорий.

В заключение приведен очерк развития исследований по основаниям математики. Разумеется, он не претендует на полноту, но, по-видимому, представляет интерес не только для впервые знакомящихся с математической ло­гикой, но и для тех, кто владеет основами этой науки.

В конце книги читатель найдет список литературы, которая позволит ему глубже ознакомиться с современ­ными достижениями в области математической логики. Большинство из указанных в этом списке книг и статей достаточно трудны для неподготовленного читателя и потребуют от него упорной работы.

Автор

**

ОГЛАВЛЕНИЕ
 
Предисловие 8
Введение о
 
Глава первая
Логика высказываний 8
 
§ 1. Элементы логики высказываний 8
§ 2. Логические операции 11
§ 3. Булевы функции   20
§ 4. Нормальные формы. Алгебра Буля 30
§ 5. Применения алгебры логики в теории релейно-контактных схем и в теории автоматов   .... 38
 
Глава вторая
Тождественно истинные формулы логики высказываний 50
 
§ 1. Значение тождественно истинных формул для логики высказываний 50
§ 2. Примеры тождественно истинных формул логики высказываний 57
§ 3. Формальный вывод тождественно истинных формул логики высказываний 60
 
Глава третья
Логика предикатов 71
 
§ 1. Предикаты 71
§ 2. Применение операций логики высказываний к предикатам 85
§ 3. Кванторы 89
§ 4. Преобразования   формул   логики предикатов. Предваренная нормальная форма 96
§ 5. Суждения и силлогизмы 101
§ 6. Применение выражений логики предикатов для описания некоторых отношений 120
 
Заключение
Основания математики и  математическая логика . .130
Литература 149

 

Характеристики +
В наличност:
Да
Език
руски
Автор
Л. А. Калужнин
Издателство
Наука
Етикети
антикварни книги, математическа логика
Град
Москва
Година
1964
Страници
152
Състояние
неизползвана книга
ЗАБЕЛЕЖКА
отчислена от библиотека книга - без заглавна страница, леко захабен вид
Националност
руска
Антикварна книга
Да
Корица
твърда
Формат
среден
Ширина (мм)
130
Височина (мм)
200
Дебелина (мм)
14
Тегло (гр.)
204
Условия за пазаруване +

Поръчките се обработват след потвърждение от клиента по телефона!

(при неуспешен опит за връзка с клента по телефона в рамките на три работни дни се анулира)

 

  • 5 лв. - минимална стойност на покупка в сайта (не важи за покупка с лично предаване)
  • 10% - отстъпка при покупка на стойност над 20 лв. , видима в процеса на пазаруване.
  • 5 лв. - доставка до офис на Еконт, над 60 лв. - безплатна доставка.
  • 6 лв. - доставка до адрес с Еконт, независимо от теглото на книгите и стойността на поръчката
  • 5 лв. - при поръчка от 20 до 60 лв. - доставка до офис на Спиди, поръчки под 20 лв. се доставят само с Еконт. Над 60 лв. - безплатна доставка.
  • 6 лв. - поръчки над 20 лв. - доставка до адрес със Спиди, независимо от теглото на книгите и стойността на поръчката. Поръчки под 20 лв. се доставят само с Еконт.

 

За клиенти с поне три покупки, закупили книгите си с регистрация, може да се определи персонална отстъпка с код за отстъпка, за бъдещо пазаруване, независимо от стойността на покупката.

За пазаруващите само с "Бърза поръчка", не се предлага код за постоянна отстъпка, поради невъзможността да бъде вписан такъв.

 

Поръчки направени до 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)

 

 

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

Weight (gram)

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

Neighboring countries

Европа

All other European countries

Извън Европа

Outside European countries
 

151 - 250

11.40

13.10

15.10

251 - 350

12.60

14.60

16.90

351 - 500

14.60

17.60

20.60

501 - 1000

14.50

24.60

29.60

1001 - 2000

20.10

37.60

41.60

2001 - 3000

36.60

46.60

51.60

3001 - 4000

43.60

55.60

63.60

4001 - 5000

51.60

61.60

74.60

 

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

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