Книги почтой booksiti.net.ru  (499)2130422

    есть на складе                                                                       
СКИДКИ - РАСПРОДАЖА

 (499) 213 04 22
ВСЕ РАЗДЕЛЫ ВСЕ РАЗДЕЛЫ
Разное Разное

Наименование:

Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций

Автор:   Козмидиади В.А.
мягкая обложка
432 страниц
1970 год
Издательство:   ЁЁ Медиа
Цена:
1502 руб
отсутсвует
на складе

способы доставки и оплаты
Описание:Воспроизведено в оригинальной авторской орфографии издания 1970 года (издательство "Мир"). Эти работы посвящены оценкам сложности алгоритмов и вычислений, классификациям рекурсивных функций и различным типам вычислительных устройств, связанных с такими классификациями. В ряде работ изучаются множества слов, распознаваемых обобщенными автоматами, причем обнаруживаются связи с грамматиками, введенными в работах Н. Хомского. Книга рассчитана на лиц, интересующихся современными проблемами математической логики, теории алгоритмов, теории автоматов, математической лингвистики и теории вычислительных машин. Сборник содержит работы по актуальным проблемам математической логики, еще не получившим достаточного освещения в отечественной литературе. В частности, значительное место занимают исследования «ограниченных» машин Тьюринга и обобщений конечных автоматов.


Orthomol Immun Junior Сила иммунитета на страже Вашего ребенка Orthomol Immun Junior Сила иммунитета на страже Вашего ребенка

2990 руб
Бесплатная доставка


Большая Советская Энциклопедия (ТЬ)

Тьюринг Алан Матисон Тью'ринг (Turing) Алан Матисон (23.6.1912, Лондон, — 7.6.1954, Уилмслоу, близ Манчестера), английский математик. Член Королевского общества (1951). По окончании Кембриджского университета (1935) работал над докторской диссертацией в Принстонском университете в США (1936— 1938). В 1939—45 сотрудник Британской иностранной службы, в 1945—48 — Национальной физической лаборатории, в 1948—54 — Манчестерского университета. Основные работы по математической логике и вычислительной математике; в 1936—1937 ввёл математическое понятие уточнённого абстрактного эквивалента алгоритма, или вычислимой функции (получившее впоследствии название Тьюринга машина); в последние годы жизни работал над математическими проблемами биологии.   Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; Машины Тьюринга и рекурсивные функции, пер. с нем., М., 1972; Трахтенброт Б. А., Алгоритмы и вычислительные автоматы, М., 1974; Апокин И. А., Майстров Л. Е., Развитие вычислительных машин, М., 1974. Тьюринга машина Тью'ринга маши'на, название, закрепившееся за абстрактными (воображаемыми) «вычислительными машинами» некоторого точно охарактеризованного типа, дающими пригодное для целей математического рассмотрения уточнение общего интуитивного представления об алгоритме ...»

Код для вставки книги в блог
HTML

phpBB

текст

Магнитно-маркерная доска, 53x41 см.
Магнитно-маркерная доска из дерева и металла, предназначена для детей от 3-х лет. Двухстороннее жесткое игровое поле заключено в рамку из
578 руб
Раздел: Доски магнитно-маркерные
Горшок эмалированный с крышкой, 1,5 л.
Горшок эмалированный, с крышкой. Объем: 1,5 литра.
359 руб
Раздел: Горшки обычные
Кружка "Лучший Папа", с рисунком.
Качественные керамические кружки с оригинальным рисунком, выполненным в процессе производства (подглазурное нанесение). Упаковка: белый
372 руб
Раздел: Кружки


Вводный курс математической логики
Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
          320 руб             2007 год          128 стр.          мягкая обложка

Русская вероятностная логика. Азбука математической логики
Для широкого круга читателей.
          176 руб             2009 год          320 стр.          твердый переплет

Философские проблемы многозначной логики
Исследуются философские вопросы многозначных исчислений высказываний; отдельная глава посвящена исчислению предикатов.
          218 руб             2010 год          144 стр.          мягкая обложка

Элементы математической логики и теории множеств
          992 руб             1968 год          143 стр.          мягкая обложка

Решение задач математической логики с использованием элементарной алгебры
Предложена методика автоматизированного определения коэффициентов алгебраических выражений, устанавливающих упомянутые зависимости.
          251 руб             2004 год          80 стр.          мягкая обложка

Азбука математической логики. №78
Для этого в первую очередь вводится и уточняется ряд несложных, но очень важных понятий (структура, система, модель и т. д. ), а затем эти понятия связываются с некоторыми уже установившимися терминами математики (такими, например, как функция, аргумент).
          217 руб             2016 год          104 стр.          мягкая обложка

Проблемы математической истории. Историческая реконструкция, прогнозирование, методология
Это направление дает новые возможности для количественного анализа социально-экономических систем, исторической реконструкции, стратегического прогноза, описания альтернативных исторических траекторий.
          380 руб             2016 год          248 стр.          мягкая обложка

Проблемы математической истории. Математическое моделирование исторических процессов
В ее основе лежат математическое моделирование исторических процессов, новые информационные технологии и теория самоорганизации (синергетика).
          380 руб             2008 год          208 стр.          мягкая обложка

Шпаргалка по математической логике
          27 руб             2009 год          64 стр.          мягкая обложка

Задачи и упражнения по математической логике и теории алгоритмов. Гриф МО РФ
В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.
          2 руб             2007 год          304 стр.          твердый переплет

Справочная книга по математической логике. Часть 3. Теория рекурсии
В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книга.
          865 руб             1982 год          360 стр.          мягкая обложка

Теоретические проблемы искусства. Логика, психология, эстетика, социология
          541 руб             2018 год          328 стр.          твердый переплет

Математическая логика и теория алгоритмов. Учебное пособие для ВУЗов
          261 руб             2005 год          448 стр.          твердый переплет

Предложение и его смысл: Логико-семантические проблемы Изд. 3-е, стереотип. - 384 с. {Лингвистическое наследие ХХ века} ISBN 5-354-00340-7 ~93.05.21 737
          277 руб             `03 год

Курс лекций. Задачник-практикум и решения Математическая логика.
Учебное пособие предназначено для студентов университетов и педагогических ВУЗов, изучающих математическую логику.
          455 руб             2009 год          288 стр.          твердый переплет

Логика в следственной и экспертной деятельности: проблемы применения и оценка
Кроме того, в работе рассмотрены некоторые вопросы назначения экспертиз на досудебном следствии, проблемные аспекты оценки выводов эксперта следователем, осуществлена классификация принципов и охарактеризована процедура оценки заключения эксперта, исследован психологический фон интуитивных умозаключений и приведено авторское видение возможностей использования данного познавательного средства в ходе раскрытия и расследования преступлений.
          146 руб             2005 год          112 стр.          мягкая обложка

Математическая логика и теория алгоритмов. Гриф МО РФ
Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
          2 руб             2008 год          448 стр.          твердый переплет

Учебное пособие для студентов высших учебных заведений. Гриф МО РФ Математическая логика и теория алгоритмов.
Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
          696 руб             2010 год          448 стр.          твердый переплет

Введение в математическую логику
Эта монография принадлежит перу одного из самых известных специалистов в области математической логики.
          496 руб             2009 год          480 стр.          мягкая обложка

Математическая логика и теория алгоритмов. Гриф УМО вузов России
Приведены примеры алгоритмически неразрешимых проблем.
          492 руб             2008 год          343 стр.          твердый переплет

Труды ИСА РАН. Модели и методы решения. Новые идеи Оптимизация, идентификация, теория игр. Том 61/2011. Выпуск 4: Математические проблемы динамики неоднородных систем.
Приводится описание инструментов количественной оценки состояния гражданского общества в регионах РФ. Представлено описание программного обеспечения.
          445 руб             2011 год          124 стр.          мягкая обложка

Проблемы гидродинамики и их математические модели
          992 руб             1973 год          417 стр.          мягкая обложка

Математическая логика. Введение в математическую логику
Авторы настоящей книги - А. Н. Колмогоров и А. Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики.
          556 руб             2013 год          240 стр.          твердый переплет

Современные проблемы теории познания, или логики разумного мышления. Книга 4 Введение в науку философии.
Научное познание есть в своей сущности разумное мышление.
          349 руб             2013 год          304 стр.          мягкая обложка

Математическая логика и теория алгоритмов
Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях математики.
          952 руб             1982 год          176 стр.          мягкая обложка

Введение в математическую логику
Воспроизведено в оригинальной авторской орфографии издания 1959 года (издательство "издательство ленинградского университета").
          1185 руб             1959 год          109 стр.          мягкая обложка

Трудные времена философии. В мире логики - математической и философской. № 28 Математическая логика: Логика и философия в первые послесталинские годы.
Читатель прочтет рассказ о спорах вокруг логики, о развитии историко-логических исследований.
          494 руб             2014 год          264 стр.          мягкая обложка

Проблемы устойчивости, управляемости и наблюдаемости Математические методы теории управления.
Книга содержит как параграфы, содержащие основные положения соответствующих разделов, так и многочисленные задачи по теории автоматического управления и смежным вопросам.
          843 руб             2014 год          200 стр.          твердый переплет

Математическая логика и теория алгоритмов
Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики.
          272 руб             2016 год          128 стр.          мягкая обложка

Математические принципы нечеткой логики
Помимо логики в книге рассматриваются примеры формальных конструкций фраз естественного языка и неформальных схем построения умозаключений.
          570 руб             2006 год          352 стр.          твердый переплет

НОВЫЙ ГОД


на главную

 (499) 213 04 22

Интернет магазин Книги почтой booksiti.net.ru, все книги Вы можете приобрести наложенным платежом, сделав заказ на сайте. Большой выбор литературы по бизнесу, экономике, праву. Техническая научная литература. Детские книги и учебники для школы. Медицинские издания. Художественная литература. Сайт booksiti.net.ru это интернет-магазин литературы, который успешно работает на книжном рынке уже 3 года. Ведущим методом работы является рассылка литературы наложенным платежом в регионы. В крупных издательствах наложенным платежом книги не отправляют, а что делать покупателю, дабы гарантированно получить свой заказ? При отправке наложенным платежом заказ оплачивается при получении на почте, что важно для розничного покупателя. Ведь не все необходимые для работы книги можно купить в родном городе. Если вы всю жизнь идёте по пути самосовершенствования и саморазвития, то на сайте booksiti.net.ru вы обязательно найдете для себя новые и интересные книги.