May 29th, 2020

термы, кванторы, формулы, синтаксис, семантика

кратко и доступно
---
Захаров. Основы математической логики и логического программирования.
http://mk.cs.msu.ru/images/f/f4/LectLog2.pdf

Лекция 2.
Классическая логика предикатов первого порядка
Синтаксис. Термы и формулы.
Семантика. Интерпретация.
Выполнимость формул.
Свободные и связанные переменные
Область действия квантора

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

(no subject)

27 мая, Штаты приняли законопроект по санкциям в отношении Китая и чиновников за притеснение уйгуров
--
28 мая Китай принял резолюцию о разработке законопроекта о безопасности в Гонконге.

--
Конфликт между США и Китаем был почти неизбежен (почти, т.к. существовала вероятность, что США может отказаться от лидерства без борьбы). Значительно более острая фаза начнется после выборов президента в США. Поэтому не удивительно, что Китай решил устранить наиболее проблемные вопросы до этого срока (вопрос правда, а не следовало ли этому гнойнику позволить лопнуть самому), пока у Трампа руки связаны и он не может предпринимать действий, которые ударят по самим США.

Как по мне в дальней перспективе у США нет шансов:
- В 2017м Китай обогнал США по величине внутреннего рынка (что косвенно говорит о том, что Китай меньше зависит от внешнего мира, чем США).
- В районе того же года Китай обогнал США по ВВП ППС (т.е. по экономической мощи).
- В ближайшие 5 лет Китай обгонит США по номинальному ВВП (т.е. по потенциальному внешнему влиянию).
- В ближайшие 7 лет Китай обгонит США по импорту (т.е. станет более важным рынком сбыта, чем США, а это один из столпов влияния США в современном мире).
- Китай уже сейчас обогнал США в 5G, что немедленно вызвало массу махинаций нечистоплотной конкуренции со стороны США. Прогресс в технологиях последнии 10-15 лет замедлился, США пока не может представить рынку ничего столь же массового как в свое время ПО, ранее ПК и еще более ранее электронные компоненты, и Китай там везде догоняет (и местами как с 5G перегоняет) США.
- Своей борьбой с Huawei США показали, что им плевать на все те идеалы, что они выдвигали в борьбе с СССР, им плевать на технологии, если они не усиляют мощь США, им плевать на капитализм, если он усиляет кого-то другого. Такое пренебрежение "идеалами" будет еще одним ударом по прежней коалиции - США, Западной Европы и остальные так называемых странах капиталистического блока.
- В отличие от СССР, Китай очень интегрирован в мировую экономику, и в случае, если США начнет ставить вопрос ребром, то странам придется выбрать от кого из торговых партнеров отказываться от США или от Китая. И в последнии годы выбор для многих даже развитых стран будет не однозначен (в частности для Германии где экспорт в США всего на 1% от общего экспорта обгоняет экспорт Китай, а импорт из Китая вообще в 2 раза превосходит импорт из США), а почти все развивающиеся выберут Китай.

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

что нас ждет

Вот, что странно:
Я долго думал, что нас ждет,
И вот, что странно,
Что ждет - сам черт не разберет.
И чем мы дольше будем ждать,
Тем меньше будем понимать.

Вот, что странно.

Меня преследует за будущее страх. (с) Токарев

---

Эта статья – описание моих страхов за свое будущее и за будущее моих детей. Я буду очень рад ошибаться, или найти ответы на вопросы, которые формулируются в статье.

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

— Удобное (безопасное) рабочее место;
— Понятные критерии качества работы;
— Рабочий день 8 часов или меньше;
— Отсутствие навязчивого контроля и штрафов за минимальные отклонения от утвержденного процесса работы.
Collapse )

Подпись сделал малограмотный технарь



Подпись сделал малограмотный технарь.

на самом деле то, что изображено на картинке это реальная суть математики!!! без шуток, серьезно!

в данном случае операция "+" у чела определена по иному, это нормально
математики любят переопределять операции

в терминах программирования это перегрузка оператора
https://ru.wikipedia.org/wiki/Перегрузка_операторов