Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 686039)
Контекстум
  Расширенный поиск
510

Фундаментальные и общие проблемы математики. Основания математики, математическая логика


← назад
Результаты поиска

Нашлось результатов: 122 (2,95 сек)

Свободный доступ
Ограниченный доступ
Уточняется продление лицензии
1

Информатика и информация: знаково-символьный аспект [монография]

Автор: Бубнов В. А.
М.: Лаборатория знаний

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

а также общий с китайцами торговый русский язык. <...> .: «Русский язык», 1978. — С. LXXVI–LXXVIII. 27. Джевонс В. С. Основы науки. Русский перевод М. <...> а также общий с китайцами торговый русский язык. <...> .: «Русский язык», 1978. — С. LXXVI–LXXVIII. 27. Джевонс В. С. Основы науки. Русский перевод М. <...> а также общий с китайцами торговый русский язык.

Предпросмотр: Информатика и информация знаково-символьный аспект (2).pdf (0,2 Мб)
2

Технологии программирования и компьютерный практикум на языке Python учеб. пособие

Автор: Карякин М. И.
Ростов н/Д.: Изд-во ЮФУ

Пособие содержит теоретический материал, а также варианты индивидуальных и проектных заданий, связанных как с основными разделами языка программирования Python (функции, строки, списки и т. п.), так и с использованием распространенных библиотек научного программирования — Numpy, Matplotlib, Pandas. В качестве средства выполнения заданий предполагается использование среды Jupyter Notebook.

Его перевод на русский язык можно посмотреть, например, в [28]. <...> , единого удачного перевода на русский язык это словосочетание пока не нашло. 111 Copyright ООО «ЦКБ <...> Проверьте, отображаются ли в заголовке и метках русские буквы. 2. <...> Исследуйте возможность добавления на график текстов и пояснений на русском языке. 3. <...> Представить выбранный набор данных с подробным описанием на русском языке.

Предпросмотр: Технологии программирования и компьютерный практикум на языке Python.pdf (0,5 Мб)
3

История математики. Европа XVII - начало XVIII вв. Краткий очерк [учеб. пособие]

Автор: Полякова Т. С.
Ростов н/Д.: Изд-во ЮФУ

Материал учебного пособия основан на лекциях, прочитанных автором в Южном федеральном университете по магистерской программе «Математическое образование» в рамках курса «История математики и математического образования в России». Учебное пособие содержит два модуля, в первом из которых изложена краткая история развития европейской математики XVII-начала XVIII вв.; второй модуль представляет собой биографический справочник выдающихся персоналий в области математики, создавших математику переменных величин. В приложениях представлены контрольно-измерительные материалы для входного и итогового контроля.

Оригинал и русский перевод титула представлен ниже в следующем виде. <...> , как русских, так и иноземцев; • образчики языков русского государства; • русский словарь, славянскую <...> грамматику, древние исторические сочинения на русском языке; • религиозную литературу на русском языке <...> С. 725]; подлинный указ на русском языке хранится в Ганноверской библиотеке. <...> Какой из китайских математических трактатов переведен на русский язык: а) Правила веревки, б) Трактат

Предпросмотр: История математики. Европа XVII - начало XVIII века.pdf (0,2 Мб)
4

От абака до кубита

Автор: Альбов Александр
СПб.: Страта

Когда древние люди научились считать и считали на пальцах, пришла и необходимость в приспособлениях для облегчения этого труда. Так, от дощечек с зарубками, узелков и счётных палочек, от механических счётных машин к электронным, вместе с неотвратимостью автоматизировать гигантские объёмы вычислений и виртуальной свободой человечество добралось до сетевых технологий. Кто помнит сейчас о первопроходцах, проложивших человечеству путь в современное цифровое настоящее? Автор книги совершает экскурс в историю и популярно рассказывает об этапах развития идеи инструментального счета от античности до наших дней, описывает логику развития вычислений и приходит к выводу: с появлением квантовых компьютеров круг завершится...

Мы все говорим на одном языке языке математики. <...> Кстати, первая публикация на русском языке, относящаяся к логарифмическим линейкам (1837), была посвящена <...> ЭВМ — термин, который сейчас вытеснен в русском языке английским словом «компьютер». <...> Кстати, первая публикация на русском языке, относящаяся к логарифмическим Шкала логарифмической линейки <...> языка.

Предпросмотр: От абака до кубита.pdf (0,1 Мб)
5

История математики

Автор: Бурлакова Татьяна Вячеславовна
Издательство Шуйского филиала ИвГУ

Учебно-методические материалы предназначены для организации самостоятельной работы студентов образовательной программы Математика; Информатика по направлению подготовки 44.03.05 Педагогическое образование (с двумя профилями подготовки).

Язык вселенной» (материалы о развитии математики в Древнем Вавилоне). <...> Язык вселенной» (материалы о развитии математики в Древнем Египте). <...> Язык вселенной» (материалы о развитии математики в Древней Греции). <...> Язык вселенной. Электронный ресурс: https://www.youtube.com/watch? <...> Великий русский математик П. Л.

Предпросмотр: История математики.pdf (0,7 Мб)
6

Прикладная логика учеб. пособие

Автор: Непейвода Н. Н.
М.: Директ-Медиа

Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA. Предыдущие версии книги выпущены издательствами УдГУ, 1997 (1-е издание); НГУПресс, 2000 г. (2-е издание, исправленное и дополненное).

Стандартные русские кавычки, заимствованне из немецкого языка: " " — оскорбля т математический вкус автора <...> И как последний трих: русский язык настолько велик и могуч, что в отдельных случаях высказывания, имеющие <...> СИНТАКСИС ЛОГИЧЕСКОГО ЯЗЫКА Программист высочайшего класса, обладавший, вдобавок, в лучших русских тра <...> Множество литературы по языку Пролог имеется на русском языке, и поэтому нет смысла излагать его подробно <...> Перевести пример Клопа на русский язык (так, чтобы в терме читалась русская фраза с аналогичным значением

Предпросмотр: Прикладная логика учебное пособие.pdf (0,7 Мб)
7

Нечеткая логика

Автор: Ланге Феликс
СПб.: Страта

Нечёткая логика — раздел математики, обобщающий классическую логику и теорию множеств. В книге рассмотрен путь становления нечёткой логики как совершенно новой области науки, ее составляющие, принципы, противоречия и прогнозы развития. Но речь пойдёт далеко не о строгой математике: нечёткая логика является составной частью широкого понятия «искусственный интеллект». Область применения нечёткой логики колоссальна — от разработки устройства интеллектуальных кухонных приборов до построения систем управления сложными производственными процессами.

., 2018, перевод на русский язык © ООО «Страта», 2018, оформление Ланге Ф. <...> Этот строгий закон про‑ слеживается и в нашем языке, и в наших мыслях и суждениях. <...> В 1894 году русский исследователь Николай Нотович опу‑ бликовал книгу, в которой утверждалось, что в <...> Логика с таким утверждением, как «Все люди смертны», также является формальным языком. <...> Компьютерные языки Ada, Basic, C, Fortran, Pascal — это все формальные языки, хотя они, как правило,

Предпросмотр: НЕЧЕТКАЯ ЛОГИКА.pdf (0,1 Мб)
8

МЕТОДИКА ИЗУЧЕНИЯ МАТЕМАТИКИ В НАЧАЛЬНОЙ ШКОЛЕ (изучение величин «Масса», «Время»)

Автор: Швецова Резеда Фаритовна

Учебно-методическое пособие составлено в соответствии с требованиями Федерального государственного образовательного стандарта высшего образования по направлению подготовки 44.03.01 Педагогическое образование профиль подготовки Начальное образование; 44.03.05 Педагогическое образование (с двумя профилями подготовки), профили Начальное образование, Дошкольное образование и Начальное образование, Начальное образование и Иностранный язык (английский), Русский язык и Начальное образование. В пособии рассматриваются вопросы изучения величин массы и времени, включен опыт организации соответствующих уроков. Пособие рекомендовано также учителям начальной школы.

Начальное образование, Дошкольное образование и Начальное образование, Начальное образование и Иностранный язык <...> (английский), Русский язык и Начальное образование. <...> на детский опыт и наблюдения в повседневной жизни, вводить понятия постепенно, доступным для детей языком <...> Занимательные материалы к урокам обучения грамоте и русского языка в начальной школе / Н. А.

Предпросмотр: МЕТОДИКА ИЗУЧЕНИЯ МАТЕМАТИКИ В НАЧАЛЬНОЙ ШКОЛЕ (изучение величин «Масса», «Время»).pdf (0,2 Мб)
9

Про криптографию (Символ — машина — квант)

Автор: Де Касто Виктор
СПб.: Страта

Чем больше одни стремятся что-то скрыть, тем больше другие хотят это «что-то» узнать. Когда люди только научились писать, их тайны материализовались, представ в образе символов, иероглифов, букв, цифр. Но в таком виде они стали доступны другим. С этого времени началось извечное соревнование между шифровальщиками, пытающимися скрыть информацию, и криптоаналитиками, стремящимися расшифровать ее. Криптография сегодня — это область научных, прикладных, инженерно-технических исследований, основанная на фундаментальных понятиях математики, физики, теории информации и сложности вычислений. В книге рассказывается об истории криптографии: от примитивных систем шифрования и дешифровки, придуманных людьми еще в древние времена, до современных компьютерных алгоритмов — как существующих, так и тех, над которыми работают нынешние ученые-криптографы.

языка). <...> В русском языке пользуются значением «Спасите от смерти». <...> языка. <...> Русский перевод (пер. <...> В русском языке пользуются значением «Спасите От Смерти».

Предпросмотр: Про криптографию (Символ — машина — квант).pdf (0,3 Мб)
10

Символ и алгоритм. Символ вытесняет вещь

Автор: Деменок Сергей
СПб.: Страта

Математические символы прошли долгую эволюцию, прежде чем «заговорили» на этом совершенном языке. В настоящей книге прослеживается вся история его развития, начиная от математических символов древности, арифметики во времена древнего Вавилона, геометрии Египта, логики античной Греции до математического языка Средневековья и Нового времени, с которого начались механический, а за ним электронный способ вычислений, рождение компьютеров и теории информации. В наше время алгоритм стал фактом реальности. Через него мы начинаем понимать реальность символической материи, реальность в прямом смысле этого слова. Символический материал существует в природе сам по себе, без человека. Алгоритмы не только диктуют, а и предугадывают наши желания, они принимают на себя ответственность за то, какую музыку мы слушаем, какие фильмы выбираем, какие отношения устанавливаем в социальных сетях. В заключительной главе книги рассмотрены исключительное влияние алгоритмов на нашу жизнь и прогнозы четвертой промышленной революции.

Так, чуть ли не во всех языках, как и в русском, слова «половина» и «два» происходят от разных корней <...> Эйлер внес огромный вклад в дело Пет ра I по становлению русской научной мысли. <...> Открывает «Арифметику» русский герб — двуглавый орел. <...> Дуэль оказалась разновидностью русской рулетки. <...> Структура сети напоминает русскую матрешку.

Предпросмотр: СИМВОЛ И АЛГОРИТМ.pdf (0,1 Мб)
11

Квантовая криптография

Автор: Альбов Александр
СПб.: Страта

Криптография существует уже несколько тысяч лет. Мастерство шифрования и дешифровки было востребованным издревле и в разных целях, будь то тайная любовная переписка монарших особ или радиограммы военных разведчиков из вражеского тыла. Книга рассказывает об истории этой шпионской науки, парадоксах и витках в ее развитии, приведших к новым революционным открытиям; об ученых, внесших мировой вклад в криптографическое дело. Сегодня, когда информация приобретает едва ли не главную коммерческую ценность и политическое значение, искусство криптографии становится мощным средством в борьбе за влияние и превосходство. Грядет новый и решающий этап в эволюции вычислительных систем: эпоха квантовых компьютеров. Уже очень скоро информация, хранимая в наших базах данных, устремится в совсем другую реальность, странный и таинственный мир, открытый для нас Максом Планком век назад. Мир, в котором правят иные законы физики и живут иные частицы, делая его столь привлекательным для сокровенных человеческих тайн. Итак, мы снова ждем ответа на вопрос: грядет ли окончательная победа шифрования над дешифровкой в свете ожидаемого появления квантовых компьютеров?

языка). <...> Разумеется, не избежали этого и русские политические деятели. <...> В русской письменности использовалась только «болгарская». <...> языка. <...> В русском языке пользуются значением «Спасите От Смерти». сПасите наши Души, кораБль и кое-Что ещё на

Предпросмотр: Квантовая криптография.pdf (0,3 Мб)
12

Изменчивая природа математического доказательства. Доказать нельзя поверить, The Proof is in the Pudding: The Сhanding Nature of Mathematicial Proof

Автор: Кранц Стивен
М.: Лаборатория знаний

Книга знакомит читателя с тем, как развивалось с течением времени понятие математического доказательства. Некоторые иллюстративные и интересные математические результаты приведены с доказательствами и поясняющими примерами. Рассмотрен вклад в историю доказательства многих великих математиков. Легкий и увлекательный стиль автора делает изложение доступным широкому кругу читателей.

При коммунистическом режиме русская система рыночной никак не была. <...> Описательный язык. <...> При коммунистическом режиме русская система рыночной никак не была. <...> Описательный язык. <...> При коммунистическом режиме русская система рыночной никак не была.

Предпросмотр: Изменчивая природа математического доказательства. Доказать нельзя поверить (1).pdf (0,2 Мб)
13

От Сталина и Мао до Путина и Си

Автор: Галенович Юрий Михайлович
М.: ВКН

В XX веке история человечества сложилась таким образом, что с разницей в три десятилетия в мире появились два крупных государства с правившими в них коммунистическими партиями: СССР и КНР. Они просуществовали как соседи и «идеологические близнецы» четыре десятилетия. Затем в одном из них коммунистическая партия перестала быть правящей. Оба государства оказались в новой, уникальной для человечества и для них самих ситуации. С тех пор уже три десятилетия существуют отношения между этими государствами. В каждом из них есть свое понимание истории и нынешнего состояния двусторонних отношений. Читателям предлагается возможность познакомиться с трактовками обеих сторон, с попыткой разобраться в том, «что это было», какими были этапы этого пути (каким был «путь» от «эпохи» Сталина и Мао до «времен» Путина и Си), что происходит сейчас и чем это может обернуться в будущем. В работе также рассматриваются процессы в истории американо-китайских отношений и китайско-американских отношений за время от Мао и Никсона до Си и Трампа. Перед читателем описание исторического пути от иллюзий к реалиям во взаимоотношениях России с Китаем и Америки с Китаем.

Он поступил учиться по специальности «русский язык и литература» на факультет иностранных языков университета <...> языка и русской литературы за годы КНР. <...> Тем не менее на четвертом курсе Дай Бинго, которому давался русский язык и у которого был интерес к русскому <...> языку и литературе на русском языке, перевел одно из произведений Чингиза Айтматова, а на пятом курсе <...> Он хотел овладеть русским языком и стать преподавателем русского языка и литературы.

Предпросмотр: От Сталина и Мао до Путина и Си.pdf (0,3 Мб)
14

Введение в логическое программирование

Автор: Дженесерет Майкл
М.: ДМК Пресс

Логическое программирование – это стиль программирования, в котором программы принимают форму наборов предложений на языке символической логики. В последнее время интерес к нему вырос благодаря возможности применения в дедуктивных базах данных, электронных таблицах, создании бизнес-логики при управлении предприятием и др. Данная книга знакомит с теорией логического программирования, современными технологиями и популярными применениями. Авторы ведут читателя от изучения базовых понятий (наборы данных, запросы, обновления и т. д.) к практическому применению вычислительной логики. Книга удобно структурирована: рассмотрение новых терминов сопровождается многочисленными примерами; в конце глав приводятся упражнения, позволяющие закрепить пройденный материал.

Copyright ©2020 Morgan and Claypool Publishers, 2020 ISBN 978-5-97060-968-2 (рус.) © Оформление, перевод на русский <...> Язык, на котором написаны эти программы, называется языком логического программирования. <...> Как мы увидим, все три этих языка (Datalog, Prolog и Epilog) менее выразительны, чем языки, связанные <...> Синтаксис обновлений Как и наш язык запросов, язык обновлений включает в себя язык наборов данных, но <...> к синтаксису английского языка.

Предпросмотр: Введение в логическое программирование.pdf (0,6 Мб)
15

Математика в контексте философских проблем учеб. пособие

Автор: Яшин Б. Л.
М.: Директ-Медиа

Учебное пособие посвящено проблемам философии и методологии математики. В нем на материале истории математики рассматриваются проблемы становления философии математики, анализируются различные подходы к пониманию математики и ее развития, соотношение в математике рационального и иррационального, а также специфика математического познания, связанная с предметом, объектами и методами этой науки и пониманием в ней истины. В пособии выделен специальный раздел, в котором раскрывается взаимосвязь математики с философией, гуманитарной наукой и искусством, значимость для любого вида творчества своеобразной «диффузии» интеллектуального и чувственного, научного (математического) и художественного знания.

и соотношении между языком и объектами мира2. <...> [Элек¬ тронный ресурс] : Русский журнал. <...> О дольнике современной русской поэзии // Вопросы языкознания. № 6; А. Н. Колмогоров. <...> К основам русской классической метрики // Содружество наук и тайны творчества. <...> О дольнике современной русской поэзии // Вопросы языкознания. № 3, № 6 (1962). 99.

Предпросмотр: Математика в контексте философских проблем учебное пособие.pdf (0,0 Мб)
16

Необыкновенная формула доктора Эйлера, Dr. Euler's Fabulous Formula

Автор: Нахин Пол Дж.
М.: ДМК Пресс

Пол Нахин признается, что к написанию этой книги его подтолкнуло «восхищение Эйлером не только как математиком, но и как физиком и инженером». На многочисленных примерах автор показывает, как одна из основных формул комплексного анализа — формула Эйлера — наряду со знаменитым «золотым сечением» проявляет себя безупречным стандартом математической красоты. Доказательство иррациональности числа «пи», представление вибрации струны на диаграмме, геометрия импульсной функции и даже создание речевого скремблера — все эти столь разные темы объединяет использование формулы великого математика. В заключительной части приводится биографическая справка об Эйлере, включающая малоизвестные факты из его жизни.

Имеется русский перевод: Га усс К. Ф. Труды по теории чисел. <...> То есть g 2 (t)/W «ведет себя» как ФПВ случайной величины. * Перевод на русский вышел в издательстве <...> Его могила находится неподалеку от могил великих русских композиторов – Мусоргского, РимскогоКорсакова <...> С. 27 (Имеется русский перевод первого издания: Кокстер Г. С. М. Введе ние в геометрию. <...> (На русский язык данная книга («Аналитическая теория тепла») не переводилась. – Прим. перев.) 10.

Предпросмотр: Необыкновенная формула доктора Эилера.pdf (0,3 Мб)
17

Комментарий к первой книге "Начал" Евклида

Автор: Прокл Диадох
М.: Русский фонд содействия образованию и науке

Составленный Проклом комментарий к первой книге "Начал" Евклида впервые переведён на русский язык в полном объёме. Трактат Прокла – это единственный дошедший до наших дней античный комментарий к Евклиду. Он представляет первостепенный интерес как с точки зрения истории математики и её преподавания, так и с точки зрения истории философии.

.— Москва : Русский фонд содействия образованию и науке, 2013 .— 368 с. : ил. — (ARISTEAS. <...> Составленный Проклом комментарий к первой книге Начал Евклида впервые переведён на русский язык в полном <...> На арабский язык Начала были переведены в VIII в. <...> языках. <...> Русский Фонд Содействия Образованию и Науке 119435, Москва, ул.

Предпросмотр: Комментарий к первой книге Начал Евклида.pdf (1,4 Мб)
18

Аристотель vs Будда

СПб.: Страта

Нечёткая логика — обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965 году. Это не обычная «истинная или ложная» (1 или 0) логика, на которой основаны современные компьютеры. Принадлежность объекта к нечеткому множеству определяется не только условием «да или нет», но любыми условиями в интервале. Предметом нечёткой логики считается исследование рассуждений в условиях нечёткости, размытости, сходных с рассуждениями в обычном смысле, и их применение в вычислительных системах. В книге речь пойдёт далеко не о строгой математике: нечёткая логика является составной частью широкого понятия «искусственный интеллект». Область применения нечёткой логики колоссальна — от разработки устройства интеллектуальных кухонных приборов до построения систем управления сложными производственными процессами.

Язык математики достаточно своеобразен и отличается от языка в других областях науки, но, тем не менее <...> Термин «нечеткая логика» прочно вошел в научный язык. <...> Этот строгий закон прослеживается и в нашем языке, и в наших мыслях и суждениях. <...> В 1894 году русский исследователь Николай Нотович опубликовал книгу, в которой утверждалось, что в Тибете <...> Компьютерные языки Ada, Basic, C, Fortran, Pascal  это все формальные языки, хотя они, как правило,

Предпросмотр: АРИСТОТЕЛЬ vs БУДДА.pdf (0,1 Мб)
19

Логика и формы научного мышления [учеб. пособие]

Автор: Ходыкин
Издательство СГАУ

Логика и формы научного мышления. Используемые программы: Adobe Acrobat. Труды сотрудников СГАУ (электрон. версия)

Любая наука строит свой язык на основе естественного языка. <...> Связка выразима в русском языке словами «есть» – «не есть», «суть» – «не суть», «является» – «не является <...> Этот элемент суждения в русском языке заCopyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис» 36 <...> Утвердительная связка в русском языке нередко пропускается. <...> М.: Издво Русского гуманитарного интернет университета, 2007. 518 с. http: // WWW.I-U.RU 12.

Предпросмотр: Логика и формы научного мышления.pdf (0,2 Мб)
20

Логика высказываний: язык, алгебра, исчисления учеб. пособие

Автор: Кислов А. Г.
Издательство Уральского университета

Логика высказываний рассматривается в данном учебном пособии применительно к восприятию студентов-гуманитариев, с более подроб- ным, чем в классических учебниках, изложением наиболее важных ее разделов. Адресовано студентам, изучающим курс «Логика» в рамках социаль- но-экономических и гуманитарных направлений подготовки.

Иванов придет в гости, и Петров придет в гости; Иванов придет в гости, или Петров придет в гости; 4 На русском <...> языка естественного. <...> Объектный язык — это язык самой рассматриваемой теории, а метаязык — язык, необходимый для построения <...> и анализа рассматриваемой теории, этот язык иногда называют «языком исследователя». <...> Пример 1 Пусть множество М есть следующее множество русских князей из династии Рюриковичей: {Рюрик, Игорь

Предпросмотр: Логика высказываний язык, алгебра, исчисления.pdf (1,9 Мб)
21

Красота физики. Постигая устройство природы, A Beautiful Question: Finding Nature’s Deep Design

Автор: Вильчек Фрэнк
М.: Альпина нон-фикшн

Верно ли, что красота правит миром? Этим вопросом на протяжении всей истории человечества задавались и мыслители, и художники, и ученые. На страницах великолепно иллюстрированной книги своими размышлениями о красоте Вселенной и научных идей делится Нобелевский лауреат Фрэнк Вильчек. Шаг за шагом, начиная с представлений греческих философов и заканчивая современной главной теорией объединения взаимодействий и направлениями ее вероятного развития, автор показывает лежащие в основе физических концепций идеи красоты и симметрии. Герои его исследования — и Пифагор, и Платон, и Ньютон, и Максвелл, и Эйнштейн. Наконец, это Эмми Нётер, которая вывела из симметрий законы сохранения, и великая плеяда физиков XX в. В отличие от многих популяризаторов, Фрэнк Вильчек не боится формул и умеет «на пальцах» показать самые сложные вещи, заражая нас юмором и ощущением чуда.

. © Издание на русском языке, перевод, оформление. <...> В русском языке аналогом служит понятие «расширить сознание». — Прим. науч. ред. <...> На русском языке главный труд Ньютона издан в замечательном переводе академика А. Н. <...> В качестве альтернативы на русском языке можно рекомендовать издание Дж. К. <...> Есть близкий по содержанию сборник на русском языке: Пуанкаре А., Эйнштейн А., Лоренц Г.

Предпросмотр: Красота физики. Постигая устройство природы.pdf (0,2 Мб)
22

Теория алгоритмов учеб.-метод. пособие

Автор: Куликов В. Г.
М.: Изд-во МИСИ-МГСУ

В учебно-методическом пособии по дисциплине «Теория алгоритмов» представлены разделы, традиционно изучаемые в курсе теории алгоритмов: машины Тьюринга, нормальные алгоритмы Маркова, рекурсивные функции и т.д. Рассмотрены вопросы интуитивного и формального определения алгоритмов, сложности и нумерации алгоритмов, алгоритмически неразрешимых проблем, конструирования машин Поста.

Языки, определяемые регулярными выражениями, называются регулярными языками, а набор слов — регулярными <...> слов, допустимых языком. <...> Распознавание нерегулярных языков Нерегулярные языки различаются, потому что есть ограничения на повторение <...> Пусть 𝐿 — регулярный язык. <...> Следующую концепцию русского математика В.Н.

Предпросмотр: Теория Алгоритмов.pdf (0,2 Мб)
23

№2 [Вестник Адыгейского государственного университета. Серия: Естественно-математические и технические науки, 2015]

публикуются результаты исследований по биологическим, физико-математическим и техническим наукам. В разделе «Математика и компьютерные науки» публикуются результаты, полученные в области теоретической, прикладной математики, компьютерных наук. В разделе «Физика и технические науки» публикуются результаты исследований по физическим и техническим наукам, в том числе по общим вопросам физики, общим проблемам физического эксперимента, физике элементарных частиц, теории полей и др. В разделе «Естественные науки» публикуются результаты фундаментально-ориентированных исследований в области рационального природопользования и охраны природных ресурсов, многолетних исследований по физиологии развития человека, биоразнообразию Северного Кавказа, рассматриваются вопросы создания концептуальной модели онтогенеза и адаптации в условиях полимодальных воздействий среды, создания и реализации здравоцентристской парадигмы здоровья учащейся молодежи, экологические основы рационального освоения природных ресурсов. В разделе «Геоинформационные системы» публикуются данные, составляющие интеллектуальную географическую информационную систему, основанные на знаниях и обеспечивающие комплексную диагностику эколого-ресурсного потенциала территории, рассматриваются вопросы технологии автоматизированной географической диагностики территории и др

языка им. <...> Поэтому появляется русский пласт на данной территории с XIX века. <...> На каком языке говорили киммерийцы – неизвестно, однако есть основания предполагать, что язык их напоминает <...> Анкета для туристов состояла из одинаковых вопросов и была представлена на русском языке. <...> Перед изложением текста автор должен дать краткую аннотацию на русском и английском языках, ключевые

Предпросмотр: Вестник Адыгейского государственного университета. Серия Естественно-математические и технические науки №2 2015.pdf (2,2 Мб)
24

Просто символ символ как вещь и вещь как символ

Автор: Деменок Сергей
СПб.: Страта

Второе издание книги «Просто символ» продолжает цикл авторских публикаций о символах. Символическое содержание мира автор видит столь же реальным, как сама реальность, соглашаясь с титанами теоретической физики: глубинные связи можно понять только тогда, когда используется язык иносказаний и образов. Автор рассматривает символ, как основополагающий элемент реальности, стоящий в одном ряду с элементарными частицами вещества и квантами действия. Обобщая принцип суперсимметрии, автор утверждает даже то, что при определенных условиях символ может заместить вещь или действие так, что в реальности ничего не изменится. Книга призвана популяризировать фундаментальные положения точной науки и философии согласно идее: символ реален.

Известно более двух тысяч языков. Но есть универсальный язык  это язык математики. <...> AI) не имеет той окраски, которую оно приобрело в русском переводе. <...> БИБКОМ» & ООО «Aгентство Kнига-Cервис» ОТ СУЩЕСТВУЮЩЕГО — К ВОЗНИКАЮЩЕМУ В 1985 году вышла в свет на русском <...> термодина‑ мической ситуации. • Термодинамические уровни Е — ТS = const вложены друг в друга наподобие русской <...> английском язы‑ ке словосочетание Artificial intelligence (AI) не имеет той окраски, которую оно приобрело в русском

Предпросмотр: Просто символ.pdf (0,2 Мб)
25

Элементы логики в математике. Сборник самостоятельных работ для учащихся 6 класса Инженерного лицея НГТУ учеб.-метод. пособие

Автор: Гумерова Е. И.
Изд-во НГТУ

Настоящее пособие представляет собой сборник самостоятельных работ теоретического и практического характера разного уровня сложности. Пособие предназначено для организации самостоятельной работы учащихся, а также для обобщающего повторения.

Укажите, какая дизъюнкция должна применяться при переводе текста на язык логики. <...> Укажите, какая дизъюнкция должна применяться при переводе текста на язык логики. <...> Михаил купил пять учебников: по математике, истории, географии, русскому языку и информатике. <...> Номер автомашины состоит из трех букв русского алфавита (используется 30 букв) и трех цифр: сначала идет

Предпросмотр: Элементы логики в математике.pdf (0,3 Мб)
26

Ловкость ума 75 гениальных парадоксов в математике, физике и философии, Sleight of Mind

Автор: Кук Мэтт
М.: ДМК Пресс

Эта книга — настоящий путеводитель по парадоксам, начиная с древнейших (Ахиллес и черепаха) и заканчивая современными (кот Шрёдингера и парадокс Тьюринга). Как утверждают авторы, парадокс — это «магия в вашей голове». Что делать, если интуиция подсказывает одно, а логика диктует другое? Остроумные примеры, собранные под одной обложкой, — отличное средство тренировки внимательности, памяти и математических навыков. Некоторые из парадоксальных предположений ошибочны, другие можно подтвердить, но в любом случае для их проверки вам понадобятся терпение и смекалка.

Рассмотрим следующее предложение: Это предложение на русском языке. <...> Мы можем сделать это, сгенерировав новое предложение: «Это предложение на русском языке» на русском языке <...> 182  Рекурсивные ссылки мы можем оценить предложение в кавычках, увидеть, что оно действительно на русском <...> Например, упомянутое ранее в главе утверждение «Это предложение на русском языке» относится к тем, которые <...> Это все равно, что набор русских матрешек, в котором обязательно есть внутренняя кукла, прячущая нечто

Предпросмотр: Ловкость ума. 75 гениальных парадоксов в математике, физике и философии.pdf (0,4 Мб)
27

Структуры и символы. Абстракция - эмпирический факт

СПб.: Страта

Все началось с камня… Шел каменный век. Человек научился делать первые симметричные вещи — рубила. Человек вдруг начал различать структуры и создавать символы, и это выделило его из мира животных. Восприятие структур и производство символов с тех пор шли рука об руку. И то, и другое — абстрактные вещи. Восприятие и производство абстрактных вещей стало отличительной стороной деятельности людей и основой развития человеческой цивилизации. Книга посвящена анализу процесса осознания структур, которые реально существуют в природе вне зависимости от человека, и репрезентации их в символических формах.

Первым был его универсальный языкязык универсальных символов. <...> и только средствами языка. <...> Художественная критика Фрая стала известна как формализм — термин, принятый современниками, русскими <...> направлений в европейском, оно сформировалось под влиянием эстетики художников общества Де Стейл и русского <...> Представительные голландские и русские работы регулярно появлялись в Швейцарии, например, на большой

Предпросмотр: Структуры и символы. Абстракция - эмпирический факт.pdf (0,1 Мб)
28

Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга, The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine

Автор: Петцольд Чарльз
М.: ДМК Пресс

Книга, которую вы держите в руках, принадлежит перу известного американского популяризатора Чарлза Петцольда. В ней автор исследует главную работу Алана Тьюринга, посвященную проблеме разрешимости. Именно в этой работе впервые появились знаменитые машины Тьюринга, ставшие на многие годы универсальной теоретической концепцией computer science. Автор тонко и деликатно проведет вас по самым потаенным уголкам, из которых родились на свет современные компьютеры и современное программное обеспечение. Читателя ждет захватывающее путешествие в прошлое, из которого получилось наше настоящее и развивается будущее.

(Есть и русский перевод этой книги: Гильберт Д. Основания геометрии. – М. <...> В 1945 году он перешел к русским, а после войны вошел в состав России. <...> Переселявшиеся туда русские намеревались разрушить все остатки немецкой культуры, а оставшиеся там немцы <...> Дэвис произносил «я думаю, что гипотеза Джулии Робинсон истинна, и это будет доказано молодым умным русским <...> Класс распознаваемых языков – контекстно-свободные языки.

Предпросмотр: Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга.pdf (0,1 Мб)
29

Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга

Автор: Петцольд Чарльз
М.: ДМК Пресс

Книга, которую вы держите в руках, принадлежит перу известного американского популяризатора Чарлза Петцольда. В ней автор исследует главную работу Алана Тьюринга, посвященную проблеме разрешимости. Именно в этой работе впервые появились знаменитые машины Тьюринга, ставшие на многие годы универсальной теоретической концепцией computer science. Автор тонко и деликатно проведет вас по самым потаенным уголкам, из которых родились на свет современные компьютеры и современное программное обеспечение. Читателя ждет захватывающее путешествие в прошлое, из которого получилось наше настоящее и развивается будущее.

(Есть и русский перевод этой книги: Гильберт Д. Основания геометрии. – М. <...> В 1945 году он перешел к русским, а после войны вошел в состав России. <...> Переселявшиеся туда русские намеревались разрушить все остатки немецкой культуры, а оставшиеся там немцы <...> Дэвис произносил «я думаю, что гипотеза Джулии Робинсон истинна, и это будет доказано молодым умным русским <...> Класс распознаваемых языков – контекстно-свободные языки.

Предпросмотр: Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга.pdf (0,1 Мб)
30

Квантовые вычисления со времен Демокрита, Quantum Computing since Democritus

Автор: Ааронсон Скотт
М.: Альпина нон-фикшн

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

языке, перевод, оформление. <...> Имеется русский перевод: Д. Дойч, Структура реальности. <...> говорит на этом языке. <...> В русском переводе издана под названием «Структура реальности». <...> В русском переводе книга Кипа Торна вышла под заглавием «Черные дыры и складки времени.

Предпросмотр: Квантовые вычисления со времен Демокрита.pdf (0,1 Мб)
31

Олимпиадное программирование. Изучение и улучшение алгоритмов на соревнованиях, Guide to Competitive Programming

Автор: Лааксонен Антти
М.: ДМК Пресс

Перед вами второе, обновленное издание книги, которая уже успела полюбиться читателям. Автор подробно описывает, как проходят олимпиады по программированию и как к ним готовиться, разбирает базовые темы, трюки и алгоритмы. В новых разделах рассматриваются темы повышенного уровня: вычисление преобразования Фурье, нахождение потоков минимальной стоимости в графах и использование конечных автоматов в задачах о строках. Спортивное программирование — самый перспективный интеллектуальный вид спорта; уже сейчас им увлекаются лучшие умы планеты, и число участников растет год от года. Рост популярности олимпиадного программирования положительно влияет на другие сферы жизнедеятельности человека. Навыки быстрого решения сложнейших задач помогут сегодняшним студентам в будущем эффективно справляться с реальными проблемами человечества.

.) © Оформление, перевод на русский язык, издание, ДМК Пресс, 2020 Copyright ООО «ЦКБ «БИБКОМ» & ООО <...> Antti Laaksonen Я надеюсь, что русское издание моей книги будет полезно будущим спортивным программистам <...> Язык автомата состоит из всех допускаемых им строк. <...> Говорят, что автомат распознает язык, если он допускает все строки, принадлежащие этому языку, и отвергает <...> Регулярные языки Язык называется регулярным, если существует распознающий его автомат.

Предпросмотр: Олимпиадное программирование. Изучение и улучшение алгоритмов на соревнованиях.pdf (0,8 Мб)
32

Математическая логика и теория алгоритмов учеб. пособие

Автор: Блатов И. А.
Изд-во ПГУТИ

Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки.

Язык метода резолюции язык дизъюнктов. 2. Аксиомы только собственные. 3. <...> Из формализованных языков математики язык предикатов – самый близкий к естественному. <...> Родился в Баку, Азербайджан как Лотфи Алескерзаде (или Аскер Заде) от русской матери и отца азербайджанца <...> языка. <...> Пример Алфавит содержит символы русского языка: A ={а,б…я}.Найти систему подстановок, обеспечивающих

Предпросмотр: Математическая логика и теория алгоритмов учебное пособие.pdf (0,8 Мб)
33

Основы алгоритмизации

Бурятский государственный университет

Содержание учебного пособия включает материал по составлению алгоритмов, навыки которого в дальнейшем будут использованы при практическом программировании на языке С++, при решении сложных задач, при подготовке к выполнению контрольных, лабораторных и практических заданий. Пособие направлено на формирование начальных навыков алгоритмизации, составляющих фундаментальную базу при изучении основ программирования. Предназначено для студентов всех специальностей, изучающих дисциплину «Программирование», преподавателей высших и средних учебных заведений, а также для пользователей, которые делают первые шаги в программировании.

Для этого используют специальные языки, называемые языками программирования. <...> язык — программированием. <...> Алгоритмический язык: описание алгоритма производится с помощью специального языка, представляющего промежуточный <...> вид между записью на естественном языке и записью на языке про граммирования. <...> Смысл этих операций близок к значению соответствующих частей речи в русском языке — союзов и, или и частице

Предпросмотр: Основы алгоритмизации .pdf (0,3 Мб)
34

Дискретная математика. Формально-логические системы и языки [учеб. пособие]

Автор: Авдошин С. М.
М.: ДМК Пресс

Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт.

языков. <...> В компьютерах, имеющих клавиатуру с кириллицей, допускаются большие и малые буквы русского алфавита. <...> с языком. 9.7. <...> Теорема (лемма о накачке для регулярных языков). Пусть L есть регулярный язык. <...> Пусть R есть регулярный язык и Ω ⊆ Rw есть общерегулярный язык.

Предпросмотр: Дискретная математика. Формально-логические системы и языки.pdf (0,7 Мб)
35

Химические языки нервных систем

М.: Языки славянской культуры

В книге, написанной коллективом нейробиологов из Института биологии развития РАН и группой математиков из Института проблем управления РАН, излагается гетерохимическая концепция работы нервной системы. Согласно этой концепции, распространенное представление о мозге как о рефлекторной «проволочной сети» не соответствует действительности. Решающую роль в его работе играют эндогенно активные нейроны и ансамбли, способные генерировать поведение даже в отсутствие внешних стимулов, а язык общения между нейронами и отделами нервной системы является химическим. Этот язык основан на разнообразии сигнальных молекул — нейротрансмиттеров и нейрогормонов, которые действуют не только в синаптических щелях, но и во всем межклеточном пространстве. В книге рассказывается об эволюции языка нейротрансмиттеров, о клеточных механизмах генерации поведения, нейромодуляции, роли трансмиттеров в выборе поведения и адаптации к внешним переменам. Для математической формализации этой концепции понадобились принципиально новые подходы, которым посвящена вторая часть книги. В ней дается обзор математических моделей нейронов и нейронных сетей и подробно описывается оригинальная дискретная модель химических взаимодействий между нейронами. Приводятся разнообразные примеры моделирования реальных нервных систем с помощью этой модели.

невидимой подвижной субстанции, esprits animaux (animal spirits в английской литературе, «животные духи» в русском <...> Существует обзор на русском языке, в котором подробно Copyright ООО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис <...> Математическое моделирование… язык информатики, возникший во второй половине ХХ в., — язык дискретной <...> Адекватным языком для их описания является язык теории графов. <...> Хорошо известно, что чем шире алфавит языка, тем короче сообщения на этом языке.

Предпросмотр: Химические языки нервных систем.pdf (0,4 Мб)
36

Конспект лекций по учебной дисциплине «Математическая логика и теория алгоритмов»

Автор: Блатов И. А.
Изд-во ПГУТИ

Конспект лекций затрагивает такие разделы математической логике и теории автоматов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Каждая лекция заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки.

Язык метода резолюции язык дизъюнктов. 2. Аксиомы только собственные. <...> Из формализованных языков математики язык предикатов – самый близкий к естественному. <...> Родился в Баку, Азербайджан как Лотфи Алескерзаде (или Аскер Заде) от русской матери и отца азербайджанца <...> языка. <...> Пример Алфавит содержит символы русского языка: A ={а,б…я}.Найти систему подстановок, обеспечивающих

Предпросмотр: Математическая логика и теории алгоритмов Конспект лекций.pdf (0,5 Мб)
37

Лобанов, В.И. Парадоксы русской логики / В.И. Лобанов // Актуальные проблемы современной науки .— 2012 .— №3 .— С. 151-152 .— URL: https://rucont.ru/efd/253929 (дата обращения: 18.12.2025)

Автор: Лобанов
М.: ПРОМЕДИА

Методы решения логических уравнений.

Парадоксы русской логики / В.И. <...> Пришлось перевести достижения Порецкого П.С. на язык четвероклассника, устранить принципиальные ошибки <...> В итоге родилась Русская вероятностная логика (РВЛ) [5]. <...> Русская логика в информатике. – М.: Русская Правда, 2010 – 48с. 5. Лобанов В.И. <...> Русская вероятностная логика. – М.: Русская Правда, 2009 – 320с. 6. Лобанов В.И.

38

Методы построения эффективных алгоритмов : учебное пособие Учебное пособие

Автор: Волченков
ЯрГУ

Учебное пособие (продолжение одноименного учебного пособия, изданного в 2004 г.) посвящено различным аспектам построения и анализа эффективных алгоритмов решения некоторых задач. Материал разбит на главы по предметным областям и по методам решения задач. Главы посвящены геометрическим методам в задачах информатики, рекурсии, динамическому программированию и структурам данных. Пособие рассчитано на студентов факультетов информатики и вычислительной техники, обучающихся по специальности 351500 Математическое обеспечение и администрирование информационных систем (дисциплина "Методы построения эффективных алгоритмов", блок ДС), очной формы обучения, а также может оказаться интересным для школьников, принимающих участие в олимпиадах по информатике.

по алгоритмам, недавно выпущенный в Массачусетском технологическом институте [1] и переведенный на русский <...> язык, содержит 955 страниц! <...> Для начала сформулируем данную задачу на языке теории графов. <...> Переведем условие задачи на язык теории графов. <...> Под этим чаще подразумевают простоту реализации на компьютере (на одном из языков программирования),

Предпросмотр: Методы построения эффективных алгоритмов учебное пособие.pdf (0,6 Мб)
39

Теория множеств методические указания для практических занятий

РИЦ СГСХА

Учебное издание содержит краткий теоретический материал по каждому из разделов дисциплины «Теория множеств», примеры решения типовых задач и задачи для самостоятельного решения.

В одном украинском городе все жители говорят на русском или украинском языке. <...> Сколько из них знает только французский язык? Сколько человек знает ровно 1 язык? 14. <...> Получилась следующая картина: из 40 учащихся не имеют троек по русскому языку 25 человек, по математике <...> – 28 человек, по русскому языку и математике – 16 человек, по физике – 31 человек, по физике и математике <...> – 22 человека, по физике и русскому языку 16 человек.

Предпросмотр: Теория множеств.pdf (1,0 Мб)
40

Кодирование информации. Системы счисления. Основы логики учеб. пособие

Автор: Минитаева Алина Мажитовна
М.: Изд-во МГТУ им. Н.Э. Баумана

В систематизированном виде изложены теоретические основы, обеспечивающие единую методическую базу для изучения информатики. Представлены все необходимые материалы для усвоения дисциплины «Информатика» в объеме учебного курса вуза в соответствии с государственным образовательным стандартом.

Понятие информации Русское слово «информация» образовано от латинского слова information («разъяснение <...> Для передачи информации люди используют естественные языки. <...> Каждый ученик в классе изучает либо английский язык, либо французский, либо оба эти языка. <...> Только английский язык изучают 25 человек, только французский — 27 человек, а тот и другой язык — 18 <...> = 9, а тот и другой язык — 18.

Предпросмотр: Кодирование информации. Системы счисления. Основы логики.pdf (0,1 Мб)
41

Введение в анализ алгоритмов, An Introduction to the Analysis of Algorithms

Автор: Солтис Майкл
М.: ДМК Пресс

Книга представляет собой краткое, но математически строгое введение в анализ различных алгоритмов с точки зрения доказывания их правильности. Вы ознакомитесь с основными свойствами линейных, ветвящихся и циклических алгоритмов и способами их проверки. Книга содержит большое количество теоретических задач и практических примеров на языке Python.

читаемым в обоих направлениях, слева направо и справа налево, например madamimadam или racecar (на русском <...> Другими словами, как и в случае регулярных языков, L(G) является языком G. <...> языков. 8.4.2. <...> Регулярные языки разрешимы, и контекстно-свободные языки также разрешимы. <...> Этот язык иногда называют универсальным языком.

Предпросмотр: Введение в анализ алгоритмов.pdf (0,7 Мб)
42

Введение в теорию алгоритмов учеб. пособие

Автор: Ключарев П. Г.
М.: Изд-во МГТУ им. Н.Э. Баумана

Рассмотрены машины Тьюринга, вопросы алгоритмической разрешимости, основные классы сложности, NP-полнота, схемная сложность.

В то же время любому языку можно поставить в соответствие задачу распознавания этого языка. <...> Такой язык называется языком диагонализации. <...> языки, или оно является пустым. <...> регулярных языков. <...> Рассмотрим язык L, представляющий собой унарный вариант языка L s : { 1, j } .

Предпросмотр: Введение в теорию алгоритмов.pdf (0,4 Мб)
43

Автоматные счетчиковые машины монография

Автор: Кузьмин Е. В.
ЯрГУ

Монография посвящена автоматным счетчиковым машинам и тем формальным языкам, которые способны распознавать/задавать эти абстрактные математические машины. Приведенные здесь результаты представляют интерес как для теории формальных моделей вычислений, так и для теории формальных языков, поскольку автоматные счетчиковые машины (и соответственно их языки) занимают особое положение в иерархии формализмов в границах от конечных автоматов до машин Тьюринга (счетчиковых машин Минского). Свойства автоматных счетчиковых машин изучаются с привлечением теории правильных квазипорядков и теории вполне структурированных систем переходов, которые оказываются полезными для решения задач анализа семантических свойств различных формальных моделей, являющихся более слабыми по вычислительной мощности (выразительной способности), чем машины Тьюринга.

языками и языками сетей Петри. <...> языков. <...> языками и языками сетей Петри. <...> языками. <...> Например, язык {b>nan | 0 6 n}, обратный к языку {anb>n | 0 6 n}, не является АСМ-языком.

Предпросмотр: Автоматные счетчиковые машины монография.pdf (0,1 Мб)
44

Математическая логика и теория алгоритмов метод. указания к выполнению типового расчета

Автор: Бояринцева Т. Е.
М.: Изд-во МГТУ им. Н.Э. Баумана

Приведены основные понятия и факты, относящиеся к языку высказываний, языку предикатов, теории aлгоритмов, теории нечетких миожеств и нечеткой логике. Наряду с традиционными разделами математической логики изложен метод резолюций, полезный для приложений. Рассмотрены типовые задачи.

Приведены основные понятия и факты, относящиеся к языку высказываний, языку предикатов, теории алгоритмов <...> Мы будем иметь дело с двумя примерами — языком высказываний и языком предикатов. <...> ЯЗЫК ВЫСКАЗЫВАНИЙ 1.1. <...> Язык высказываний складывается из синтаксиса и семантики. Синтаксис языка высказываний. <...> Синтаксис языка предикатов Алфавит языка предикатов.

Предпросмотр: Математическая логика и теория алгоритмов.pdf (0,1 Мб)
45

Настольные игры и математические задачи

Автор: Ласкер Эмануил
М.: Человек

Изданная в Германии в 1930 г., книга выдающегося гроссмейстера, чемпиона мира, философа и математика Эм. Ласкера впервые выходит на русском языке. Любители шахмат почерпнут из этой книги основы и других, не менее увлекательных игр, таких как го, английские и немецкие шашки, трик-трак, также изобретенной самим маэстро игрой «Ласка»; «поломают» голову над математическими задачами, предназначенными для своего рода состязаний.

книга выдающегося гроссмейстера, чемпиона мира, философа и математика Эм.Ласкера впервые выходит на русском <...> языке. <...> ББК 75.581 ISBN 978-5-906131-41-6 © Перевод на русский язык В.А. Брун-Цехового и М. <...> Это слово происходит из языка охотников. <...> Чтобы понимать друг друга, шахматисты создали собственный язык.

Предпросмотр: Настольные игры и математические задачи.pdf (1,8 Мб)
46

№4 [Вестник Адыгейского государственного университета. Серия: Естественно-математические и технические науки, 2012]

публикуются результаты исследований по биологическим, физико-математическим и техническим наукам. В разделе «Математика и компьютерные науки» публикуются результаты, полученные в области теоретической, прикладной математики, компьютерных наук. В разделе «Физика и технические науки» публикуются результаты исследований по физическим и техническим наукам, в том числе по общим вопросам физики, общим проблемам физического эксперимента, физике элементарных частиц, теории полей и др. В разделе «Естественные науки» публикуются результаты фундаментально-ориентированных исследований в области рационального природопользования и охраны природных ресурсов, многолетних исследований по физиологии развития человека, биоразнообразию Северного Кавказа, рассматриваются вопросы создания концептуальной модели онтогенеза и адаптации в условиях полимодальных воздействий среды, создания и реализации здравоцентристской парадигмы здоровья учащейся молодежи, экологические основы рационального освоения природных ресурсов. В разделе «Геоинформационные системы» публикуются данные, составляющие интеллектуальную географическую информационную систему, основанные на знаниях и обеспечивающие комплексную диагностику эколого-ресурсного потенциала территории, рассматриваются вопросы технологии автоматизированной географической диагностики территории и др

М.: Русский врач, 2007. С. 421. 8. Smagulov N.K., Satybaldina A.E. <...> для русских из других регионов России (табл. 2 и 4). <...> Си, формальный язык, программа. <...> Язык Си является одним из наиболее популярных и мощных языков программирования. <...> Перед изложением текста автор должен дать краткую аннотацию на русском и английском языках, отражающую

Предпросмотр: Вестник Адыгейского государственного университета. Серия Естественно-математические и технические науки №4 2012.pdf (0,1 Мб)
47

Биография Курта Геделя

Автор: Крайзель Г.
М.: Институт компьютерных исследований

Имя выдающегося математика К. Геделя широко известно не только математикам прежде всего благодаря его знаменитой «теореме о неполноте». Биография Геделя, написанная известным логиком Крайзелем, содержит не только достаточно доступное изложение результатов Геделя в математической логике, но и раскрывает их философские истоки и смысл. Эта книга — единственная опубликованная на русском языке биография одного из самых знаменитых ученых двадцатого века.

Эта книга — единственная опубликованная на русском языке биография одного из самых знаменитых ученых <...> На русском языке впервые опубликовано в журнале «Успехи математических наук», 1988, т. 43, вып. 2–3. <...> Доказательство, занимающее меньше страницы, можно найти в книге [28] (§ 7, гл. 5, т. 2 русского перевода <...> Например, аксиома Мартина и аксиома ♦ Йенсена из книги [28] (гл. 6 и 5, т. 2 русского перевода) были <...> Красивое доказательство этого утверждения приведено в книге [28] (§ 5 гл. 3, т. 2 русского перевода).

Предпросмотр: Биография Курта Геделя.pdf (0,1 Мб)
48

Избранные научные труды

Автор: Матросов В. Л.
М.: Издательство Прометей

Настоящее издание посвящено юбилею выдающегося математика, академика РАН Виктора Леонидовича Матросова. Составляющие книгу научные работы по теории распознавания образов и по теории сложности вычислений стали в настоящее время основополагающими для данных областей математики.

награжден орденами «Знак Почета» (1986), «За заслуги перед Отечеством» IV степени (1997), орденами Русской <...> Многие из них были переведены на русский язык. <...> Mach., 18, № 3 (1971), p. 444–475; (Русский перевод: Хартманис Дж., Хопкрофт Дж. <...> Тер-Захарян [53] доказала, что язык нормальных алгорифмов A. A. <...> В языке рекурсивных функций его определение выглядит так.

Предпросмотр: Избранные научные труды. Научное издание. Твердый переплет.pdf (0,1 Мб)
49

№2 [Вестник Адыгейского государственного университета. Серия: Естественно-математические и технические науки, 2014]

публикуются результаты исследований по биологическим, физико-математическим и техническим наукам. В разделе «Математика и компьютерные науки» публикуются результаты, полученные в области теоретической, прикладной математики, компьютерных наук. В разделе «Физика и технические науки» публикуются результаты исследований по физическим и техническим наукам, в том числе по общим вопросам физики, общим проблемам физического эксперимента, физике элементарных частиц, теории полей и др. В разделе «Естественные науки» публикуются результаты фундаментально-ориентированных исследований в области рационального природопользования и охраны природных ресурсов, многолетних исследований по физиологии развития человека, биоразнообразию Северного Кавказа, рассматриваются вопросы создания концептуальной модели онтогенеза и адаптации в условиях полимодальных воздействий среды, создания и реализации здравоцентристской парадигмы здоровья учащейся молодежи, экологические основы рационального освоения природных ресурсов. В разделе «Геоинформационные системы» публикуются данные, составляющие интеллектуальную географическую информационную систему, основанные на знаниях и обеспечивающие комплексную диагностику эколого-ресурсного потенциала территории, рассматриваются вопросы технологии автоматизированной географической диагностики территории и др

., доктор филологических наук, ведущий научный сотрудник института русского языка им. В.В. <...> Delphi – среда разработки, использует язык программирования Delphi (начиная с 7 версии, язык в среде <...> Delphi – результат развития языка Турбо Паскаль, который, в свою очередь, развился из языка Паскаль. <...> Перед изложением текста автор должен дать краткую аннотацию на русском и английском языках, отражающую <...> и английском языках, подписи к рисункам, сведения об авторах).

Предпросмотр: Вестник Адыгейского государственного университета. Серия Естественно-математические и технические науки №2 2014.pdf (0,1 Мб)
50

Математическая логика /Логика предикатов

Воронеж

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

Пример формализации в языке прикладной логики предикатов. .......................... 7 2.1.7. <...> Язык прикладной логики предикатов 2.1.1. Элементы языка прикладной логики предикатов. <...> обычного математического языка только более жесткими синтаксическими требованиями. <...> , написанные на языке логики. <...> Формализовать данный предикат в языке прикладной логики предикатов.

Предпросмотр: Математическая логика Логика предикатов.pdf (1,2 Мб)
Страницы: 1 2 3