Допустим, у нас есть свой примитивный алгоритм шифрования, и есть сложный стандартный алгоритм.

Свой примитивный выигрывает тем, что никто не знает его алгоритм, кроме того, кто зашифровал.

Что в общем случае будет надежней? Обоснуйте свое мнение.

Пока можно выдвинуть такую гипотезу.

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

Кстати, связано ли это с задачей P-NP?

Чтобы было можно, допустим, скормить координаты, по которым отрисуется требуемый регион на карте.

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

И, соответственно, исследования в области логики для языков программирования сводятся к нахождению грамматики, не допускающей противоречий.

Это не соответствует понятию логики вообще, которая пляшет не от языка, а от смысла высказываний. Высказывания логики строятся на естественном языке, который грамматически допускает любые, в том числе и противоречивые высказывания.

Каково соотношение межуд логикой и формальной логикой? Что общего между ними?