Книга: Шиханович Ю.А. «Логические и математические исчисления»

Логические и математические исчисления

Серия: "-"

В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления. От читателя требуется владение материалом книги Ю. А. Шихановича&# 171;Введение в математику&# 187; (М:&# 171;Научный мир&# 187;, 2005). Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю. А. Шихановича&# 171;Минимум по теории алгоритмов для нематематиков&# 187; (М:&# 171;Научный мир&# 187;, 2009).

Издательство: "Научный мир" (2011)

ISBN: 978-5-91522-246-4

Купить за 569 руб в My-shop

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Минимум по теории алгоритмов для нематематиковВ предлагаемом учебном пособии изложены самые начала теории алгоритмов - базисные понятия теории… — Научный мир, - Подробнее...2009445бумажная книга
Начальные главы математического анализа в полуформальном изложенииВ предлагаемом пособии подробно изложены три базисных понятия математического анализа - предел… — Научный мир, - Подробнее...2010757бумажная книга
Введение в математику. Для нематематиковПо первоначальному замыслу книга предназначалась в качестве учебного пособия к курсу “Введение в… — URSS, Книга для школьников... И не только! Подробнее...2019600бумажная книга
Введение в математику. Для нематематиковПо первоначальному замыслу книга предназначалась в качестве учебного пособия к курсу “Введение в… — URSS, Книга для школьников... И не только! Подробнее...2019929бумажная книга
Введение в математику. Для нематематиковПо первоначальному замыслу книга предназначалась в качестве учебного пособия к курсу Введение в математику… — URSS, Книга для школьников... И не только! Подробнее...2019776бумажная книга

См. также в других словарях:

  • ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич …   Математическая энциклопедия

  • Математические обозначения — Список используемых в математике специфических символов можно увидеть в статье Таблица математических символов Математические обозначения («язык математики»)  сложная графическая система обозначений, служащая для изложения абстрактных… …   Википедия

  • СЕМИОТИКА — СЕМЕИОЛОГИЯ, СЕМИОТИКА (греч. semeion знак, и logos слово). 1) часть медицины, трактующая о признаках болезней, учащая распознавать болезни по их признакам. 2) объяснение посредством знаков. Словарь иностранных слов, вошедших в состав русского… …   Словарь иностранных слов русского языка

  • СЕМИОТИКА —         (семиология) (от греч. знак)         наука о знаках и знаковых системах, знаковом (использующем знаки) поведении и знаковой лингвистич. и нелингвистич. коммуникации.         Совр. С. получила исходные импульсы в трудах амер. философа Ч.… …   Энциклопедия культурологии

  • Семиотика — – 1. общее название комплекса научных теорий, изучающих различные свойства знаковых систем (естественный, разговорный язык, языки программирования, символика в физике и химии, логические и математические исчисления и др.). Основными аспектами… …   Энциклопедический словарь по психологии и педагогике

  • Юрий Александрович Шиханович — родился в 1933 году в Киеве (Украина). Получил математическое образование. Кандидат педагогических наук (1966). Несколько лет преподавал математику на отделении структурной/теоретической и прикладной лингвистики Московского государственного… …   Энциклопедия ньюсмейкеров


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»