摘要： SETcan set the value ofsymbols;SETQcan set the value ofvariables;SETFis amacrothat will call different function depending on what was called as its first argument.examples(set (quote l) '(1 2 3))(1 2 3)(set l '(1 2 3))Failure, l must be a symbol.(set 'l '(1 2 3))(1 2 3)(setq l '( 阅读全文

摘要： 1. Computational theoryWhat is thegoalof computation,whyis it appropriate, and what is thelogic of the strategyby which it can be carried out?2. Representation and algorithmHow can this computational theory beimplemented? In particular, what is the representation for theinput and output, and what is 阅读全文

摘要： Symbolsin Prolog:atomvariablenumberlist(how toassemblyandtake them apart)Lists are verypowerfulin prolog because we do not need to do similar butrepeatedtasks again and again. Instead, we can put all elements in a list and deal with them in a moregeneralway.If we have a look at thedifferencebetweenl 阅读全文

摘要： Difference between LET and LET* in Common LISPLETParallel binding which means the bindings come to life at the same time and they do not shadow each other. The values are effective inside LET and they are undefined outside LET. Just like local variables.LET binds variables all at the same time.None 阅读全文

摘要： Environment:OS:OSX 10.8.5Matlab:R2013a(8.1.0.604) 64bitHow to fix:In filesubmit.m, line129,change fromhttp://www.coursera.org/ml-004tohttps://class.coursera.org/ml-004 阅读全文

摘要： Aformulaissatisfiableif it is possible to findaninterpretation(model) that makes the formulatrue.A formula isvalidifallinterpretations make the formulatrue.The opposites of these concepts areunsatisfiabilityandinvalidity, that is, a formula isunsatisfiableifnoneof the interpretations make the formul 阅读全文

摘要： 阅读全文