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

Продукти
КНИГИ
+
8,95 лв.
  • Издателство: Наука
КУПИ с регистрация ИЛИ с БЪРЗА поръчка
Моля, изберете:
Продуктът е успешно добавен в количката

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

 

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

 

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

 

Твърда корица, среден формат  |  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
Отстъпки, доставка, плащане

Непотвърдена от клиента по телефона поръчка, не се обработва! (след 3 дни опити за връзка с клиента се анулира)

 

Отстъпки, доставка, плащане

При покупка на стойност:

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

 

Срок за доставка до офис на  Еконт или Спиди: Поръчваш днес, получаваш утре!

 

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

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

 

 

Поръчки направени до 17.00 ч. в делничен ден - за София и страната, обикновено се изпращат в същия ден и се доставят на следващия, или според графика на куриерската фирма. При пристигането на пратката в офиса на Еконт клиентите, направили поръчка с регистрация, получават имейл и SMS, а с "Бърза поръчка" - само SMS. 

 

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

Ако книгата или книгите не отговарят на описаното състояние при поръчката, то той се освобождава от заплащане на пратката в двете посоки, след разговор по телефона с подателя.

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

 

 

За София - лично предаване

 

Среща с предварителна уговорка на две места в кв. Орландовци:

1. За пристигащите с трамвай (№ 3, 4 или 18): трамвайна спирка "Католически гробищен парк" (виж на картата) около 7-9 мин от пл. Лъвов мост.

2. За пристигащите с автомобил: кв. Орландовци, ул. Железопътна 18, пред магазин Билла (виж на картата) 

Предимствата на този начин за получаване: възможност за внимателно разглеждане на книгите, получаване в същия ден и спестяване на пощенските разходи.

 

 

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

 

Български пощи

 

След уточняване на всички подробности и потвърждение от страна на клиента.

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