Предлагаемое учебное пособие (2-ое изд., стереотип.) составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика».

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

Чем занимается логика? Какова ее история и кто ее творцы? Что такое математическая логика? В чем заключается практическая ценность логической науки? Как научиться пользоваться логическим языком?
На эти и другие вопросы в увлекательной популярной форме отвечает предлагаемый учебник...

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

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

А.Н.Колмогоров (1903-1987) и А.Г.Драгалин (1941-1998) - выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Геделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

Сборник из 6 книг в формате djvu: «Логика, мышление» Денисова Д. и Дорожин Ю.; «Логика. Сравниваем, объединяем, выбираем, раскрашиваем», «Логика. Для обучения детей в семье, детском саду и далее...» Кралина М.В.; «Логика. Учимся самостоятельно думать, сравнивать, рассуждать» Гаврина; «Озорная логика. Развивающие задания», «Развиваем логику. Моторика, логика, речь» Тумановская М.И. Книги по отдельности доступны на сайтах, но, были переделаны для этого сборника.

Двухтомный труд «Теория познания и логика по учению позднейших буддистов» (СПб., 1903-1909), переиздаваемый ныне спустя без малого столетие после его выхода в свет, явился для его автора, академика
Федора Ипполитовича Щербатского (1866-1942), первым этапом главного дела его жизни – исследования философской школы буддийских логиков Дигнаги и Дхармакирти, а для мировой философской индианистики – очень крупным событием. Довольно скоро труд был (частично) переведен на немецкий язык, вызвал многочисленные отклики и живую полемику, побудившую Ф.И.Щербатского продолжить изучение буддийской гносеологической традиции, что завершилось через четверть века созданием фундаментального труда, magnum opus его автора – Buddhist Logic (Leningrad, vol. I – 1930, vol. II – 1932).

В учебном пособии рассматриваются основы современных математических криптографических алгоритмов, фундаментом которых является прикладная теория чисел.
Рассмотрены криптосистемы с секретным ключом (одноключевые, симметричные или классические), а также криптосистемы с открытым ключом (асимметричные). Кроме того, представлены основные положения криптографического протокола "электронная подпись". В каждом разделе рассмотрены примеры на соответствующие темы.

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

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

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

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

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

Программирование всегда было достаточно сложной задачей. Эта книга поможет вам легко преодолеть возникающие трудности с помощью библиотеки мощных алгоритмов, полностью реализованных в исходном коде Delphi. Вы узнаете, как выбрать способ, наиболее подходящий для решения конкретной задачи, и как добиться максимальной производительности вашего приложения. Рассматриваются типичные и наихудшие случаи реализации алгоритмов, что позволит вам вовремя распознать возможные трудности и при необходимости переписатьили заменить часть программы. Подробно описываются важнейшие элементы алгоритмов хранения и обработки данных (списки, стеки, очереди, деревья, сортировка, поиск, хеширование и т.д.). Приводятся не только традиционные решения, но и методы, основанные напоследних достижениях объектно-ориентированного программирования. Книга предназначена для начинающих программистов на Delphi, но благодаря четкой структуризации материала и богатой библиотеке готовых алгоритмов будет также интересна и специалистам.

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

Книга состоит из 47 лекций, которые включают в себя: методы оптимизации и детерминированные экономические модели, математическую статистику и экономические модели. Учебное пособие отражает содержание курсов "Теория вероятностей и математическая статистика", "Математическое программирование" и родственных им по названию, которые традиционно читаются на экономических специальностях ВУЗов. Краткость и сжатость, а также достаточный уровень математической строгости характеризуют данную книгу.

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

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

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