檢視时序逻辑的原始碼

{| class="https://image.baidu.com/search/detail?ct=503316480&z=0&ipn=d&word=%E6%97%B6%E5%BA%8F%E9%80%BB%E8%BE%91&step_word=&hs=0&pn=10&spn=0&di=7146857200093233153&pi=0&rn=1&tn=baiduimagedetail&is=0%2C0&istype=0&ie=utf-8&oe=utf-8&in=&cl=2&lm=-1&st=undefined&cs=2084389050%2C274868151&os=3652481567%2C1241988290&simid=2084389050%2C274868151&adpicid=0&lpn=0&ln=1503&fr=&fmq=1667714474728_R&fm=&ic=undefined&s=undefined&hd=undefined&latest=undefined&copyright=undefined&se=&sme=&tab=0&width=undefined&height=undefined&face=undefined&ist=&jit=&cg=&bdtype=0&oriquery=&objurl=https%3A%2F%2Fgimg2.baidu.com%2Fimage_search%2Fsrc%3Dhttp%3A%2F%2Ffile.elecfans.com%2Fweb1%2FM00%2FAF%2FE0%2FpIYBAF3lu1CAKhUuAASMVAfnySg563.png%26refer%3Dhttp%3A%2F%2Ffile.elecfans.com%26app%3D2002%26size%3Df9999%2C10000%26q%3Da80%26n%3D0%26g%3D0n%26fmt%3Dauto%3Fsec%3D1670306490%26t%3D609d69131164c6e04d8862d3c717fe5b&fromurl=ippr_z2C%24qAzdH3FAzdH3F4_z%26e3Bjsjvuwgf_z%26e3Bv54AzdH3Fw6ptvsjAzdH3Flnbb9c_z%26e3Bip4s&gsm=1e&rpstart=0&rpnum=0&islist=&querylist=&nojc=undefined" style="float:right; margin: -10px 0px 10px 20px; text-align:left"
|<center>'''时序逻辑'''<br><img
src=" https://gimg2.baidu.com/image_search/src=http%3A%2F%2Ffile.elecfans.com%2Fweb1%2FM00%2FAF%2FE0%2FpIYBAF3lu1CAKhUuAASMVAfnySg563.png&refer=http%3A%2F%2Ffile.elecfans.com&app=2002&size=f9999,10000&q=a80&n=0&g=0n&fmt=auto?sec=1670306490&t=609d69131164c6e04d8862d3c717fe5b" width="280"></center><small>  圖片來自百度</small> 
|}
'''计算机术语'''
在[[计算机]]出现后的最初几十年里，计算机实质上是一个巨大的计算器，数字被录入，计算结果被输出。直到20世纪70年代，科学家们才意识到需要正确地验证这些计算结果。随着电脑变得更强大，[[软件]]更先进，多任务和变化的数据核查变得更加困难。

*中文名:[[时序逻辑]]

*别    名:[[时态逻辑]]