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

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

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

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

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

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

Автор: Л. А. Калужнин
Издателство:   Наука
Език: Руски
Раздел: Математика
Етикет: Антикварни книги   |   Математическа логика 

 

Твърда корица, 130 х 200 х 14 мм   |   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.00 лв. - минимална стойност на покупка в сайта (не важи за покупка с лично предаване)
  • 5.00 лв. - доставка до офис на Еконт или Спиди, над 60 лв. - безплатна доставка.
  • 6.50 лв. - доставка до адрес с Еконт или Спиди, независимо от теглото и стойността на пратката.
  • 0 лв. - лично предаване за клиенти от София (виж по-долу)
  • 10% - отстъпка при покупка на стойност над 20 лв. , видима в процеса на пазаруване.

 

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

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

 

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

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

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

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

 

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

 

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

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

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

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

 

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

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

 

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

Ревюта

( )
Оценете

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

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

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

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

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

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