ох. Тиран.

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

почитай про машину тьюринга

про тест тьюринга почитай

ок. почитаю. надо начинать с  чего -то! спасиб!

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