WarezSerbia - Download For All

Do not remember me!
» » Coursera - Introduction to Logic (Stanford University)
UploadGIG.com

Coursera - Introduction to Logic (Stanford University)


Coursera - Introduction to Logic (Stanford University)

Coursera - Introduction to Logic (Stanford University)

Coursera - Introduction to Logic (Stanford University)
WEBRip | English | MP4 | 960 x 540 | AVC ~367 kbps | 29.970 fps
AAC | 128 Kbps | 44.1 KHz | 2 channels | Subs: English (.srt) | ~5 hours | 265 MB
Genre: eLearning Video / Science, Logic

Logic is one of the oldest intellectual disciplines in human history. It dates back to the times of Aristotle; it has been studied through the centuries; and it is still a subject of active investigation today.

This course is a basic introduction to Logic. It shows how to formalize information in form of logical sentences. It shows how to reason systematically with this information to produce all logical conclusions and only logical conclusions. And it examines logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.

The course differs from other introductory courses in Logic in two important ways. First of all, it teaches a novel theory of logic that improves accessibility while preserving rigor. Second, the material is laced with interactive demonstrations and exercises that suggest the many practical applications of the field.

Includes:

Chapter 1 - Introduction
Chapter 2 - Propositional Logic
Chapter 3 - Propositional Proofs
Chapter 4 - Propositional Resolution
Chapter 5 - Propositional Satisfiability
Chapter 6 - Relational Logic
Chapter 7 - Relational Proofs
Chapter 8 - Relational Resolution
Chapter 9 - Equality
Chapter 10 - Mathematical Induction

About the Instructor

Michael Genesereth is an associate professor in the Computer Science Department at Stanford University. He received his Sc.B. in Physics from M.I.T. and his Ph.D. in Applied Mathematics from Harvard University. He is best known for his research on Computational Logic and its many applications. He has been teaching Logic to Stanford students and others for more than 20 years. He is the current director of the Logic Group at Stanford and founder and research director of CodeX (The Stanford Center for Legal Informatics).

General
Complete name : 03_Scheduling_-_jobshop_disjunctive_global_constraint_37-13.mp4
Format : MPEG-4
Format profile : Base Media
Codec ID : isom (isom/iso2/avc1/mp41)
File size : 133 MiB
Duration : 37 min 10 s
Overall bit rate : 502 kb/s
Writing application : Lavf55.1.100

Video
ID : 1
Format : AVC
Format/Info : Advanced Video Codec
Format profile : [email protected]
Format settings : CABAC / 4 Ref Frames
Format settings, CABAC : Yes
Format settings, RefFrames : 4 frames
Codec ID : avc1
Codec ID/Info : Advanced Video Coding
Duration : 37 min 10 s
Bit rate : 367 kb/s
Width : 960 pixels
Height : 540 pixels
Display aspect ratio : 16:9
Frame rate mode : Constant
Frame rate : 29.970 (30000/1001) FPS
Color space : YUV
Chroma subsampling : 4:2:0
Bit depth : 8 bits
Scan type : Progressive
Bits/(Pixel*Frame) : 0.024
Stream size : 97.5 MiB (73%)
Writing library : x264 core 130 r2 c832fe9
Encoding settings : cabac=1 / ref=3 / deblock=1:0:0 / analyse=0x3:0x113 / me=hex / subme=7 / psy=1 / psy_rd=1.00:0.00 / mixed_ref=1 / me_range=16 / chroma_me=1 / trellis=1 / 8x8dct=1 / cqm=0 / deadzone=21,11 / fast_pskip=1 / chroma_qp_offset=-2 / threads=12 / lookahead_threads=2 / sliced_threads=0 / nr=0 / decimate=1 / interlaced=0 / bluray_compat=0 / constrained_intra=0 / bframes=3 / b_pyramid=2 / b_adapt=1 / b_bias=0 / direct=1 / weightb=1 / open_gop=0 / weightp=2 / keyint=250 / keyint_min=25 / scenecut=40 / intra_refresh=0 / rc_lookahead=40 / rc=crf / mbtree=1 / crf=28.0 / qcomp=0.60 / qpmin=0 / qpmax=69 / qpstep=4 / ip_ratio=1.40 / aq=1:1.00

Audio
ID : 2
Format : AAC
Format/Info : Advanced Audio Codec
Format profile : LC
Codec ID : mp4a-40-2
Duration : 37 min 10 s
Duration_LastFrame : -6 ms
Bit rate mode : Constant
Bit rate : 128 kb/s
Channel(s) : 2 channels
Channel positions : Front: L R
Sampling rate : 44.1 kHz
Frame rate : 43.066 FPS (1024 SPF)
Compression mode : Lossy
Stream size : 34.0 MiB (25%)
Default : Yes
Alternate group : 1

Screenshots


Coursera - Introduction to Logic (Stanford University)

Coursera - Introduction to Logic (Stanford University)

Coursera - Introduction to Logic (Stanford University)


Download link:

uploadgig_com:
https://uploadgig.com/file/download/ED6A23f25Dbb286c/e0mi3.Coursera..Introduction.to.Logic.Stanford.University.part1.rar
https://uploadgig.com/file/download/fb94d716Fdb8b1CE/e0mi3.Coursera..Introduction.to.Logic.Stanford.University.part2.rar
https://uploadgig.com/file/download/DC8E1d5425c5b1b5/e0mi3.Coursera..Introduction.to.Logic.Stanford.University.part3.rar

rapidgator_net:
https://rapidgator.net/file/d35130deba43c1999be4b3ec98540e3d/e0mi3.Coursera..Introduction.to.Logic.Stanford.University.part1.rar.html
https://rapidgator.net/file/046693cb4f70c84e82216eee051b497e/e0mi3.Coursera..Introduction.to.Logic.Stanford.University.part2.rar.html
https://rapidgator.net/file/54a8e182e8b5ace76f07caebd3b6c060/e0mi3.Coursera..Introduction.to.Logic.Stanford.University.part3.rar.html

nitroflare_com:
http://nitroflare.com/view/3B76B47C4F71B81/e0mi3.Coursera..Introduction.to.Logic.Stanford.University.part1.rar
http://nitroflare.com/view/168291FC8423F4C/e0mi3.Coursera..Introduction.to.Logic.Stanford.University.part2.rar
http://nitroflare.com/view/0B3B798D6013907/e0mi3.Coursera..Introduction.to.Logic.Stanford.University.part3.rar


Links are Interchangeable - No Password - Single Extraction

Coursera - Introduction to Logic (Stanford University)

UploadGIG.com


Feel free to post your Coursera - Introduction to Logic (Stanford University) Free Download, torrent, subtitles, free download, quality, NFO, Uploadgig, ul.to, Nitroflare, Rapidgator, Filejoker, Filefox, Turbobit, Keep2Share, Uploaded.net, 1fichier, Uptobox, Filefactory, Putlocker, mega.co.nz, ClicknUpload, Openload, Streamango, Verystream Watch HD Movies Series Stream Online, free premium downloads movie, game, mp3 download, crack, serial, keygen, or whatever-related comments here. use only English, Owners of this website aren't responsible for content of comments.

Dear visitor, you are browsing our website as Guest.

We strongly recommend you to register and login to view hidden contents.

Leave Comment / Report Dead Links

Your Name:*
E-Mail:
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent
Security Code: *

Top News

Affiliates

Friends

ADVERTISEMENT