Неясности в формате файла

← →
Anatoly Podgoretsky © (2010-07-26 10:09) [360]

> А как на эти вопросы ответить без знания значений a и b?

А зачем нам частные случаи?

← →
Sha © (2010-07-26 10:31) [361]

>> Чему равны byte(w shr 8), byte(w shr 4) и byte(w div 256)?
> Число, разделенное на 2 в восьмой, 2 в четвертой и на 256 без остатка?

Ответ на пятерку не тянет, хотя по существу верен.
Те, кто знает толк в извращениях, мыслят в категориях байтов и ниблов.

>> равны ли byte(i shr 8) и byte(i div 256)?
> равны, 2^8 = 256, сдвиг вправо - деление

Двойка.
Проверь для отрицательных i.

>> Равны ли знаки shortint(i) и smallint(i)?
> Да, у них разные диапазоны.
> Но у -120 что в shortint, что в smallint будет одинаковый знак.
> Или я что-то упустил.

Опять двойка.
Упустил i=32767.

>> Пусть a, b: cardinal; Равны ли выражения... Почему?
> А как на эти вопросы ответить без знания значений a и b?

Будем считать выражения равными, если они равны при любых a и b (тождество).
Выражения не равны, если существует хотя бы одна пара a и b,
при которых равенство нарушается.

← →
RWolf © (2010-07-26 10:32) [362]

> Виталий © (26.07.10 09:59) [359]
> > равны ли byte(i shr 8) и byte(i div 256)?
> равны, 2^8 = 256, сдвиг вправо - деление

var i:Integer; begin i:=-257; ShowMessage(IntToStr(Byte(i shr 8))); ShowMessage(IntToStr(Byte(i div 256))); end;
ответы: 254, 255.

← →
Anatoly Podgoretsky © (2010-07-26 11:06) [363]

> RWolf (26.07.2010 10:32:02) [362]

Ты считрил, ты восспользовался подсказкой.

← →
RWolf © (2010-07-26 11:36) [364]

> Anatoly Podgoretsky © (26.07.10 11:06) [363]

нет, я как-то раз сам на это наткнулся.

← →
Виталий © (2010-07-26 11:46) [365]

> Проверь для отрицательных i.

я плохо понимаю эту тему с отрицательными значениями и по поводу выхода за пределы формата (там переполнения не будет разве? Дельфи под рукой нет). Где можно прочесть про них более подробно?

> мыслят в категориях байтов и ниблов.

сказать, как оно было сдвинуто с байтами и полубайтами?

>
> Будем считать выражения равными, если они равны при любых
> a и b (тождество).

в этом случае я не знаю, как подступиться к этому решению. Упрощение логики до чего-то? Путей пока что не вижу.

← →
Anatoly Podgoretsky © (2010-07-26 11:54) [366]

> там переполнения не будет разве?

Откуда переполнение при целочисленом деление?

← →
Sha © (2010-07-26 11:57) [367]

> я плохо понимаю эту тему с отрицательными значениями

Представление целых чисел в памяти. Наизусть.

> сказать, как оно было сдвинуто с байтами и полубайтами?

Да не надо уже.

> в этом случае я не знаю, как подступиться к этому решению.

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

← →
Виталий © (2010-07-26 12:19) [368]

> прочесть хелп по логическим операциям над целыми

Они сильно отличаются от обычных операций, которые я могу представить с числами в двоичном виде?

← →
Sha © (2010-07-26 12:22) [369]

Откуда мне знать, что ты можешь представить? :)

← →
Anatoly Podgoretsky © (2010-07-26 12:25) [370]

> Виталий (26.07.2010 12:19:08) [368]

Не сильно, просто они основаны на двоичной логике
Не помню посылал ли на
http://www.podgoretsky.com/Redir.aspx?id=137&DownloadFile=~/ddp/bits.aspx

← →
brother © (2010-07-26 12:27) [371]

2+2=4
II+II=IIII
10+10=100
еще фантазия?

← →
Виталий © (2010-07-26 12:44) [372]

> http://www.podgoretsky.com/Redir.aspx?id=137&DownloadFile=~/ddp/bits.
> aspx

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

> 2+2=4
> II+II=IIII
> 10+10=100
> еще фантазия?

десятичная
палочки какие-то
двоичная
Зачем?

← →
Sha © (2010-07-26 12:50) [373]

Виталий, честно скажи, хелп прочел или еще нет?
А чего тогда разговоры разговариваем, если еще нет?

← →
brother © (2010-07-26 12:51) [374]

> десятичная
> палочки какие-то
> двоичная

достаточно)

← →
Виталий © (2010-07-26 12:53) [375]

> хелп прочел или еще нет?

А что вы подразумеваете под хелпом? Хелп, вызываемый по f1 из дельфи? Так говорю же, нет сейчас под рукой. Мне вот заранее интересно, что я там такого узнаю, что изменит мое представление о том, как без значений можно доказать тождественность приведенных выражений?

← →
Anatoly Podgoretsky © (2010-07-26 12:55) [376]

> brother (26.07.2010 12:27:11) [371]

II+II=IV

← →
Anatoly Podgoretsky © (2010-07-26 12:57) [377]

> Виталий (26.07.2010 12:44:12) [372]

> десятичная

Это ты откуда взял, я же четко вижу, что это пятиричная

← →
Виталий © (2010-07-26 12:57) [378]

> II+II=IV

тоже так подумал, но решил, что мне показали забавную "систему счисления".

← →
Sha © (2010-07-26 12:58) [379]

> Хелп, вызываемый по f1 из дельфи?

Да. На and, or, xor и т.п.

> как без значений можно доказать тождественность приведенных выражений?

Попробуй используя багаж начальной школы:
"от перестановки слагаемых сумма не меняется".

← →
Виталий © (2010-07-26 12:58) [380]

> Это ты откуда взял, я же четко вижу, что это пятиричная

В шестнадцатеричной та же фигня с 2+2.

← →
Anatoly Podgoretsky © (2010-07-26 12:58) [381]

> Виталий (26.07.2010 12:53:15) [375]

Справке трудно изменить представление, она не для этого, а на изменение
сильно влияют книги по теории.

← →
Виталий © (2010-07-26 13:01) [382]

> от перестановки слагаемых сумма не меняется".

а также a or b = b or a и т.д. Я не могу понять. Не получается. Не знаю решения. Действия в скобках не упрощаются. Or - не равен "+", и упростить все это не получится.

← →
Виталий © (2010-07-26 13:02) [383]

> а на изменение
> сильно влияют книги по теории.

я бы с радостью прочел, да не знаю, в каких рассказано, как такое доказать.

← →
brother © (2010-07-26 13:04) [384]

> В шестнадцатеричной та же фигня с 2+2.

+5!

← →
Виталий © (2010-07-26 13:06) [385]

> +5!

Калькулятор и здравая логика подтверждают мои слова, не понимаю, что опять не так :)

← →
Sha © (2010-07-26 13:09) [386]

> Or - не равен "+",

Начни с простого, посмотри на это в двоичной системе:
1 + 2 + 4 = 7
3 + 4 = 7
2 + 5 = 7
1 + 6 = 7

← →
Anatoly Podgoretsky © (2010-07-26 13:11) [387]

> Виталий (26.07.2010 12:57:18) [378]

Может и показали, количество палочек равно значению, здесь четыре палочки

← →
Anatoly Podgoretsky © (2010-07-26 13:12) [388]

> Виталий (26.07.2010 12:58:20) [380]

Это просто совпадение, и подмножество.

> Это просто совпадение, и подмножество.

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

> Виталий (26.07.2010 13:01:22) [382]

Естественно Or - не равен "+", и это выходит из теории битовых операций

> Виталий (26.07.2010 13:06:25) [385]

Он тебя похвалил.

> Виталий (26.07.2010 13:02:23) [383]

Тебя пытаются заставить мыслить абстрактно и на основе абстракций делать
правильные выводы.
Кстати я тебя предупреждал, что мы будем пытаться сбить с пути, вводя новые
переменные, посмотреть на что ты пригоден, умеешь ли держаться выбраной
линии или будешь метаться туда и сюда. Пока второе.

> умеешь ли держаться выбраной
> линии

Линия такова - рассмотреть для начала, равно ли a + b выражению (A OR B) + (A AND B)
Мне предлагают аналогию с разложением числа 7 на слагаемые и их комбинации. Однако данные операции не подвержены разложению - я не могу выделить из этого выражения "частицы".

> Мне предлагают аналогию с разложением числа 7

Тебе предлагают начать с разложения числа 7 на слагаемые.
А если хочешь аналогию, то это: a=7, b=2.

> Виталий (26.07.2010 13:21:29) [389]

Операции могут быть изменены, многие языки позволяют переопределять
операторы.

А потом a=3, b=6

> Операции могут быть изменены, многие языки позволяют переопределять
> операторы.

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

Хорошо сказал, попробую ввернуть где-нить при случае.

> да естественно, что внутри системы счисления с явно большим
> основанием и другой системы с основанием меньшим, но выполняемыми
> одинаковыми операциями с результатом в пределах этого основания
> он как бы будет одинаковым. И в восьмеричной так же.

Вот твои слова
а вот пример

2+2=4
2+2=6

Второй оператор переопределен, но это одинаковый оператор

> Хорошо сказал, попробую ввернуть где-нить при случае.

:)

> А если хочешь аналогию, то это: a=7, b=2.

ерунда полная получается.

Неясности в формате файла Найти похожие ветки