Какво е математическа логика (книга на руски език)
Автор: | Л. А. Калужнин |
Издателство: | Наука |
Език: | Руски |
Раздел: | Математика |
Етикет: | Антикварни книги | Математическа логика |
Твърда корица, 130 х 200 х 14 мм | 152 стр. | 204 гр.
Забележка: неизползвана, отчислена от библиотека книга - без заглавна страница, леко захабен вид.
ПРЕДИСЛОВИЕ
Эта книга популярно излагает основы математической логики. Необходимость такой книги вызвана тем, что в настоящее время все большее значение приобретает автоматизация производственных процессов. Программа КПСС прямо указывает на важность автоматизации для создания материально-технической базы коммунизма. Математическая логика является теоретической основой кибернетики, а эта последняя в свою очередь применяется для решения проблем автоматизации.
Несмотря на важность математической логики, в нашей стране почти нет книг, излагающих основы этой науки. Имеющиеся у нас книги по математической логике рассчитаны на читателя, достаточно математически подготовленного. Между тем необходимо создать такую книгу, которая давала бы представление о математической логике и в то же время не требовала бы для своего понимания большего, чем школьный курс математики. Данная книга, по-моему, решает эту задачу.
Конечно, в рамках данной книги невозможно исчерпывающе ответить на вопрос: что такое математическая логика? Но мне кажется, что, прочтя данную книгу, читатель сможет составить себе некоторое представление о том, чем занимается эта наука, и о проблемах, возникающих в ней.
Книга состоит из трех глав. В главе I строится логика высказываний как теория булевых функций, т. е. функций, аргументы которых принимают два значения — «истинно» и «ложно», и которые сами принимают эти же два значения. В этой главе показано также применение логики высказываний в теории автоматов и в теории ре-лейно-контактных схем. В главе II рассматриваются тождественно истинные формулы логики высказываний. В главе III излагается логика предикатов, являющаяся более глубокой областью логики. Естественно, что подробное рассмотрение логики предикатов в рамках небольшой популярной книги невозможно; поэтому основное внимание уделено операциям логики предикатов (в частности, кванторам), а также применению логики предикатов в силлогистике Аристотеля и для формализации математических теорий.
В заключение приведен очерк развития исследований по основаниям математики. Разумеется, он не претендует на полноту, но, по-видимому, представляет интерес не только для впервые знакомящихся с математической логикой, но и для тех, кто владеет основами этой науки.
В конце книги читатель найдет список литературы, которая позволит ему глубже ознакомиться с современными достижениями в области математической логики. Большинство из указанных в этом списке книг и статей достаточно трудны для неподготовленного читателя и потребуют от него упорной работы.
Автор
**
Моля, след направена поръчка, очаквайте обаждане по телефона за потвърждение!
За клиенти с поне три покупки (закупили продуктите си с регистрация), може да се определи постоянна персонална отстъпка с код за отстъпка за бъдещо пазаруване, независимо от стойността на покупката.
За пазаруващите само с "Бърза поръчка", не се предлага код за постоянна отстъпка.
Поръчки направени до 17.00 ч. в делничен ден - за София и страната, обикновено се изпращат в същия ден и се доставят на следващия, или според графика на куриерската фирма. При пристигането на пратката в офиса на Еконт клиентите, направили поръчка с регистрация, получават имейл и SMS, а с "Бърза поръчка" - само SMS.
След преглед на пратката в присъствието на куриера, се заплаща наложен платеж. Към книгите от всяка поръчка се издава фискален бон, а при заявено желание и опростена фактура, както на фирми, така и на физически лица.
Ако доставеното не отговаря на описаното състояние при поръчката, то клиента се освобождава от заплащане на пратката в двете посоки, след разговор по телефона с подателя.
Ако клиента след преглед прецени, че доставеното не му е необходимо, то той следва да го върне на подателя, като заплати пощенските разходи в двете посоки.
За София - лично предаване
Среща с предварителна уговорка на две места в кв. Орландовци:
1. За пристигащите с трамвай (№ 3, 4 или 18): трамвайна спирка "Католически гробищен парк" (виж на картата) около 7-9 мин от пл. Лъвов мост.
2. За пристигащите с автомобил: кв. Орландовци, ул. Железопътна 18, пред магазин Билла (виж на картата)
Предимствата на този начин за получаване: възможност за внимателно разглеждане на книгите, получаване в същия ден и спестяване на пощенските разходи.
Foreign orders will be accepted after 01.10.2024.
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
Тегло (грама) 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 |