Архив за 04 декабря 2018 - 10

Открытие, связанное с логикой

Логика служит основой множества вещей. Но каковы основы самой логики?

В символьной логике вводятся символы вроде p и q, обозначающие утверждения (или «пропозиции») типа «это интересное эссе». Ещё есть определённые правила логики, к примеру, для любого p и любого q выражение NOT (p AND q) аналогично (NOT p) OR (NOT q).

Но откуда берутся эти «правила логики»? Логика – система формальная. Как и евклидову геометрию, её можно построить на аксиомах. Но что такое аксиомы? Можно начать с таких утверждений, как p AND q = q AND p, или NOT NOT p = p. Но сколько аксиом требуется? Насколько они могут быть простыми?

Этот вопрос довольно давно был мучительным. Но в 20:31 в воскресенье, 29 января 2000 года, на экране моего компьютера появилась единственная аксиома. Я уже показал, что проще ничего быть не может, но вскоре установил, что этой единственной небольшой аксиомы было достаточно, чтобы создать всю логику:

Логика, объяснимость и будущее понимания - 1

Читать полностью »

Сегодня, в девятой части перевода руководства по JavaScript, будет сделан обзор возможностей, которые появились в языке благодаря стандартам ES7, ES8 и ES9.

Часть 1: первая программа, особенности языка, стандарты
Часть 2: стиль кода и структура программ
Часть 3: переменные, типы данных, выражения, объекты
Часть 4: функции
Часть 5: массивы и циклы
Часть 6: исключения, точка с запятой, шаблонные литералы
Часть 7: строгий режим, ключевое слово this, события, модули, математические вычисления
Часть 8: обзор возможностей стандарта ES6
Часть 9: обзор возможностей стандартов ES7, ES8 и ES9

Руководство по JavaScript, часть 9: обзор возможностей стандартов ES7, ES8 и ES9 - 1
Читать полностью »

Компания Toshiba добавила в популярное семейство внешних накопителей Canvio, включающее линейки Advance, Basic и Ready, модели объемом 4 ТБ. Ранее наиболее емкими были модели объемом 3 ТБ, то есть прирост составляет 33%. В накопителях используются жесткие диски, в которых на одной пластине носителя хранится 1 ТБ информации. Это позволило сохранить толщину накопителей на прежнем уровне. Накопители поддерживают операционные системы Windows и macOS, подключение по USB 3.0 и USB 2.0.

Более трех лет назад компания Apple выпустила в Google Play приложение своего музыкального стримингового сервиса Apple Music, которое работало только на смартфонах.

И только сейчас было объявлено о том, что приложение Apple Music также стало доступно на планшетах, которые работают под управлением операционной системы Android.

Обновление Apple Music за версией 2.7 также убирает гамбургер-меню, чтобы сделать пользовательский интерфейс более удобным для смартфонов с большими экранами и планшетов.

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

Когда мне была поставлена задача разработать приложение для DSP-процессора, визуализирующее работу БПФ, я понял, что моделирование волн отлично подойдет для этой цели.
Моделирование водной поверхности с применением БПФ и DSP-процессора NeuroMatrix - 1
Читать полностью »

Ассортимент компании SilverStone пополнили блоки питания ST1200-PTS и ST1000-PTS, которые сам производитель называет самыми маленькими моделями формата ATX мощностью 1 кВт и выше.

Габариты новинок идентичны — 150 х 86 х 140 мм. SilverStone также указывает занятный показатель — мощность на литр. У младшей модели он составляет 554 Вт/л, а у старшей — 664 Вт/л.

Вчера в Сети появилось большое количество качественных рендеров и видеоролик, которые демонстрировали флагманский смартфон Samsung Galaxy S10+.

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

Известный инсайдер Бенджамин Гескин (Benjamin Geskin), используя имеющуюся в его распоряжении информацию о габаритах новинки, опубликовал на своей страничке в Twitter изображение, позволяющее сравнить Samsung Galaxy S10+ и iPhone XS Max.

Читать полностью »

Amazon тестирует свою технологию без кассиров в крупных магазинах

Читать полностью »

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

Компания Amazon обошла Apple по стоимости

Читать полностью »

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

В одном из таких патентов описываются новые умные часы Samsung, которые оснащены сканером отпечатков пальцев, встроенным под поверхность экрана.

Читать полностью »


https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js