Книга по логике.

>Нужно прежде всего для себя

а что, есть проблемы ?

zort ☆
(11.11.07 18:15:14 MSK)

Ответ на: комментарий от zort 11.11.07 18:15:14 MSK

Логичный вопрос.

Miguel ★★★★★
(11.11.07 18:18:26 MSK)

Ссылка

Ответ на: комментарий от zort 11.11.07 18:15:14 MSK

Нет, проблем нет, просто хочется систематизировать свой опыт и знания и приобрести новый. Изобретать велосипед глупо:) А вот у видимо есть проблемы, потому что я не говорил, что у меня есть проблемы, а если мне нужна книга по логике, то это вовсе не значит, что у меня сложности с логическим мышлением. По вашей логике, у специалистов в какой-либо сфере вообще не должно быть книг, и вообще они не должны ничего читать, и ничего нового узнавать. Вот как раз у глупых людей, неспециалистов нет ни книг, ни желания их покупать и читать:)

krum ★
(11.11.07 18:22:33 MSK) автор топика

Почитай "Как сдвинуть гору Фудзи" (Паундстоун Уильям). Там про собеседования в микрософте, привидена гора логических задач.

как минимум развивает.

По большому сёту математику надо учить.

~~in_dance~~ ★
(11.11.07 18:25:19 MSK)

Ссылка

Вопрос почетче сформулировать попробуй.

m57
(11.11.07 18:25:53 MSK)

Библиотека там.

mutronix ★★★★
(11.11.07 18:27:02 MSK)

Ссылка

Ответ на: комментарий от krum 11.11.07 18:22:33 MSK

остынь.

LANGUAGE,PROOF AND LOGIC JON BARWISE & JOHN ETCHEMENDY

zort ☆
(11.11.07 18:28:16 MSK)

Ссылка

ftp://ftp.mccme.ru/users/shen/logic/

ival ★★
(11.11.07 18:29:10 MSK)

Ссылка

Ответ на: комментарий от m57 11.11.07 18:25:53 MSK

Начнём с того, что математика следует из логики, то есть без логики нет математики. А вот логики без математики спокойно себе живёт и поживает, во времена Платона математики толком не было, а вот логика была развита на должно уровне. Хочется узнать, какие есть принципы доказательства утверждений, их проверки, ну и вообще теорию рассуждений. Практические задачки появляются постоянно в жизни.

krum ★
(11.11.07 18:31:59 MSK) автор топика

Ответ на: комментарий от krum 11.11.07 18:31:59 MSK

zort,ival спасибо:)

krum ★
(11.11.07 18:34:06 MSK) автор топика

Ссылка

Ответ на: комментарий от krum 11.11.07 18:31:59 MSK

> Начнём с того, что математика следует из логики,

Ничего смешнее не слыхивал :-D Пиши, пожалуйста, еще!

m57
(11.11.07 18:37:47 MSK)

Ответ на: комментарий от krum 11.11.07 18:31:59 MSK

>Хочется узнать, какие есть принципы доказательства утверждений, их проверки,

Да. Чего то я поторопился со сцылкой. Надо было давать на что нибудь гуманитарное.

>ну и вообще теорию рассуждений.

Ну вообще то ее еще не придумали

>Практические задачки появляются постоянно в жизни.

Вот их и решай.

Книги про искусство рассуждать пишут для тех, кто в них не нуждается (C) Адамар (цитирую по памяти)

ival ★★
(11.11.07 18:38:23 MSK)

Ссылка

Ответ на: комментарий от m57 11.11.07 18:37:47 MSK

>> Начнём с того, что математика следует из логики,

>Ничего смешнее не слыхивал :-D Пиши, пожалуйста, еще!

Железная логика...
Докажи мне, что существуют не только рациональные, но и иррациональные числа без логики:) Расскажи мне, что такое доказательство. Математическая логика далеко не единственно существующая, есть ещё и неформальная,диалектическая.

krum ★
(11.11.07 18:45:51 MSK) автор топика

С. Клини "Математическая логика", Р. Линдон "Заметки по логике"

karma
(11.11.07 18:48:40 MSK)

Ссылка

Ответ на: комментарий от krum 11.11.07 18:45:51 MSK

Чем отличается "гуманитарная" логика от "негуманитарной"? Тем, что в одной всё записывается на естественном языке, а в другой на формальном, который всё равно у нас в голове будет лежать в естественном формате:)

krum ★
(11.11.07 18:49:02 MSK) автор топика

Ссылка

0 - уехать в Швейцарию.

1 - Сделать там в частной клинике операцию по смене пола.

2 - While (result != true) {Пытаться понять мотивы собственного поведения} 3 - Сделать обратную операцию.

4 - Уехать в Америку.

5 - Издать там мемуары под видом "Введения в Булеву алгебру"

(пп. 4,5 - опци-но. При превышении числа попыток по п. 2 без положительного результата - п.4 и выйти замуж за миллионера).

А можно просто прочитать справочник по матану, раздел "Булева алгебра".

marsijanin ★★
(11.11.07 18:50:24 MSK)

Ответ на: комментарий от marsijanin 11.11.07 18:50:24 MSK

Это твой план на ближайшее будущее?

krum ★
(11.11.07 18:57:26 MSK) автор топика

Ну тогда правильная сцылка наверное

http://www.mccme.ru/free-books/gladkii/glad.ps.gz

ival ★★
(11.11.07 19:00:07 MSK)

Ссылка

>Кто-нибудь посоветует сабж?

Ты должен понять одно- ты урод! Если ты не можешь выбрать книгу и лезешь сюда,на этот форум с вопросами ,то на хуа тебе логика?Помоги мне ссуко, выбрать книгу русских народных сказок .

anonymous
(11.11.07 19:05:01 MSK)

Ответ на: комментарий от krum 11.11.07 18:57:26 MSK

Не - мой план на ближайшее будущее - пожрать, поспать и уползти на работу - еб^Wзаниматься кросскомпиляцией под arm-elf.

marsijanin ★★
(11.11.07 19:05:44 MSK)

Ссылка

Ответ на: комментарий от anonymous 11.11.07 19:05:01 MSK

>Помоги мне ссуко, выбрать книгу русских народных сказок .

Краткий курс ВКП(б) и пресловутый ПланЪ Путина чем не устроил?

marsijanin ★★
(11.11.07 19:09:02 MSK)

Ссылка

Ответ на: комментарий от anonymous 11.11.07 19:05:01 MSK

Почему я сюда полез? Да потому, что книги которые тут, на ЛОРе советуют по CS или математики как правило именно те, что нужны. А логика в достаточно мере похожа на математику, поэтому я и задал тут вопрос. Естественно я гуглил по сабжу, про хотелось дополнительное мнение. Я ожидал, что тут появятся красноглазики, знающие только булеву алгебру, и основы мат. логики, которые будут советовать учить математику:)

krum ★
(11.11.07 19:11:58 MSK) автор топика

Ответ на: комментарий от krum 11.11.07 19:11:58 MSK

А я поставил scratchbox и не еб^W парюсь с кросскомпиляцей под arm-elf:)

krum ★
(11.11.07 19:18:40 MSK) автор топика

Г.И. Челпанов, Учебник логики. http://slil.ru/25088617

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

Если интересна именно совремённая математическая логика, обрати внимание на некоторые книги Колмогорова, например. И вообще, здесь уже дали ссылки.

anonymous_incognito ★★★★★
(11.11.07 19:30:14 MSK)

Ответ на: комментарий от anonymous_incognito 11.11.07 19:30:14 MSK

Отлично, спасибо:)

krum ★
(11.11.07 19:31:51 MSK) автор топика

Ссылка

Ответ на: комментарий от krum 11.11.07 19:18:40 MSK

http://www.scratchbox.org/documentation/user/scratchbox-1.0/html/installdoc.h...

А чего требования как у свисты?

marsijanin ★★
(11.11.07 19:40:22 MSK)

Ответ на: комментарий от marsijanin 11.11.07 19:40:22 MSK

Он ставит полноценный debian для сборки. Для компиляции ты делаешь chroot в scratchbox. Более того, можно выбрать, под какую платформу собирать, очень удобно. Он основа SDK для Maemo. Ну и опять же почитай что это такое и список фич.

krum ★
(11.11.07 19:45:43 MSK) автор топика

Ответ на: комментарий от krum 11.11.07 18:45:51 MSK

> Докажи мне, что существуют не только рациональные, но и иррациональные числа без логики:)

И, конечно же, из этого следует, что математика следует из логики? Браво :)

m57
(11.11.07 19:47:32 MSK)

Ответ на: комментарий от m57 11.11.07 19:47:32 MSK

Ок, если не понятно, то скажи мне, что такое математика, может тогда то тебя дойдёт моя мысль.

krum ★
(11.11.07 19:52:45 MSK) автор топика

Ответ на: комментарий от krum 11.11.07 19:45:43 MSK

Я чего-то не догоняю - а под arm-ELF оно собирать может, конкретно под Philips LPC21XX?

Сейчас пробую собрать toolchain на Newlib'ах. Говорят на uClib'ах тоже не плохо получается. Силь в том, что надо собирать под девайс только с накристальным мозгом.

marsijanin ★★
(11.11.07 20:06:42 MSK)

Ответ на: комментарий от krum 11.11.07 19:52:45 MSK

> Ок, если не понятно, то скажи мне, что такое математика, может тогда то тебя дойдёт моя мысль.

Ты глупый, чтоли? Ну не следует математика из логики. Математика следует из повседневного опыта. Она _использует_ логику. Да и потом, не всякая логика применима к математике. Вот, например, твоя не применима.

m57
(11.11.07 20:18:17 MSK)

Ответ на: комментарий от krum 11.11.07 19:52:45 MSK

Хоть тресни, а логика о существовании иррациональных чисел ничего не знает. Ей они до лампочки. Иррациональные вводят математики, а допустимость введения иррациональных показывают с помощью логики. Так понятней?

m57
(11.11.07 20:19:49 MSK)

Ответ на: комментарий от marsijanin 11.11.07 20:06:42 MSK

>Philips LPC21XX Это же ARM7, афаик. Тогда не подходит, scratchbox он для arm9:) А как на таком слабом проце Linux поживает?А SDRAM в нём вообще есть? Или у вас другая ОС с поддержкой elf? А вообще сходите на electronix.ru.

krum ★
(11.11.07 20:29:08 MSK) автор топика

Ответ на: комментарий от m57 11.11.07 20:19:49 MSK

Я уже сказал, что логика без математики существует, а математика без логики нет.

krum ★
(11.11.07 20:30:26 MSK) автор топика

Ответ на: комментарий от krum 11.11.07 20:30:26 MSK

> Я уже сказал, что логика без математики существует, а математика без логики нет.

Это не доказывает твой ляпсус выше.

m57
(11.11.07 20:35:40 MSK)

Ссылка

Ответ на: комментарий от krum 11.11.07 20:30:26 MSK

То есть, пусть у нас L -логика, а M - математика, тогда ∄ L => ∄ M , а из ∄ M ≠> ∄ L. Так понятнее? :))

krum ★
(11.11.07 20:41:18 MSK) автор топика

Ответ на: комментарий от krum 11.11.07 20:41:18 MSK

То есть серьёзное изучение математики, не математического аппарата, без знания логики невозможно.

krum ★
(11.11.07 20:43:44 MSK) автор топика

Ответ на: комментарий от krum 11.11.07 20:41:18 MSK

Да уж. Тебе действительно срочно необходима книга по логике. Причем с самых азов :)

m57
(11.11.07 20:47:41 MSK)

Ссылка

Ответ на: комментарий от krum 11.11.07 20:43:44 MSK

> То есть серьёзное изучение математики, не математического аппарата, без знания логики невозможно.

Кто ж с этим спорит.

m57
(11.11.07 20:48:16 MSK)

Ссылка

Ответ на: комментарий от krum 11.11.07 20:29:08 MSK

uClinux поживант. Но надо БЕЗ оси.

marsijanin ★★
(11.11.07 20:48:38 MSK)

Ответ на: комментарий от marsijanin 11.11.07 20:48:38 MSK

А кто же тогда будет ELF загружать:) Вам нужно собирать в flat формате. Был у меня где-то Makefile для создания flat файлов из elf для avrок. Зайдите на electronix.ru, там подскажут, чем пользоваться.

krum ★
(11.11.07 20:54:46 MSK) автор топика

Ответ на: комментарий от krum 11.11.07 20:54:46 MSK

http://electronix.ru/forum/index.php?showtopic=38281

krum ★
(11.11.07 21:04:07 MSK) автор топика

Ссылка

Ответ на: комментарий от krum 11.11.07 20:54:46 MSK

Угу - делать elf, а потом лигковать в исполняемый образ для прошивки.

P.S. спасибо за ссылку - заценю.

marsijanin ★★
(11.11.07 21:04:44 MSK)

Ответ на: комментарий от marsijanin 11.11.07 21:04:44 MSK

www.ovro.caltech.edu/~dwh/ucos/project_AR1803.pdf Тут всё по шагам описано:) Мда, арм сильно сложнее аврок:)

krum ★
(11.11.07 21:10:47 MSK) автор топика

приятная книжка для начала -- Булос, Джеффри: Вычислимость и Логика

Еще -- Марков, Нагорный: Теория Алгорифмов

Еще -- Расева, Сикорский: Математика Метаматематики

dilmah ★★★★★
(11.11.07 22:30:10 MSK)

Ссылка

Ответ на: комментарий от krum 11.11.07 21:10:47 MSK

Про MicroC/OS-II RTOS и инструкции со спеками - спасибо, конечно.

P.S. Что - так трудно представить микроконтроллер вообще без оси. А как же pic.

Ну почему же - avr32

marsijanin ★★
(11.11.07 22:36:57 MSK)

Ответ на: комментарий от marsijanin 11.11.07 22:36:57 MSK

Ну для 8/16-битных можно и без ОС, а вот для армов без ОС как-то странно, потому что всё равно придётся вручную обработчики писать и инициализацию проца и прочее.

krum ★
(11.11.07 22:51:33 MSK) автор топика

Ответ на: комментарий от krum 11.11.07 22:51:33 MSK

Есть уже готовые, их только надо отлинковать с elf'ом через хитый скриптик к arm-elf-ld

marsijanin ★★
(11.11.07 22:53:47 MSK)

Ответ на: комментарий от marsijanin 11.11.07 22:53:47 MSK

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

marsijanin ★★
(11.11.07 22:55:09 MSK)

Ответ на: комментарий от marsijanin 11.11.07 22:55:09 MSK

Ну это когда у нас процесс один, и пару килобайт жалко отдать ОС.

krum ★
(11.11.07 23:00:34 MSK) автор топика

Похожие темы