Domka
Ну короче идею такую набросал:
Логика выполняет роль правильных убеждений и умозаключений используемых в совокупности с абстрактными задачами для получения доказательств и в конце систематизированно
Михаил
я думаю что тебе это вполне понятно и ты можешь на это опираться
Михаил
но мне - не оч..
Михаил
я бы по другому сформулировал
Domka
И типа 4 вещи которые будут у меня как некие системы игровые для решения задач в игре, которые будут представленны как реальные ситуации где невольно в голову вобъеться мысль использовать математические вещи
Domka
Domka
Ну я профан
Михаил
ну логика это наука о непротиворечивости
Domka
Честно я у жэпэтэ китайского спрашивал, он мне так рассказал
Михаил
чатгпт тупой начитанный гопник
Domka
Domka
А не самой логики
Михаил
мыслить логически - проводить такие операции над условными фактами и предположениями, что из некоторые из предположений можно условно доказать или получить из них другие выводы - условные факты
*любой факт условен. ничто не доказуемо, но то, что такие факты еще не подводили, позволяет использовать их как абсолютные факты и опираться на них
Domka
Мне именно с использованием 4 слов нада
Domka
Логика абстракция доказательство систематизация
Михаил
доказательство там есть. превращение предположения в факт
Михаил
систематизация - что для тебя?
Domka
Типа логика как основные действия над задачей, абстракция как материал задачи, доказательство как результат, систематизация как именно память о решенных задач что будут материалом для следующих задач
Domka
Ой
Domka
Я еблан
Domka
Михаил
систематизация тогда - использование полученных из задачи фактов в следующих задачах
Domka
Короче задачу решили, на основе нее создали функцию
Domka
Типа уравнение прямой с угловым коэфициентом y=kx+b
Михаил
абстракция тогда.. хз куда ее приплести
Domka
Уравнение же систематизировали?
Domka
По сути то от чего можем отталкиваться
Domka
Система координат, или там еще что то, что мы будем решать
Domka
Я читал что абстракция это типа отвлечение от тех или иных характеристик объекта для его идеализации
Domka
Типа у нас есть система координат, а как мы ее получили не важно, мы абстрогируемся на уровне системы координат
Domka
Domka
Вот
Domka
Михаил
Domka
Ну я хочу упростить для обычного обывателя, чтобы в это как то можно было влепить сюжет геймплей и что нибудь еще из игор
Михаил
или в двух словах можно определить: абстракция - набор свойств
Domka
Михаил
прямо как в проге
Domka
Ну типа по сути это и есть материал
Domka
Над которым можно работать
Михаил
абстрактные классы. не дурачки делали
Domka
Свойства между собой будут регулироватся логическими вычислениями
Domka
Буду рад если меня побъют санными трапками поправят в случае чаво
Михаил
Domka
Все же идея как по мне ахуенная, дать людям возможность научится матеше даже не думая по сути об этой самой матеше
Domka
Domka
Domka
Ладно
Domka
https://ru.m.wikipedia.org/wiki/Список_логических_символов
Domka
Логические символы помогут в понимании математики?
Domka
Domka
Ну давай,давай поставь еще на последние мои два сообщения реакция смайлика я готов
Domka
Или эта вещь нужна для программирования только?
Михаил
Михаил
а, ну хотя кванторы очевидно что помогают, чем больше символов знаешь тем больше литературы можешь прочитать
Михаил
но синтаксис математический - то еще страдание
Domka
Domka
И я подумав, а чо если короче им сначало основу матеши дать, коль они ее поймут то и матешу будет проще понимать
Domka
А я ведь кста составлял где то книженцию с этими символами
Domka
Нашел видосы
Domka
Из за них я начал изучать матан так интенсивно
Domka
Спасибо люди деляться своими познаниями за которые можно как то зацепиться, жаль я до сих пор нормально структурировать весь матан не могу
Domka
Вот
Domka
Сергей
Domka
Domka
И пошему так
Domka
Михаил
я додумался проверить код декомпилятором. из-за него пришлось зайти на шиндовс. надо будет на линух переписать
Михаил
итак вот исходный код
[luar]
fn +=(a, b) {
return a + b;
}
local foo = 1193;
local bar = 25;
local res = foo += bar;
print(res);
Михаил
вот как он должен работать
function __op_eadd(a, b)
return a + b;
end
local foo = 1193;
local bar = 25;
local res = __op_eadd(foo, bar);
print(res);
Михаил
очевидно что байткод должен быть совершенно идентичен
Михаил
но при декомпиляции (для второго не буду кидать, там и так все четко) получается вот это
function __op_eadd(arg_1_0, arg_1_1)
-- function 1
return arg_1_0 + arg_1_1
end
local var_0_0, var_0_1 = 1193, 25
local var_0_2 = __op_eadd
local var_0_3 = var_0_1
print(var_0_0)