Название: Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов:
Автор: Косовский Н. К.
Издательство: Л.: Изд-во Ленингр. ун-та
Год: 1981
Формат: PDF
Страниц: 193
Размер: 15.2 MB
Язык: Русский

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

Название: 3000 примеров по математике. Цепочки примеров. Счет в пределах 20
Автор: О.А.Узорова, Е.А.Нефёдова
Серия: Как научиться быстро считать
Издательство: АСТ
Год: 2013
ISBN: 978-5-17-081250-9
Формат: pdf
Страниц: 18
Размер: 20,5 Мб

Материал поможет сформировать навыки устного счёта по базовым темам первого класса: "Счёт в пределах 5", "Счёт в пределах 10", "Счёт в пределах 10 со скобками", "Счёт в пределах 20", "Счёт в пределах 20 со скобками". Дополнительно включены логические примеры для тренировки вычисления удобным способом.
Подходит как для 1, так и для 2 класса!

Название: 300 примеров по математике. Геометрические задания. 2 класс
Автор: О.Узорова, Е.Нефедова
Серия: Как научиться быстро считать
Издательство: АСТ
Год: 2013
ISBN: 978-5-17-078073-0
Формат: pdf
Страниц: 66
Размер: 65,2 Мб

Пособие содержит примеры на повторение и закрепление начальных знаний по геометрии. Оно включает весь геометрический материал программы по математике 2 класса.
Отвечая на вопросы к каждому из приведенных примеров, учащиеся фактически выполняют 3-4 геометрических задания; всего около 300. Пошаговое решение предлагаемых задач позволит учащимся за короткое время отработать основные геометрические навыки

Название: Интегрирование уравнений параболического типа методом сеток
Автор: Саульев В.К.
Издательство: М.: ФИЗМАТЛИТ
Год: 1960
Cтраниц: 324
Формат: djvu
Размер: 15 мб
Язык: русский

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

Название: Разностные методы решения дифференциальных уравнений в частных производных
Автор: Вазов В., Форсайт Дж.
Издательство: М.: Изд-во иностранной литературы
Год: 1963
Cтраниц: 486
Формат: djvu
Размер: 11 мб
Язык: русский

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

Название: Фейнмановские лекции по физике. 3-е издание
Автор: Фейнман Р., Лейтон Р., Сэндс М.
Издательство: Мир
Год: 1976-1978
Формат: djvu
Страниц: 440+496+302+349+288+526+543
Размер: 33.9 Мб
Язык: русский

Знаменитый курс физики в 7 книгах, в основу которого легли лекции, прочитанные Ричардом Фейнманом в Калифорнийском Технологическом институте. Они записывались на магнитофон, а потом «переводились» на «письменный английский» профессорами М. Сэндсом и Р. Лейтоном. Отказ от привычной последовательности изложения - одна из отличительных особенностей фейнмановских лекций. В них рассказано не только о конкретных задачах, но и о месте, которое занимает физика в ряде других наук, о путях описания и изучения явлений природы.

Название: Nature-Inspired Computation and Swarm Intelligence: Algorithms, Theory and Applications
Автор: Xin-She Yang (Editor)
Издательство: Academic Press
Год: 2020
Формат: True PDF
Страниц: 430
Размер: 12 Mb
Язык: English

Nature-inspired computation and swarm intelligence have become popular and effective tools for solving problems in optimization, computational intelligence, soft computing and data science. Recently, the literature in the field has expanded rapidly, with new algorithms and applications emerging.

Название: Кризис науки как зеркальное отражение кризиса теории познания: Кризис науки
Автор: Хайтун С.Д.
Издательство: М.: ЛЕНАНД
Год: 2016
Cтраниц: 456
Формат: pdf
Размер: 44 мб
Язык: русский

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

Название: Моделирование параллельных процессов. Сети Петри
Автор: Мараховский В.Б., Розенблюм Л.Я., Яковлев А.В.
Издательство: СПб.: Профессиональная литература
Год: 2014
Формат: pdf
Страниц: 400
Размер: 14 mb
Язык: Русский

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

Название: Biomaterials for Organ and Tissue Regeneration: New Technologies and Future Prospects
Автор: Nihal Vrana, Helena Knopf-Marques, Julien Barthes
Издательство: Woodhead Publishing
Год: 2020
Формат: PDF
Страниц: 828
Размер: 12,6 Mb
Язык: English

Biomaterials for Organ and Tissue Regeneration: New Technologies and Future Prospects examines the use of biomaterials in applications related to artificial tissues and organs. With a strong focus on fundamental and traditional tissue engineering strategies, the book also examines how emerging and enabling technologies are being developed and applied. Sections provide essential information on biomaterial, cell properties and cell types used in organ generation. A section on state-of-the-art in organ regeneration for clinical purposes is followed by a discussion on enabling technologies, such as bioprinting, on chip organ systems and in silico simulations.