Логика: предикатная, формальная и сентенциальная. Кванторы и создание информатики

программирование

Логика: предикатная, формальная и сентенциальная. Кванторы и создание информатики

1 | Введение: Логика, как эпистемологический инструмент, изобретена независимо в трёх отдельных государствах: Греции (Аристотелем), Китае (императором Цинь Шихуанди) и Индии. В последних двух перечисленных государствах логика не распространилась настолько, чтобы «прижиться» и получить развитие. В античной же Греции произошло наоборот — логика сформировалась в своих основах столь определённо, что дополнилась только через 2 тысячелетия....

Как SpaceX пишет софт

Даглас Хёрли и Боб Бенкен в капсуле «Индевор» Компания SpaceX ведёт стремительную разработку проектов сразу по нескольким направлениям. Первая ступень ракеты Falcon 9 после запуска полезной нагрузки в космос возвращается на Землю для повторного использования, подобное тестируют для прототипов Starship. На МКС корабль Crew Dragon доставляет экипаж, готовится второе поколение грузовиков Dragon. Рой спутников связи...

Нефтянка для инженеров, программистов, математиков и широких масс трудящихся, часть 5

Сегодня мы поговорим о двух частных областях, где без моделирования не обойтись, и расскажем, как инженеры умеют разбираться в показаниях датчиков. Любая скважина – это объект капитального строительства, как здание или завод, который требует капитальных вложений, планирования, периодического и капитального ремонта, и только при удовлетворении этих требований она сможет вернуть затраты на своё строительство и...

Как создать голосового помощника на основе технологий с открытым кодом, не передав вовне ни байта секретной информации

Зачем нефтяникам NLP? Как заставить компьютер понимать профессиональный жаргон? Можно ли объяснить машине, что такое «нагнеталка», «приемистость», «затрубное»? Как связаны вновь принятые на работу сотрудники и голосовой ассистент? На эти вопросы мы постараемся ответить в статье о внедрении в ПО для сопровождения нефтедобычи цифрового ассистента, облегчающего рутинную работу геолога-разработчика. Мы в институте разрабатываем своё ПО...

Дипфейки, реверс-инжиниринг, муз. программирование и аудиоинтерфейсы за рулем — что почитать аудиоману

Это подборка материалов по теме программирования, компьютерного железа и ПО для автомобильных аудиоинтерфейсов. Всех заинтересовавшихся темой, приглашаем под кат. Фото Jefferson Santos / Unsplash Как «программируют» музыку. Прежде чем взять и влиться в тему музыкального программирования, стоит осмотреться. Предлагаем вашему вниманию компактный обзор специализированных инструментов. Первый из них называется Csound — наследник семейства MUSIC-N, прямиком...

Нефтянка для инженеров, программистов, математиков и широких масс трудящихся, часть 4

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

Нефтянка для инженеров, программистов, математиков и широких масс трудящихся, часть 3

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

Джоэл Спольски: как началась эпоха Stack Overflow

(эссе 2018 года) Всем привет! Много чего произошло с тех пор, как я, 18 лет назад, писал посты в блоге об эргономичных стульях Aeron. Некоторые из тех записей настолько старые, что уже сами могут идти получать первое высшее. О, и еще: скоро Stack Overflow исполняется 10 лет! Вау! Поэтому я решил, что в честь такого...

Нефтянка для инженеров, программистов, математиков и широких масс трудящихся, часть 2

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

Нефтянка для инженеров, программистов, математиков и широких масс трудящихся, часть 1

Хочешь знать, как и откуда добывают нефть, и зачем для этого нужны математики, инженеры и программисты? Это первая часть из серии статей, представляющих собой очень быстрое обзорное введение в предметную область для будущих математиков-программистов, которым предстоит решать задачи, связанные с моделированием нефтедобычи и разработкой инженерного ПО в области сопровождения нефтедобычи. Для того, чтобы понять всё,...

Поиск по играм, новостям и статьям…

Введите не менее двух символов

Введите не менее двух символов