我试图证明选择排序的正确性,在这种情况下,我应该只使用数学谓词逻辑来证明程序的正确性。我发现很难将下面给出的英语语句写成谓词,然后按照推理规则进行正确性的证明。
void sort(int [] a, int n) {
for (int i=0; i<n-1; i++) {
int best = i;
for (int j=i; j<n; j++) {
if (a[j] < a[best]) {
best = j;
}
}
swap a[i] and a[best];
}
}
我必须用谓词写的语句
我有一个返回数组的函数(结果来自bd )
$resultat = $bd->Select($sql);
如果数组中的结果不符合要求,我就将它们从数组中删除。
foreach($indexToRemove as $elem)
unset($resultat[$elem]);
然后,我将数组放入会话数组中。
$_SESSION['entrepriseTrouver'] = $resultat;
然后,我将我的结果显示在页面中。
$nbResultatParPage = 9; // Correspond au nombre de résultats ma
var email = req.body.emailId;
connection.query('SELECT name FROM fun WHERE email = "' + email +'" ',function(err, result,fields) {
console.log(result);
});
控制台以如下格式显示result:
[{name:'sunny'}]
谁能告诉我如何显示“晴天”?
因为不久的原因,我似乎不能做这件简单的事情。那就是把数组或者字符串放进火场。(没有for循环)。我该怎么做?
代码(错误):
// Cannot convert value of type '[String]' to expected argument type '[AnyHashable : Any]
var list = [String]()
list.append("TestString")
Database.database().reference().child("TestNode").updateChild