Лингвофорум

Цитата: Andrew от декабря 17, 2012, 20:40

Прочитал: Россия - национальный парк.

Цитата: Nevik Xukxo от декабря 18, 2012, 07:37

А 5 неправильная. Тета и бета пишутся через е. Никогда не думал, что такое начали уже спускать сверху...

2 и 1 откровенно слабоваты.

А третья задачка решаема?

Цитата: Валентин Н от декабря 18, 2012, 16:49
А третья задачка решаема?

Несомненно. Только не забыть включить в это число автора задачи.

Цитата: Валентин Н от декабря 18, 2012, 16:49А третья задачка решаема?

Решаема:
2•х+100 = 7•х
x = 20
Решил, правда, не я...

Цитата: Neska от декабря 18, 2012, 16:57
2 х Х + 100 = 7 х Х

а не 2х7хХ ?

Цитата: ОпередилиНу, у меня 20 вышло:
Допустим, в начале недели утром было 0 укусов, а к вечеру в воскресенье их стало 100+2x или 7x.
Получаем уравнение:
100+2x=7x
5x=100
x=20

Цитата: Nevik Xukxo от декабря 18, 2012, 07:37

Так и просится: «... Угоните его.»

Цитата: Валентин Н от декабря 18, 2012, 16:49
А третья задачка решаема?

Вы что?

Буржуйский юмор не осиливаю.

Цитата: Тайльнемер от декабря 18, 2012, 17:03
Вы что?

Глазами пробежал и показалось, что мало данных. Другие даже не пытался пробегать.

Цитата: Валентин Н от декабря 18, 2012, 17:01

Цитата: Neska от декабря 18, 2012, 16:572•х + 100 = 7•х

а не 2•7•x ?

Показалось что они 2 раза в день кусали, а у них было по 2 укуса.
Будь внимательнее, Валя!

Цитата: ostapenkovr от декабря 18, 2012, 16:56

Цитата: Валентин Н от декабря 18, 2012, 16:49
А третья задачка решаема?

Несомненно. Только не забыть включить в это число автора задачи.

Поясняю: берём 15 больных. За неделю они выполнили 105 покусов, главврачу досталось 100, больным 5. До плану нужно, чтобы автор задачи докусал 25 раз.

В пятой задаче 4940+5940=10880.
Вот только как это доказывать? 

3*Θ + 2*Η + Β = 2*Μ + Γ

Вы хотели сказать, как к этому прийти? Доказывать-то не надо, это и есть доказательство.

А прийти можно даже и полным перебором.

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

Но вот что такое "доказательство" я никогда не понимал.

Доказательство — это последовательность формул, в которой каждая формула аксиома, или гипотеза (если мы доказываем из каких-то гипотез), или получается применением правила вывода к каким-то предыдущим формулам. Классическая логика использует одно правило вывода — modus ponens, из которого можно навыводить страшную кучу — каждая теорема [теорема — это, на самом деле, формула, которая содержится в каком-нибудь доказательстве — это означает её выводимость] даёт нам производное правило вывода, которое можно применять где угодно после установления её доказуемости.

По-русски, доказательство — это когда показывается, как доказываемое утверждение следует из принятых за аксиомы. Часто правила вывода к «обычным логическим» не добавляются, а только добавляются аксиомы, так что можно о них (правилах вывода) не говорить ничего.

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

Кому не понятно - CMYK - самая распространённая система смешения цветов при печати - голубой, пурпурный, жёлтый, чёрный.

[ˌcmʏk. ˈcmʏk]?